Zhiyun Qian on Why am I obligated to show tha… Shuo Chen on Why am I obligated to show tha… Zhou Li on Why am I obligated to show tha…
Category Archives: research
Our paper “how to shop for free online” is getting some publicity recently, which I am happy about, although Shaz and I did not directly participate in any of the interviews due to a non-academic reason. I compiled some news articles … Continue reading
I made tools; you should use; there’s no excuse. If you don’t; I don’t care; it’s still my success to declare.
Some people in the program verification community seem to treat tools as solutions: “Because I invented a verification tool, you should have used it. You didn’t use it? Well, that’s your problem, but I am still successful because the whole ‘research’ … Continue reading
I attended an internal talk a few weeks ago (not sure whether I should disclose the presenter’s name). It was about a new technology, but the point in the talk that I appreciate the most is that the goal of … Continue reading
Several weeks ago, Rui Wang and Zhou Li, under guidance of Prof. XiaoFeng Wang and me, discovered a security vulnerability in one of Facebook’s authentication mechanisms. We privately notified Facebook soon after. It was fixed last week. Facebook security team considered this a … Continue reading