publications

2023

  1. ASE
    An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering Chatterjee. Prantik, Kalita. Pankaj Kumar, Lahiri. Sumit, Muduli. Sujit Kumar, Singh. Vishal, and Roy. Subhajit In Automated Software Engineering 2023 DOI:

2022

  1. OOPSLA
    Synthesizing Abstract Transformers Kalita. Pankaj Kumar, Muduli. Sujit Kumar, D’Antoni. Loris, Reps. Thomas, and Roy. Subhajit Proc. ACM Program. Lang. 2022 DOI: 10.1145/3563334
  2. OOPSLA
    Satisfiability Modulo Fuzzing: A Synergistic Combination of SMT Solving and Fuzzing Muduli. Sujit Kumar, and Roy. Subhajit Proc. ACM Program. Lang. 2022 DOI: 10.1145/3563332
  3. DS (SPLASH 2022)
    Verification of Hardware and Software with Fuzzing and Proofs Muduli. Sujit Kumar In 2022 DOI: 10.1145/3563768.3565549

2020

  1. ICCAD
    HyperFuzzing for SoC Security Validation Muduli. Sujit Kumar, Takhar. Gourav, and Subramanyan. Pramod In IEEE/ACM International Conference on Computer-Aided Design (ICCAD’20), November 2-5, 2020, Virtual Event, USA 2020 (IEEE/ACM William J McCalla best paper award) DOI: 10.1145/3400302.3415709
  2. VLSI-SoC
    Mining Hyperproperties from Behavioral Traces Rawat. Mayank, Muduli. Sujit Kumar, and Subramanyan. Pramod In 28th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC’20), 5-9 October 2020, Virtual conference 2020 (Poster Paper) [PDF]

2019

  1. ATS
    Towards Verifiably Secure Systems-on-Chip Platforms Muduli. Sujit Kumar, and Subramanyan. Pramod In 28th IEEE Asian Test Symposium, ATS 2019, Kolkata, India, December 2019 (Invited) DOI: 10.1109/ATS47505.2019.00017
  2. FMCAD
    Verification of Authenticated Firmware Loaders Muduli. Sujit Kumar, Subramanyan. Pramod, and Ray. Sayak In 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose 2019 DOI: 10.23919/FMCAD.2019.8894262