Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-procedural Path-Sensitive Taint Analysis
- Yuchen Ji
- Ting Dai
- et al.
- 2025
- Proceedings of the ACM on Programming Languages
Publications
7 results at Proceedings of the ACM on Programming Languages
Inference Plans for Hybrid Particle Filtering
- Ellie Y. Cheng
- Eric Atkinson
- et al.
- 2025
- Proceedings of the ACM on Programming Languages
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
- Girish Mururu
- Sharjeel Khan
- et al.
- 2023
- Proceedings of the ACM on Programming Languages
Semi-symbolic inference for efficient streaming probabilistic programming
- Eric Atkinson
- Charles Yuan
- et al.
- 2022
- Proceedings of the ACM on Programming Languages
Translating canonical SQL to imperative code in Coq
- Véronique Benzaken
- Évelyne Contejean
- et al.
- 2022
- Proceedings of the ACM on Programming Languages
On polymorphic gradual typing
- Yuu Igarashi
- Taro Sekiyama
- et al.
- 2017
- Proceedings of the ACM on Programming Languages
Prototyping a query compiler using coq (Experience report)
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- Proceedings of the ACM on Programming Languages