Bor-Yuh Evan Chang

Identifiers

No identifiers captured yet.

Papers (10)

1. Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version) cs.PL · 2019 · author #3
2. Type-directed Bounding of Collections in Reactive Programs cs.PL · 2018 · author #3
3. Safe Stream-Based Programming with Refinement Types cs.SE · 2018 · author #4
4. Differential Performance Debugging with Discriminant Regression Trees cs.AI · 2017 · author #3
5. ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps cs.SE · 2017 · author #3
6. Discriminating Traces with Time cs.PL · 2017 · author #3
7. DroidStar: Callback Typestates for Android Classes cs.LO · 2017 · author #7
8. Abstracting Event-Driven Systems with Lifestate Rules cs.PL · 2016 · author #5
9. A Vision for Online Verification-Validation cs.PL · 2016 · author #2
10. Synthesizing Short-Circuiting Validation of Data Structure Invariants cs.PL · 2015 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Ashutosh Trivedi 3 shared papers
• Pavol Cerny 3 shared papers
• Sergio Mover 3 shared papers
• Shawn Meier 3 shared papers
• Saeid Tizpaz-Niari 2 shared papers
• Aleksandar Chakarov 1 shared papers
• Arjun Radhakrishna 1 shared papers
• Benno Stein 1 shared papers
• Damien Zufferey 1 shared papers
• David Van Horn 1 shared papers
• Devin Coughlin 1 shared papers
• Edmund S.L. Lam 1 shared papers
• Krishna Chaitanya Sripada 1 shared papers
• Lazaro Clapp 1 shared papers
• Manu Sridharan 1 shared papers
• Matthew A. Hammer 1 shared papers
• Maxwell Russek 1 shared papers
• Nicholas V. Lewchenko 1 shared papers
• Pavol \v{C}ern\'y 1 shared papers
• Peilun Zhang 1 shared papers