Serving on the AISTA'21 PC | Mar 2021 |
Serving on the PLDI'21 AEC | Jan 2021 |
Konure paper to appear in TOPLAS'21 | Oct 2020 |
Selected as Rising Stars participant | Oct 2020 |
Deimplicitization talk video available (MSR-RR'20) | Jun 2020 |
Interning at Amazon Web Services | May 2020 |
Paper to appear in MSR-RR'20 | Mar 2020 |
Serving on the CAV'20 AEC | Nov 2019 |
Paper to appear in Onward!'19 | Aug 2019 |
Konure talk video available (PLDI'19) | Jul 2019 |
Paper to appear in VL/HCC'19 | Jun 2019 |
Serving on the SAS'19 AEC | Apr 2019 |
Konure paper to appear in PLDI'19 | Feb 2019 |
Paper to appear in Onward!'18 | Jul 2018 |
RIFL talk video available (SLE'17) | Oct 2017 |
RIFL paper won the Distinguished Artifact Award (SLE'17) | Oct 2017 |
RIFL paper to appear in SLE'17 | Aug 2017 |