ACM DL Author-ize serviceSome new approaches to partial inlining
Bowen Alpern, Anonthy Cocchi, David Grove
VMIL '12 Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages, 2012
ACM DL Author-ize serviceOpening black boxes: using semantic information to combat virtual machine image sprawl
Darrell Reimer, Arun Thomas, Glenn Ammons, Todd Mummert, Bowen Alpern, Vasanth Bala
VEE '08 Proceedings of the fourth ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, 2008
ACM DL Author-ize servicePDS: a virtual execution environment for software deployment
Bowen Alpern, Joshua Auerbach, Vasanth Bala, Thomas Frauenhofer, Todd Mummert, Michael Pigott
VEE '05 Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, 2005
ACM DL Author-ize serviceSABER: smart analysis based error reduction
Darrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Bowen Alpern, Robert D. Johnson, Aaron Kershenbaum, Larry Koved
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, 2004
ACM DL Author-ize serviceEfficient implementation of Java interfaces: Invokeinterface considered harmless
Bowen Alpern, Anthony Cocchi, Stephen Fink, David Grove
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 2001
ACM DL Author-ize serviceImplementing jalapeņo in Java
Bowen Alpern, C. R. Attanasio, Anthony Cocchi, Derek Lieber, Stephen Smith, Ton Ngo, John J. Barton, Susan Flynn Hummel, Janice C. Sheperd, Mark Mergen
OOPSLA '99 Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 1999
ACM DL Author-ize serviceMicroparallelism and high-performance protein matching
Bowen Alpern, Larry Carter, Kang Su Gatlin
Supercomputing '95 Proceedings of the 1995 ACM/IEEE conference on Supercomputing (CDROM), 1995
ACM DL Author-ize serviceVerifying temporal properties without temporal logic
Bowen Alpern, Fred B. Schneider
ACM Transactions on Programming Languages and Systems (TOPLAS), 1989
ACM DL Author-ize serviceGraph attribution as a specification paradigm
Bowen Alpern, Alan Carle, Barry Rosen, Peter Sweeney, Kenneth Zadeck
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, 1988
ACM DL Author-ize serviceDetecting equality of variables in programs
B. Alpern, M. N. Wegman, F. K. Zadeck
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1988
ACM DL Author-ize serviceA model for hierarchical memory
A. Aggarwal, B. Alpern, A. Chandra, M. Snir
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing, 1987
ACM DL Author-ize serviceInteractive proof checking
Thomas Reps, Bowen Alpern
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, 1984