| Sep'22 | Nouraldin Jaber is graduating and joining Amazon S3's Automated Reasoning Group. Congratulations, Nour! |
| Aug'22 | I will be co-editing the ACM SIGPLAN Blog on PL Perspectives with Adrian. We would love to hear from you! |
| Jul'22 | Can't wait for the Dagstuhl workshop I am organizing with Swen Jacobs, Ken McMillan, and Ilya Sergey on Unifying Formal Methods for Trustworthy Distributed Systems. Look out for invitations! |
| Jun'22 | You can now watch our PLDI 2022 tutorial on Discover[i] here! |
| Feb'22 | Nouraldin Jaber, Christopher Wagner, and I will be presenting an invited tutorial on Discover[i] at PLDI 2022 in San Diego! |
| Jan'22 |
New draft from Discover[i] project available: Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems |
| Sep'21 | Excited about my talk on our MANTIS project at Strange Loop on Oct 1! |
| Sep'21 | Looking forward to my invited talk on our Discover[i] project at the DISC Workshop on Formal Reasoning in Distributed Algorithms (FRIDA)! |
| Sep'21 | QuickSilver will appear in OOPSLA 2021! |
| Jul'21 | Delighted and honored to receive an Amazon Research Award! |
| Jul'21 | Our next Discover[i] work — QuickSilver: A Modeling and Parameterized Verification Framework for Systems with Distributed Agreement — with Nouraldin Jaber, Christopher Wagner, Swen Jacobs, and Milind Kulkarni conditionally accepted to OOPSLA 2021! |
| Dec'20 | Enjoyed giving an invited keynote on our MANTIS project at and attending the NeurIPS Workshop on Computer-Assisted Programming! |
| Oct'20 | Looking forward to my invited talk on our MANTIS project at CodeMesh on Nov 6! |
| Oct'20 | Excited to be serving on the Steering Committees for VMW@CAV and DARS, as the General Chair for MAPL 2021, and on the Program Committees for PLDI 2021 and CAV 2021! |
| Oct'20 |
New draft from our Discover[i] project available: QuickSilver: A Modeling and Parameterized Verification Framework for Systems with Distributed Agreement |
| Jul'20 | Check out our CAV 2020 paper's teaser and talk by Nouraldin Jaber. |
| Jul'20 | Enjoyed organizing the Verification Mentoring Workshop (VMW), co-located with CAV 2020, with Rayna Dimitrova, Jean-Baptiste Jeannin and Arjun Radhakrishna. Head on over to the VMW YouTube Channel to watch the exciting program! |
| Jul'20 | ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks with Xuankang Lin, He Zhu and Suresh Jagannathan accepted to FMCAD 2020! |
| Apr'20 | The first set of results from Discover[i] — Parameterized Verification of Systems with Global Synchronization and Guards — with Nouraldin Jaber, Swen Jacobs, Christopher Wagner and Milind Kulkarni will appear in CAV 2020! |
| Nov'19 | Augmented Example-based Synthesis using Relational Perturbation Properties with Shengwei An, Rishabh Singh and Sasa Misailovic accepted to POPl 2020! |
| Jun'19 | Direct Manipulation for Imperative Programs with Qinheping Hu, Rishabh Singh and Loris D'Antoni accepted to SAS 2019! |
| Apr'19 | New draft available: Parameterized Synthesis for Distributed Applications with Consensus |
| Feb'19 | SemCluster: Clustering of Programming Assignments based on Quantitative Semantic Features (conditionally) accepted to PLDI 2019! |
| Feb'19 | Delighted and honored to receive an NSF Career Award! |
| Nov'18 | Two new drafts available: 1. Augmented Example-based Synthesis 2. SemCluster: Clustering of Programming Assignments based on Quantitative Semantic Features |
| Oct'18 | Excited to be co-chairing the AEC and serving on the ERC of PLDI 2019 |
| Sep'18 | Gave an invited talk at Papers We Love Conference 2018. video | slides |
| Aug'18 | Excited to be serving on the PC of CAV 2019 |
| Apr'18 | Looking forward to DARS 2018 at CPS Week 2018 |
| Feb'18 | Excited to be serving on the PC of OOPSLA 2018 |
| Jan'18 | Excited to be serving on the PC of CAV 2018 and SYNT 2018 |
| Jul'17 | Excited to co-chair DARS 2017 at CAV 2017 |
| Jun'17 | Gave an invited talk at PLMW@PLDI 2017 |
| Jan'17 | Enjoyed being a panelist in PLMW@POPL 2017 |
| Dec'16 | Excited to be serving on the PC of FMCAD 2017 and SYNT 2017 |
| Nov'16 | New journal paper in FMSD |
| Oct'16 | Excited to be serving on the PC of CAV 2017 |
| Sep'16 | Cool new website for PurPL (Purdue Programming Languages group) |
| Aug'16 | New graduate seminar on Computer-aided Program Reasoning |
| Jul'16 | Gave a talk on Qlose at CAV 2016, Toronto |
| Apr'16 | Starting as an Assistant Professor at Purdue University in Fall 2016 |
| Apr'16 | New paper in CAV 2016 |
| Feb'16 | Excited to be serving on the PC of SYNT 2016 |
| Jan'16 | Gave a tutorial on Trace-based Synchronization Synthesis for Concurrent Programs at POPL 2016. |