Algorithms
Video
A Marriage of Rely/Guarantee and Separation Logic
In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to tame, or control, the complexity of concurrent interactions, but neither…
Publication
Image/video deblurring using a hybrid camera
Publication
PSF estimation using sharp edge prediction
Publication
Program Analysis as Constraint Solving
Publication