- Paper on "Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs" accepted in TOPLAS
- Paper accepted at FM 2016.
- Open-WBO-LSU using GTE ranked second on DEC-SMALLINT-LIN (decision benchmarks) and third on OPT-SMALLINT-LIN (optimization benchmarks) in PB'16 competition.
- 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 published at PPoPP 2016 (Acceptance rate: 19.2%).
Last Modified at : Tue May 9 11:45:28 IST 2017