- My blog post titled “Pinaka: Symbolic Execution meets Incremental Solving“ on ACM India Formal Methods Blog.
- HRD Minister’s encouraging tweet about Pinaka
- Pinaka secured 3rd place in ReachSafety-Floats subcategory, 8th place in ReachSafety category and 6th place in Termination category at SVCOMP 2020
ParticipateThanks for participating in the Fourth Indian SAT+SMT School.
- Open-WBO-Inc won 2 bronze at the MaxSAT Evaluations 2019.
ParticipateThanks for participating in “Formal Methods Update Meeting 2019” to beheld on 10-11 July 2019 at IIT Hyderabad.
- Paper on “Phase Transition Behavior of Cardinality and XOR Constraints” accepted at IJCAI 2019.
- Pinaka secured 2nd place in ReachSafety-Floats subcategory in SVCOMP 2019.
- Please participate in the Third Indian SAT+SMT School, to be held in IIIT Hyderabad from December6-8,2018.
- Open-WBO won 1 gold and 1 silver at the MaxSAT 2018 evaluations.
- Paper on “Approximation Strategies for Incomplete MaxSAT” accepted at CP 2018.
- Open-WBO won 2 gold and 1 silver at the MaxSAT 2017 evaluations.
- Paper on “On the Tractability of (k,i)-coloring” accepted in CALDAM 2018
- DST Early Career Research Award (ECRA) 2017
- 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%).