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] |
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. |