Publications

2 results for Michael Pradel

Can LLMs Replace Manual Annotation of Software Engineering Artifacts?
- - Toufique Ahmed
  - Premkumar Devanbu
  - et al.
- 2025
- MSR 2025
Conference paper
Finding data compatibility bugs with JSON subschema checking
- - Andrew Habib
  - Avraham Shinnar
  - et al.
- 2021
- ISSTA 2021
Conference paper