Saurabh Joshi sbjoshi[at]iitg[dot]ernet[dot]in +91 361 258 3257 Assistant Professor Department of Computer Science and Engineering IIT Guwahati

News :

• I will have moved to IIT Hyderabad in the last week of May 2016. Please find my webpage from the Department of CSE, IITH homepage.
• 2LS (aka summarizer) wins gold in SVCOMP 2016 for floating point category.
• Paper published at JSAT in special issue on SAT 2014 competitions and evaluations.
• Paper accepted at PPoPP 2016 (Acceptance rate: 19.2%). See PPoPP rating here.

powered by Pandoc

Last Modified at : Fri May 20 17:05:14 IST 2016