conference publications:
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates.
Object-oriented Programming, Systems, Languages, and Applications (OOPSLA 2023)
(pdf, doi, bib)
with
Nathaniel Sands, George Petrou,
Rajeev Alur,
Mayur Naik, and
Mukund Raghothaman.
Relational Query Synthesis ⋈ Decision Tree Learning.
International Conference on Very Large Data Bases (VLDB 2023)
(pdf, doi, bib)
with
Aaditya Naik,
Adam Stein,
Rajeev Alur, and
Mayur Naik.
Example-Guided Synthesis of Relational Queries.
Programming Language Design and Implementation (PLDI 2021)
(pdf, app, doi, bib)
with
Aaditya Naik,
Nathaniel Sands,
Mukund Raghothaman, Mayur Naik, and Rajeev Alur.
Additive Collatz Trajectories.
International Conference of The Jangjeon Mathematical Society (ICJMS 2016)
(pdf, doi, bib)
with Mrunmay Jagadale.
journal publications:
Reopening businesses and risk of COVID-19 transmission.
npj Digital Medicine 51, (2021).
(pdf, doi, bib)
with Ashley O’Donoghue, Tenzin Dechen, Whitney Pavlova, Michael Boals, Garba Moussa, Manvi Madan, Frank J. DeFalco and Jennifer P. Stevens.
Concurrency in Boolean networks.
Natural Computing 19, 91–109 (2020).
(pdf, doi, bib)
with Thomas Chatain, Stefan Haar, Juraj Kolcak, and Loic Pauleve.
Infinitude of Primes Using Formal Languages.
The American Mathematical Monthly, 125:8, 745-749 (2018).
(pdf, doi, bib)
workshop publications:
Complexity of Relational Query Synthesis.
11th Workshop on Synthesis (SYNT 2022).
(pdf, talk, bib)
with Rajeev Alur and
Mayur Naik.
Modular Synthesis of Reactive Systems.
9th Workshop on Synthesis (SYNT 2020).
(pdf, talk, bib)
with Kedar S. Namjoshi and
Richard Trefler.
Verification of Rewriting-based Query Optimizers.
16th International Workshop on Termination (WST 2018).
(pdf, bib)
with Krishnamurthy Balaji and Piyush Gupta.
expositions:
Super-Spreader Businesses and Risk of COVID-19 Transmission.
MIT COVID-19 Datathon (2020).
(pdf, doi, bib, slides)
with Ashley L O'Donoghue, Tenzin Dechen, Whitney Pavlova, Michael Boals, Garba Moussa, Manvi Madan, and Frank J DeFalco
Heartbleed: A Formal Methods Perspective.
CIS 673: Computer-Aided Verification (2020).
(pdf, slides)
Symbolic Execution with Hash Functions.
CIS 700: Software Analysis and Testing (2018).
(slides)
with Michael Henehan.