Bowen Alpern

Publication Activity (10 Years)

Years Active: 1983-2018
Publications (10 Years): 1

Top Topics

Workshop On Data Mining

Machine Learning Methods

Top Venues

Publications

Bowen Alpern
Edsger W. Dijkstra: The Man Behind the Prize. SIGACT News 49 (4) (2018)
Bowen Alpern, Anonthy Cocchi, David Grove
Some new approaches to partial inlining. VMIL@SPLASH (2012)
Darrell Reimer, Arun Thomas, Glenn Ammons, Todd W. Mummert, Bowen Alpern, Vasanth Bala
Opening black boxes: using semantic information to combat virtual machine image sprawl. VEE (2008)
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
The Jikes Research Virtual Machine project: Building an open-source research community. IBM Syst. J. 44 (2) (2005)
Bowen Alpern, Joshua S. Auerbach, Vasanth Bala, Thomas Frauenhofer, Todd W. Mummert, Michael Pigott
PDS: a virtual execution environment for software deployment. VEE (2005)
Darrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Bowen Alpern, Robert D. Johnson, Aaron Kershenbaum, Larry Koved
SABER: smart analysis based error reduction. ISSTA (2004)
Bowen Alpern, Maria A. Butrico, Anthony Cocchi, Julian Dolby, Stephen J. Fink, David Grove, Ton Ngo
Experiences Porting the Jikes RVM to Linux/IA32. Java Virtual Machine Research and Technology Symposium (2002)
Bowen Alpern, Jong-Deok Choi, Ton Ngo, Manu Sridharan, John M. Vlissides
A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications. IPDPS (2001)
Bowen Alpern, Anthony Cocchi, David Grove, Derek Lieber
Efficient Dispatch of Java Interface Methods. HPCN Europe (2001)
Bowen Alpern, Anthony Cocchi, Stephen J. Fink, David Grove, Derek Lieber
Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. OOPSLA (2001)
Bowen Alpern, Anthony Cocchi, David Grove
Dynamic Type Checking in Jalapeño. Java Virtual Machine Research and Technology Symposium (2001)
Bowen Alpern, Ton Ngo, Jong-Deok Choi, Manu Sridharan
DejaVu: deterministic Java replay debugger for Jalapeño Java virtual machine. OOPSLA Addendum (2000)
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
The Jalapeño virtual machine. IBM Syst. J. 39 (1) (2000)
Bowen Alpern, Mark Charney, Jong-Deok Choi, Anthony Cocchi, Derek Lieber
Dynamic Linking on a Shared-Memory Multiprocessor. IEEE PACT (1999)
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
Implementing Jalapeño in Java. OOPSLA (1999)
Bowen Alpern, Larry Carter, Kang Su Gatlin
Microparallelism and High-Performance Protein Matching. SC (1995)
Bowen Alpern, Larry Carter
Message Compression for High Performance. PPSC (1995)
Ramesh C. Agarwal, Bowen Alpern, Larry Carter, Fred G. Gustavson, David J. Klepacki, Rick Lawrence, Mohammad Zubair
High-Performance Parallel Implementations of the NAS Kernel Benchmarks on the IBM SP2. IBM Syst. J. 34 (2) (1995)
Bowen Alpern, Larry Carter
Is Scalability Relevant? A Look at Sparse Matrix-Vector Product. PPSC (1995)
Bowen Alpern, Larry Carter
The Myth of Scalable High Performance. PPSC (1995)
Bowen Alpern, Larry Carter, Ephraim Feig, Ted Selker
The Uniform Memory Hierarchy Model of Computation. Algorithmica 12 (2/3) (1994)
Bowen Alpern, Larry Carter, Matt Grayson, Chris Pelkie
Orientation Maps: Techniques for Visualizing Rotations. IEEE Visualization (1993)
Clark D. Thomborson, Bowen Alpern, Larry Carter
Rectilinear Steiner Tree Minimization on a Workstation. Computational Support for Discrete Mathematics (1992)
Bowen Alpern, Larry Carter
The Hyperbox. IEEE Visualization (1991)
Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider
Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View". Inf. Process. Lett. 40 (3) (1991)
Bowen Alpern, Larry Carter, Ted Selker
Visualizing Computer Memory Architectures. IEEE Visualization (1990)
Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck
Incremental Evaluation of Computational Circuits. SODA (1990)
Bowen Alpern, Larry Carter, Ephraim Feig
Uniform Memory Hierarchies FOCS (1990)
Bowen Alpern, Fred B. Schneider
Verifying Temporal Properties without Temporal Logic. ACM Trans. Program. Lang. Syst. 11 (1) (1989)
Bowen Alpern, Alan Carle, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck
Graph Attribution as a Specification Paradigm. Software Development Environments (SDE) (1988)
Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck
Detecting Equality of Variables in Programs. POPL (1988)
Bowen Alpern, Fred B. Schneider
Proving Boolean Combinations of Deterministic Properties LICS (1987)
Bowen Alpern, Fred B. Schneider
Recognizing Safety and Liveness. Distributed Comput. 2 (3) (1987)
Alok Aggarwal, Bowen Alpern, Ashok K. Chandra, Marc Snir
A Model for Hierarchical Memory STOC (1987)
Bowen Alpern, Alan J. Demers, Fred B. Schneider
Safety Without Stuttering. Inf. Process. Lett. 23 (4) (1986)
Bowen Alpern, Fred B. Schneider
Defining Liveness. Inf. Process. Lett. 21 (4) (1985)
Thomas W. Reps, Bowen Alpern
Interactive Proof Checking. POPL (1984)
Bowen Alpern, Fred B. Schneider
Key Exchange Using 'Keyless Cryptography'. Inf. Process. Lett. 16 (2) (1983)