Bowen Alpern

According to our database, Bowen Alpern authored at least 39 papers between 1983 and 2018.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2018

Edsger W. Dijkstra: The Man Behind the Prize.

Bowen Alpern

SIGACT News, 2018

2012

Some new approaches to partial inlining.

Bowen Alpern, Anonthy Cocchi, David Grove

Proceedings of the VMIL@SPLASH 2012: Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages, 2012

2008

Opening black boxes: using semantic information to combat virtual machine image sprawl.

Darrell Reimer, Arun Thomas, Glenn Ammons, Todd W. Mummert, Bowen Alpern, Vasanth Bala

Proceedings of the 4th International Conference on Virtual Execution Environments, 2008

2005

The Jikes Research Virtual Machine project: Building an open-source research community.

Bowen Alpern, Steve Augart, Stephen M. Blackburn, Maria A. Butrico, Anthony Cocchi, Perry Cheng, Julian Dolby, Stephen J. Fink, David Grove, Michael Hind, Kathryn S. McKinley, Mark F. Mergen, J. Eliot B. Moss, Ton Anh Ngo, Vivek Sarkar, Martin Trapp

IBM Syst. J., 2005

PDS: a virtual execution environment for software deployment.

Bowen Alpern, Joshua S. Auerbach, Vasanth Bala, Thomas Frauenhofer, Todd W. Mummert, Michael Pigott

Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

2004

SABER: smart analysis based error reduction.

Darrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Bowen Alpern, Robert D. Johnson, Aaron Kershenbaum, Larry Koved

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2002

Experiences Porting the Jikes RVM to Linux/IA32.

Bowen Alpern, Maria A. Butrico, Anthony Cocchi, Julian Dolby, Stephen J. Fink, David Grove, Ton Ngo

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium, 2002

2001

Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless.

Bowen Alpern, Anthony Cocchi, Stephen J. Fink, David Grove, Derek Lieber

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Dynamic Type Checking in Jalapeño.

Bowen Alpern, Anthony Cocchi, David Grove

Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, 2001

A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications.

Bowen Alpern, Jong-Deok Choi, Ton Ngo, Manu Sridharan, John M. Vlissides

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Efficient Dispatch of Java Interface Methods.

Bowen Alpern, Anthony Cocchi, David Grove, Derek Lieber

Proceedings of the High-Performance Computing and Networking, 9th International Conference, 2001

2000

The Jalapeño virtual machine.

Bowen Alpern, C. Richard Attanasio, John J. Barton, Michael G. Burke, Perry Cheng, Jong-Deok Choi, Anthony Cocchi, Stephen J. Fink, David Grove, Michael Hind, Susan Flynn Hummel, Derek Lieber, Vassily Litvinov, Mark F. Mergen, Ton Ngo, James R. Russell, Vivek Sarkar, Mauricio J. Serrano, Janice C. Shepherd, Stephen E. Smith, Vugranam C. Sreedhar, Harini Srinivasan, John Whaley

IBM Syst. J., 2000

DejaVu: deterministic Java replay debugger for Jalapeño Java virtual machine.

Bowen Alpern, Ton Ngo, Jong-Deok Choi, Manu Sridharan

Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

1999

Implementing Jalapeño in Java.

Bowen Alpern, C. Richard Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton Ngo, Mark F. Mergen, Janice C. Shepherd, Stephen E. Smith

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Dynamic Linking on a Shared-Memory Multiprocessor.

Bowen Alpern, Mark Charney, Jong-Deok Choi, Anthony Cocchi, Derek Lieber

Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques, 1999

1995

High-Performance Parallel Implementations of the NAS Kernel Benchmarks on the IBM SP2.

Ramesh C. Agarwal, Bowen Alpern, Larry Carter, Fred G. Gustavson, David J. Klepacki, Rick Lawrence, Mohammad Zubair

IBM Syst. J., 1995

Microparallelism and High-Performance Protein Matching.

Bowen Alpern, Larry Carter, Kang Su Gatlin

Proceedings of the Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, 1995

The Myth of Scalable High Performance.

Bowen Alpern, Larry Carter

Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, 1995

Is Scalability Relevant? A Look at Sparse Matrix-Vector Product.

Bowen Alpern, Larry Carter

Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, 1995

Message Compression for High Performance.

Bowen Alpern, Larry Carter

Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, 1995

1994

The Uniform Memory Hierarchy Model of Computation.

Bowen Alpern, Larry Carter, Ephraim Feig, Ted Selker

Algorithmica, 1994

1993

Orientation Maps: Techniques for Visualizing Rotations.

Bowen Alpern, Larry Carter, Matt Grayson, Chris Pelkie

Proceedings of the 4th IEEE Visualization Conference, 1993

1992

Rectilinear Steiner Tree Minimization on a Workstation.

Clark D. Thomborson, Bowen Alpern, Larry Carter

Proceedings of the Computational Support for Discrete Mathematics, 1992

1991

Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View".

Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider

Inf. Process. Lett., 1991

The Hyperbox.

Bowen Alpern, Larry Carter

Proceedings of the 2nd IEEE Visualization Conference, 1991

1990

Visualizing Computer Memory Architectures.

Bowen Alpern, Larry Carter, Ted Selker

Proceedings of the 1st IEEE Visualization Conference, 1990

Incremental Evaluation of Computational Circuits.

Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck

Proceedings of the First Annual ACM-SIAM Symposium on Discrete Algorithms, 1990

Uniform Memory Hierarchies

Bowen Alpern, Larry Carter, Ephraim Feig

Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990

1989

Verifying Temporal Properties without Temporal Logic.

Bowen Alpern, Fred B. Schneider

ACM Trans. Program. Lang. Syst., 1989

1988

Graph Attribution as a Specification Paradigm.

Bowen Alpern, Alan Carle, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Detecting Equality of Variables in Programs.

Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

1987

Recognizing Safety and Liveness.

Bowen Alpern, Fred B. Schneider

Distributed Comput., 1987

A Model for Hierarchical Memory

Alok Aggarwal, Bowen Alpern, Ashok K. Chandra, Marc Snir

Proceedings of the 19th Annual ACM Symposium on Theory of Computing, 1987

Proving Boolean Combinations of Deterministic Properties

Bowen Alpern, Fred B. Schneider

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986

Proving Temporal Properties of Concurrent ProgramsP: A Non-Temporal Approach.

Bowen Alpern

PhD thesis, 1986

Safety Without Stuttering.

Bowen Alpern, Alan J. Demers, Fred B. Schneider

Inf. Process. Lett., 1986

1985

Defining Liveness.

Bowen Alpern, Fred B. Schneider

Inf. Process. Lett., 1985

1984

Interactive Proof Checking.

Thomas W. Reps, Bowen Alpern

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

1983

Key Exchange Using 'Keyless Cryptography'.

Bowen Alpern, Fred B. Schneider

Inf. Process. Lett., 1983