Bor Yuh Evan Chang

Bor Yuh Evan Chang

University of Colorado Boulder - Boulder / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1774492
person_outline Bor Yuh Evan Chang's MOST POPULAR ARTICLES
1-) Boogie: A modular reusable verifier for object-oriented programsM Barnett, BYE Chang, R DeLine, B Jacobs, KRM LeinoInternational Symposium on Formal Methods for Components and Objects, 364-387, 200511602005
2-) In defense of soundiness: A manifestoB Livshits, M Sridharan, Y Smaragdakis, O Lhoták, JN Amaral, ...Communications of the ACM 58 (2), 44-46, 20152762015
3-) Relational inductive shape analysisBYE Chang, X RivalACM SIGPLAN Notices 43 (1), 247-260, 20082022008
4-) A judgmental analysis of linear logicBYE Chang, K Chaudhuri, F PfenningSchool of Computer Science, Carnegie Mellon University, 20031092003
5-) Abstract interpretation with alien expressions and heap structuresBYE Chang, KRM LeinoInternational Workshop on Verification, Model Checking, and Abstract …, 20051052005