Key Exchange Using 'Keyless Cryptography'. - Bowen Alpern; Fred B. Schneider (Inf. Process. Lett., 1983)

Interactive Proof Checking. - Thomas W. Reps; Bowen Alpern (POPL, 1984)

Defining Liveness. - Bowen Alpern; Fred B. Schneider (Inf. Process. Lett., 1985)

Safety Without Stuttering. - Bowen Alpern; Alan J. Demers; Fred B. Schneider (Inf. Process. Lett., 1986)

Proving Temporal Properties of Concurrent ProgramsP: A Non-Temporal Approach. - Bowen Alpern (1986)

Proving Boolean Combinations of Deterministic Properties - Bowen Alpern; Fred B. Schneider (LICS, 1987)

A Model for Hierarchical Memory - Alok Aggarwal; Bowen Alpern; Ashok K. Chandra; Marc Snir (STOC, 1987)

Recognizing Safety and Liveness. - Bowen Alpern; Fred B. Schneider (Distributed Comput., 1987)

Detecting Equality of Variables in Programs. - Bowen Alpern; Mark N. Wegman; F. Kenneth Zadeck (POPL, 1988)

Graph Attribution as a Specification Paradigm. - Bowen Alpern; Alan Carle; Barry K. Rosen; Peter F. Sweeney; F. Kenneth Zadeck (Software Development Environments (SDE), 1988)

Verifying Temporal Properties without Temporal Logic. - Bowen Alpern; Fred B. Schneider (ACM Trans. Program. Lang. Syst., 1989)

Uniform Memory Hierarchies - Bowen Alpern; Larry Carter; Ephraim Feig (FOCS, 1990)

Incremental Evaluation of Computational Circuits. - Bowen Alpern; Roger Hoover; Barry K. Rosen; Peter F. Sweeney; F. Kenneth Zadeck (SODA, 1990)

Visualizing Computer Memory Architectures. - Bowen Alpern; Larry Carter; Ted Selker (IEEE Visualization, 1990)

The Hyperbox. - Bowen Alpern; Larry Carter (IEEE Visualization, 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)

Rectilinear Steiner Tree Minimization on a Workstation. - Clark D. Thomborson; Bowen Alpern; Larry Carter (Computational Support for Discrete Mathematics, 1992)

Orientation Maps: Techniques for Visualizing Rotations. - Bowen Alpern; Larry Carter; Matt Grayson; Chris Pelkie (IEEE Visualization, 1993)

The Uniform Memory Hierarchy Model of Computation. - Bowen Alpern; Larry Carter; Ephraim Feig; Ted Selker (Algorithmica, 1994)

Message Compression for High Performance. - Bowen Alpern; Larry Carter (PP, 1995)

Is Scalability Relevant? A Look at Sparse Matrix-Vector Product. - Bowen Alpern; Larry Carter (PP, 1995)

The Myth of Scalable High Performance. - Bowen Alpern; Larry Carter (PP, 1995)

Microparallelism and High-Performance Protein Matching. - Bowen Alpern; Larry Carter; Kang Su Gatlin (SC, 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)

Dynamic Linking on a Shared-Memory Multiprocessor. - Bowen Alpern; Mark Charney; Jong-Deok Choi; Anthony Cocchi; Derek Lieber (IEEE PACT, 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 (OOPSLA, 1999)

DejaVu: deterministic Java replay debugger for Jalapeño Java virtual machine. - Bowen Alpern; Ton Ngo; Jong-Deok Choi; Manu Sridharan (OOPSLA Addendum, 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; et al. (IBM Syst. J., 2000)

Efficient Dispatch of Java Interface Methods. - Bowen Alpern; Anthony Cocchi; David Grove; Derek Lieber (HPCN Europe, 2001)

A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications. - Bowen Alpern; Jong-Deok Choi; Ton Ngo; Manu Sridharan; John M. Vlissides (IPDPS, 2001)

Dynamic Type Checking in Jalapeño. - Bowen Alpern; Anthony Cocchi; David Grove (Java Virtual Machine Research and Technology Symposium, 2001)

Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. - Bowen Alpern; Anthony Cocchi; Stephen J. Fink; David Grove; Derek Lieber (OOPSLA, 2001)

Experiences Porting the Jikes RVM to Linux/IA32. - Bowen Alpern; Maria A. Butrico; Anthony Cocchi; Julian Dolby; Stephen J. Fink; David Grove; Ton Ngo (Java Virtual Machine Research and Technology Symposium, 2002)

SABER: smart analysis based error reduction. - Darrell Reimer; Edith Schonberg; Kavitha Srinivas; Harini Srinivasan; Bowen Alpern; Robert D. Johnson; Aaron Kershenbaum; Larry Koved (ISSTA, 2004)

PDS: a virtual execution environment for software deployment. - Bowen Alpern; Joshua S. Auerbach; Vasanth Bala; Thomas Frauenhofer; Todd W. Mummert; Michael Pigott (VEE, 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; et al. (IBM Syst. J., 2005)

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 (VEE, 2008)

Some new approaches to partial inlining. - Bowen Alpern; Anonthy Cocchi; David Grove (VMIL@SPLASH, 2012)

Edsger W. Dijkstra: The Man Behind the Prize. - Bowen Alpern (SIGACT News, 2018)