Fanjing Meng, Mark Wegman, et al.
IBM J. Res. Dev
Click link to view paper
Fanjing Meng, Mark Wegman, et al.
IBM J. Res. Dev
Barry Leiba, Joel Ossher, et al.
CEAS 2005
David Ungar, Doug Kimelman, et al.
SPLASH 2012
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS