News

• Invited talk on Web3 and Program Analysis at IICT (CompilerTech) 2024.
• Talk on Supra Automation Network as part of The Tech Behind Supra webinar series.
• Invited talk on DORA at Ethereum Engineering Group meetup is available here
• "GPURepair: Automated Repair of GPU Kernels (Extended Version)" is published in Sadhana , Volume 49.
• Whitepaper, blog post, and video on “Distributed Oracle Agreement (DORA)” is available at SupraOracles website.
• My talk on “Code Contract: What, Why and How?” at CppIndiaCon 2021 is now available on YouTube. The slides used for the talk are available here and the examples used during the talk are available on GitHub.
• Pinaka stands 2nd in ReachSafety-Floats, 2nd is ReachSafety-Loops, 3rd in ReachSafety-Combinations subcategories and is placed 7th in ReachSafety category in SVCOMP 2021. Here’s the tweet by then Minister of Education about Pinaka.
• Paper on "GPURepair: Automated Repair of GPU Kernels" is accepted at VMCAI 2021.

Teaching

Courses

Undergraduate

• Software Development Fundamentals (CS1023): Mar 2021-Jun 2021
• Introduction to Programming (ID 1063) : Nov 2020-Feb 2021
• Principles of Programming Languages I (CS 2400) : Oct-Dec 2016, Oct-Dec 2017, Oct-Dec 2018, Oct-Dec 2019, May-Jul 2020
• Principles of Programming Languages II (CS 2433) : Jan-Apr 2017, Jan-Apr 2018, Jan-Apr 2019, Feb-Mar 2020
• Software Engineering (CS 4010) : Jan-Apr 2016 (at IIT Guwahati as CS 242 and CS 243), Jan-Apr 2017

Postgraduate

• Constraint Solving/Constraint Programming (CS 6400, CS6403, CS6483) : Aug-Sep 2016, Aug-Oct 2017, Jan-Apr 2019, Jan-Apr 2020
• Software Verification (CS 6410) : Jan-Apr 2017, Jan-Apr 2018, Aug-Nov 2019

Students

PhD

• Gautam Muduganti - PhD Candidate - (Jan 2017–Present)
• Utpal Bora - PhD - Techniques for Static Detection of Data-races in OpenMP Programs - (Jan 2019–Oct 2022) - now a PostDoc at Cambridge University, UK.

Masters

• Archit Sanghi - MTech - (co-advised with Dr. Praveen Tammana)(July 2020–July 2021) - now at Oracle, India.
• Akash Banerjee - MTech RA - (July 2018–June 2021) - now at AMD, UK.
• Eti Chaudhary - Verification of Programs - MTech RA - (July 2017–July 2020) - now at Goldman Sachs, Bengaluru.
• Aditya Kumar - MTech (co-advised with Dr. Ramakrishna Upadrasta) (May 2019–July 2020) - now at Oracle, India.
• Sunil Sarode - MTech (co-advised with Dr. Ramakrishna Upadrasta) (May 2019–July 2020)
• Uttaran Sinha - MTech - Defending Neural Networks against Structural Perturbations - (July 2017–July 2019) - now at Amazon, Bengaluru
• Arpit Aggarwal - MTech (IIT Delhi, co-advised with Dr. Subodh Sharma) - GoProver: a bounded model-checker for GO - (July 2017–July 2018) - now at Candor Health as Founding Engineer
• Rasika Sapate - MTech - LLVM2GOTO: A translator from LLVM IR to CPROVER IR - (July 2016–July 2018) - now at Microsoft, Hyderabad

Undergraduates

• Gitanjali Mannepalli - BTech - Mini Project - Proving program correctness using Coq (July 2018–Nov 2018) - now at Microsoft, US.
• Sukrut Rao - BTech - Research Internship - Improving MaxSAT Solving - now PhD candidate at Max Planck Institute, Germany
• Prateek Kumar - BTech - Improving MaxSAT Solving - (Dec 2017–May 2019) - now at Apple, India.
• Nidhi Dhamnani - BTech - Research Internship - Optimizing SAT Solver for push/pop queries - (July 2017–Nov 2017) - now at Momento, US as a Software Engineer
• B Shreya - BTech - Research Internship - Optimizing SAT Solver for push/pop queries -(July 2017–Nov2017) - now at Amazon Web Services, US.