Hijung Shin, Massachusetts Institute of Technology (MIT), Massachusetts Institute of Technology, University of Texas at Austin, Massachusetts Institute of Technology, Massachusetts Institute of Technology
Reconciling Elastic and Equilibrium Methods for Static Analysis