Safe stream-based programming with refinement types. - Benno Stein 002; Lazaro Clapp; Manu Sridharan; Bor-Yuh Evan Chang (ASE, 2018)

Static analysis with demand-driven value refinement. - Benno Stein 002; Benjamin Barslev Nielsen; Bor-Yuh Evan Chang; Anders Møller (Proc. ACM Program. Lang., 2019)

Demanded abstract interpretation. - Benno Stein 002; Bor-Yuh Evan Chang; Manu Sridharan (PLDI, 2021)

Demanded Abstract Interpretation (Extended Version). - Benno Stein 002; Bor-Yuh Evan Chang; Manu Sridharan (CoRR, 2021)