Cited By
View all- Germane K(2025)Full Control-Flow Sensitivity for Definitional InterpretersStatic Analysis10.1007/978-3-031-74776-2_5(120-146)Online publication date: 21-Jan-2025
- Hong JRyu S(2024)Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust TranslationProceedings of the ACM on Programming Languages10.1145/36564068:PLDI(716-740)Online publication date: 20-Jun-2024
- Blumschein CNiephaus FStancu CWimmer CLincke JHirschfeld RChristakis MPradel M(2024)Finding Cuts in Static Analysis Graphs to Debloat SoftwareProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3680306(603-614)Online publication date: 11-Sep-2024
- Show More Cited By