Sujit Muduli

Staff R&D Engineer @ Synopsys India

I am currently working at Synopsys India as a Staff R&D Engineer in the EDAG group. I am also a PhD candidate from Department of Computer Science and Engineering at Indian Institute of Technology, Kanpur. I am being advised by Prof. Subhajit Roy. My interests are in Hardware and Software Verification, Formal Methods for Security, Fuzz Testing, and Compiler Infrastructures.

I was fortunate to be advised by (Late) Prof. Pramod Subramanyan during my initial years of PhD at IIT Kanpur.

Before joining IIT Kanpur, I worked as a Software Engineering in Simulink Design Verifier team at Mathworks, India. I graduated from IIIT Bangalore with a M.Tech degree, specializing in Computer Science under the supervision of Prof. Meenakshi D’Souza.

news

Jul 22, 2024 Distinguished Paper Award (tool paper) for our tool StarFuzz @ CAV 2024.
Aug 10, 2023 Our paper “An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering” has been accepted to ASE 2023.
May 31, 2023 Presented our work “Satisfiability Modulo Fuzzing” at MIT PL Review 2023. [slides]:sparkles:
Jan 25, 2023 Invited to showcase our OOPSLA 2022 work at ARCS 2023.
Sep 03, 2022 We have two papers accepted in OOPSLA 2022.
Aug 19, 2022 POPL 2023 Artifact Evaluation committee member
Jan 28, 2022 CC 2022 Artifact Evaluation committee member
Nov 02, 2021 CGO 2022 Artifact Evaluation committee member
Oct 06, 2020 IEEE/ACM William J. McCalla ICCAD Best Paper Award for “HyperFuzzing for SoC Security Validation”.
Jul 17, 2020 Our paper “HyperFuzzing for SoC Security Validation” will appear in ICCAD, November 2-5, 2020.