Benno Stein

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 5

Top Topics

Abstract Interpretation

Top Venues

Proc. ACM Program. Lang.

Publications

Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan
Demanded Abstract Interpretation (Extended Version). CoRR (2021)
Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan
Demanded abstract interpretation. PLDI (2021)
Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, Anders Møller
Static analysis with demand-driven value refinement. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang
Safe stream-based programming with refinement types. ASE (2018)
Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang
Safe Stream-Based Programming with Refinement Types. CoRR (2018)