Bowen Alpern

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