Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

no code implementations • 18 Dec 2024 • Manish Shetty, Naman jain, Adwait Godbole, Sanjit A. Seshia, Koushik Sen

We validate the translation by testing equivalence with the source C program on a set of inputs.

Code Translation Translation

Safety Verification of Parameterized Systems under Release-Acquire

no code implementations • 28 Jan 2021 • Adwait Godbole, Shankara Narayanan Krishna, Roland Meyer

We show that safety verification is only \pspace-complete for the bounded model checking problem where the distinguished threads are loop-free.

Logic in Computer Science Programming Languages

An India-specific Compartmental Model for Covid-19: Projections and Intervention Strategies by Incorporating Geographical, Infrastructural and Response Heterogeneity

2 code implementations • 28 Jul 2020 • Sanit Gupta, Sahil Shah, Sumit Chaturvedi, Pranav Thakkar, Parvinder Solanki, Soham Dibyachintan, Sandeepan Roy, M. B. Sushma, Adwait Godbole, Noufal Jaseem, Pradumn Kumar, Sucheta Ravikanti, Aritra Das, Giridhara R. Babu, Tarun Bhatnagar, Avijit Maji, Mithun K. Mitra, Sai Vinjanampathy

We present a compartmental meta-population model for the spread of Covid-19 in India.

Containment of Simple Regular Path Queries

no code implementations • 9 Mar 2020 • Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner

Testing containment of queries is a fundamental reasoning task in knowledge representation.