Benno Stein - Google Scholar

Get my own profile

Cited by

	All	Since 2019
Citations	65	64
h-index	3	3
i10-index	3	2

0

20

10

20182019202020212022202320241 2 4 15 9 15 19

Public access

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net
Benjamin Barslev NielsenPhD student, Aarhus UniversityVerified email at cs.au.dk
Anders MøllerProfessor, Aarhus UniversityVerified email at cs.au.dk

Benno Stein

Benno Stein

University of Colorado Boulder

Verified email at colorado.edu - Homepage

programming languages static analysis software engineering


Title Sort by citations Sort by year Sort by 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	26	2019
Demanded abstract interpretation B Stein, BYE Chang, M Sridharan Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021	25	2021
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	10	2018
Interactive Abstract Interpretation with Demanded Summarization B Stein, BYE Chang, M Sridharan ACM Transactions on Programming Languages and Systems 46 (1), 1-40, 2024	2	2024
Demanded Abstract Interpretation B Stein University of Colorado at Boulder, 2022	2	2022
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