Sujit Muduli
PhD Student @ IIT Kanpur
I am a PhD student in the Department of Computer Science and Engineering at the 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
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. |
Jun 30, 2020 | Our submission “Mining Hyperproperties from Behavioral Traces” to VLSI-SoC 2020 has been accepted. (short paper) |