Bowen Alpern
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
9
Active years
1984–2012
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | OOPSLA | Some new approaches to partial inlining. | Bowen Alpern, Anonthy Cocchi, David Grove |
| 2008 | VEE | 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 |
| 2005 | VEE | PDS: a virtual execution environment for software deployment. | Bowen Alpern, Joshua S. Auerbach, Vasanth Bala, Thomas Frauenhofer, Todd W. Mummert, Michael Pigott |
| 2004 | ISSTA | SABER: smart analysis based error reduction. | Darrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Bowen Alpern, Robert D. Johnson, Aaron Kershenbaum, Larry Koved |
| 2001 | OOPSLA | Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. | Bowen Alpern, Anthony Cocchi, Stephen J. Fink, David Grove, Derek Lieber |
| 2000 | OOPSLA | DejaVu: deterministic Java replay debugger for Jalapeo Java virtual machine. | Bowen Alpern, Ton Ngo, Jong-Deok Choi, Manu Sridharan |
| 1999 | OOPSLA | Implementing Jalapeo 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 |
| 1995 | SC | Microparallelism and High-Performance Protein Matching. | Bowen Alpern, Larry Carter, Kang Su Gatlin |
| 1990 | FOCS | Uniform Memory Hierarchies | Bowen Alpern, Larry Carter, Ephraim Feig |
| 1990 | SODA | Incremental Evaluation of Computational Circuits. | Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck |
| 1988 | POPL | Detecting Equality of Variables in Programs. | Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck |
| 1987 | LICS | Proving Boolean Combinations of Deterministic Properties | Bowen Alpern, Fred B. Schneider |
| 1987 | STOC | A Model for Hierarchical Memory | Alok Aggarwal, Bowen Alpern, Ashok K. Chandra, Marc Snir |
| 1984 | POPL | Interactive Proof Checking. | Thomas W. Reps, Bowen Alpern |