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
Paper
Publications
6 results at 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
PaperSemi-symbolic inference for efficient streaming probabilistic programming
- Eric Atkinson
- Charles Yuan
- et al.
- 2022
- Proceedings of the ACM on Programming Languages
PaperTranslating canonical SQL to imperative code in Coq
- Véronique Benzaken
- Évelyne Contejean
- et al.
- 2022
- Proceedings of the ACM on Programming Languages
PaperOn polymorphic gradual typing
- Yuu Igarashi
- Taro Sekiyama
- et al.
- 2017
- Proceedings of the ACM on Programming Languages
PaperPrototyping a query compiler using coq (Experience report)
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- Proceedings of the ACM on Programming Languages
Paper