Sujit Kumar Muduli

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (3)

• Interactive Theorem Proving Modulo Fuzzing
  2024 DOI: 10.1007/978-3-031-65627-9_24
  +Save
• Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing
  Proceedings of the ACM on Programming Languages 2022 DOI: 10.1145/3563332
  +Save
• Synthesizing abstract transformers
  Proceedings of the ACM on Programming Languages 2022 DOI: 10.1145/3563334
  +Save