Follow
Benno Stein
Title
Cited by
Cited by
Year
Static analysis with demand-driven value refinement
B Stein, BB Nielsen, BYE Chang, A Møller
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
252019
Demanded abstract interpretation
B Stein, BYE Chang, M Sridharan
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
182021
Safe stream-based programming with refinement types
B Stein, L Clapp, M Sridharan, BYE Chang
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
102018
Demanded Abstract Interpretation
B Stein
University of Colorado at Boulder, 2022
12022
Interactive Abstract Interpretation with Demanded Summarization
B Stein, BYE Chang, M Sridharan
ACM Transactions on Programming Languages and Systems 46 (1), 1-40, 2024
2024
Programming Languages and Systems
S Giallorenzo, F Montesi, M Peressotti, J Haas, R Mogk, E Yanakieva, ...
ACM Transactions on 46 (1), 2024
2024
Interactive Abstract Interpretation
B Stein
2021
Goal-Directed Backwards Static Analysis for JavaScript
B Stein
The system can't perform the operation now. Try again later.
Articles 1–8