Concepedia

Bor-Yuh Evan Chang

BE

20

Publications

1K

Citations

15

H-Index

2002

Active since

Affiliations

University of Colorado Boulder(Current)

Institut national de recherche en sciences et technologies du numérique

University of California, Berkeley

University of Maryland, College Park

Aarhus University

Bor-Yuh Evan Chang is an author at University of Colorado Boulder specializing in engineering, formal methods, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationSoftware EngineeringSoftware DesignAutomated ReasoningVerification

Publications per year

2002–2019

20

Publications

20

Boogie: a modular reusable verifier for object-oriented programs

Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine et al. · 2006 · 242 citations

Engineering, Program Analysis, Object-oriented Modeling +9

In defense of soundiness

Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis et al. · Communications of the ACM · 2015 · 222 citations

Music, Psychoacoustics, New Sound +12

Relational inductive shape analysis

Bor-Yuh Evan Chang, Xavier Rival · 2008 · 157 citations

Engineering, Statistical Shape Analysis, Structured Data +24

A judgmental analysis of linear logic

Bor-Yuh Evan Chang, Kaustuv Chaudhuri, Frank Pfenning · Research Showcase @ Carnegie Mellon University (Carnegie Mellon University) · 2003 · 54 citations

Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan · 2013 · 40 citations

Engineering, Software Engineering, Software Analysis +16

Rows per page

1–5 of 20