conf.researchr.org / Sujit Kumar Muduli
![Sujit Kumar Muduli](https://conf.researchr.org/getProfileImage/sujitmuduli/3e073018-554f-46e7-b8f4-736101205a34/small.jpg?1711533724000)
Registered user since Fri 25 Jun 2021
Name:Sujit Kumar Muduli
Country:India
Affiliation:IIT Kanpur
Personal website: https://www.cse.iitk.ac.in/users/smuduli/
Contributions
2023
2022
SPLASH
- In-person student volunteer in Organizers within the Student Volunteers-track
- Author of Satisfiability Modulo Fuzzing: A Synergistic Combination of SMT Solving and Fuzzing within the OOPSLA-track
- Author of Synthesizing Abstract Transformers within the OOPSLA-track
- Author of Verification of Hardware and Software with Fuzzing and Proofs within the Doctoral Symposium-track