Ankush Desai
RESEARCH ASSISTANT
.
Publications
- Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey, P: Safe Asynchronous Event-Driven Programming, in Programming Languages Design and Implementation (PLDI) 2013, ACM, June 2013
- Ankush Desai, Kaushik Rajan, and Kapil Vaswani, Critical Path based Performance Models for Distributed Queries, no. MSR-TR-2012-121, 7 December 2012
- Abhishek Udupa, Ankush Desai, and Sriram Rajamani, Depth bounded explicit-state model checking, in Proceedings of the 18th international SPIN conference on Model checking software, Springer-Verlag, Berlin, Heidelberg, 2011
