conf.researchr.org / Sujit Kumar Muduli
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