SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Bowen Alpern: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Bowen Alpern, Larry Carter, Ephraim Feig
Uniform Memory Hierarchies [Citation Graph (1, 0)][DBLP]
FOCS, 1990, pp:600-608 [Conf]
Bowen Alpern, Alan Carle, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck
Graph Attribution as a Specification Paradigm. [Citation Graph (1, 0)][DBLP]
Software Development Environments (SDE), 1988, pp:121-129 [Conf]
Alok Aggarwal, Bowen Alpern, Ashok K. Chandra, Marc Snir
A Model for Hierarchical Memory [Citation Graph (1, 0)][DBLP]
STOC, 1987, pp:305-314 [Conf]
Bowen Alpern, Larry Carter, Ephraim Feig, Ted Selker
The Uniform Memory Hierarchy Model of Computation. [Citation Graph (1, 0)][DBLP]
Algorithmica, 1994, v:12, n:2/3, pp:72-109 [Journal]
Bowen Alpern, Mark Charney, Jong-Deok Choi, Anthony Cocchi, Derek Lieber
Dynamic Linking on a Shared-Memory Multiprocessor. [Citation Graph (0, 0)][DBLP]
IEEE PACT, 1999, pp:177-182 [Conf]
Bowen Alpern, Anthony Cocchi, David Grove, Derek Lieber
Efficient Dispatch of Java Interface Methods. [Citation Graph (0, 0)][DBLP]
HPCN Europe, 2001, pp:621-628 [Conf]
Bowen Alpern, Jong-Deok Choi, Ton Ngo, Manu Sridharan, John M. Vlissides
A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications. [Citation Graph (0, 0)][DBLP]
IPDPS, 2001, pp:23- [Conf]
Darrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Bowen Alpern, Robert D. Johnson, Aaron Kershenbaum, Larry Koved
SABER: smart analysis based error reduction. [Citation Graph (0, 0)][DBLP]
ISSTA, 2004, pp:243-251 [Conf]
Bowen Alpern, Maria A. Butrico, Anthony Cocchi, Julian Dolby, Stephen J. Fink, David Grove, Ton Ngo
Experiences Porting the Jikes RVM to Linux/IA32. [Citation Graph (0, 0)][DBLP]
Java™ Virtual Machine Research and Technology Symposium, 2002, pp:51-64 [Conf]
Bowen Alpern, Anthony Cocchi, David Grove
Dynamic Type Checking in Jalapeño. [Citation Graph (0, 0)][DBLP]
Java™ Virtual Machine Research and Technology Symposium, 2001, pp:- [Conf]
Bowen Alpern, Fred B. Schneider
Proving Boolean Combinations of Deterministic Properties [Citation Graph (0, 0)][DBLP]
LICS, 1987, pp:131-137 [Conf]
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. [Citation Graph (0, 0)][DBLP]
OOPSLA, 1999, pp:314-324 [Conf]
Bowen Alpern, Anthony Cocchi, Stephen J. Fink, David Grove, Derek Lieber
Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. [Citation Graph (0, 0)][DBLP]
OOPSLA, 2001, pp:108-124 [Conf]
Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck
Detecting Equality of Variables in Programs. [Citation Graph (0, 0)][DBLP]
POPL, 1988, pp:1-11 [Conf]
Thomas W. Reps, Bowen Alpern
Interactive Proof Checking. [Citation Graph (0, 0)][DBLP]
POPL, 1984, pp:36-45 [Conf]
Bowen Alpern, Larry Carter
Message Compression for High Performance. [Citation Graph (0, 0)][DBLP]
PPSC, 1995, pp:814-819 [Conf]
Bowen Alpern, Larry Carter
Is Scalability Relevant? A Look at Sparse Matrix-Vector Product. [Citation Graph (0, 0)][DBLP]
PPSC, 1995, pp:850-851 [Conf]
Bowen Alpern, Larry Carter
The Myth of Scalable High Performance. [Citation Graph (0, 0)][DBLP]
PPSC, 1995, pp:857-859 [Conf]
Bowen Alpern, Larry Carter, Kang Su Gatlin
Microparallelism and High-Performance Protein Matching. [Citation Graph (0, 0)][DBLP]
SC, 1995, pp:- [Conf]
Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck
Incremental Evaluation of Computational Circuits. [Citation Graph (0, 0)][DBLP]
SODA, 1990, pp:32-42 [Conf]
Bowen Alpern, Larry Carter
The Hyperbox. [Citation Graph (0, 0)][DBLP]
IEEE Visualization, 1991, pp:133-139 [Conf]
Bowen Alpern, Larry Carter, M. Grayson, C. Pelkie
Orientation Maps: Techniques for Visualizing Rotations. [Citation Graph (0, 0)][DBLP]
IEEE Visualization, 1993, pp:183-188 [Conf]
Bowen Alpern, Larry Carter, Ted Selker
Visualizing Computer Memory Architectures. [Citation Graph (0, 0)][DBLP]
IEEE Visualization, 1990, pp:107-113 [Conf]
Bowen Alpern, Joshua S. Auerbach, Vasanth Bala, Thomas Frauenhofer, Todd W. Mummert, Michael Pigott
PDS: a virtual execution environment for software deployment. [Citation Graph (0, 0)][DBLP]
VEE, 2005, pp:175-185 [Conf]
Bowen Alpern, Fred B. Schneider
Recognizing Safety and Liveness. [Citation Graph (0, 0)][DBLP]
Distributed Computing, 1987, v:2, n:3, pp:117-126 [Journal]
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. [Citation Graph (0, 0)][DBLP]
IBM Systems Journal, 1995, v:34, n:2, pp:263-272 [Journal]
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. [Citation Graph (0, 0)][DBLP]
IBM Systems Journal, 2000, v:39, n:1, pp:211-0 [Journal]
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. [Citation Graph (0, 0)][DBLP]
IBM Systems Journal, 2005, v:44, n:2, pp:399-418 [Journal]
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''. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1991, v:40, n:3, pp:141-142 [Journal]
Bowen Alpern, Alan J. Demers, Fred B. Schneider
Safety Without Stuttering. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1986, v:23, n:4, pp:177-180 [Journal]
Bowen Alpern, Fred B. Schneider
Key Exchange Using `Keyless Cryptography'. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1983, v:16, n:2, pp:79-81 [Journal]
Bowen Alpern, Fred B. Schneider
Defining Liveness. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1985, v:21, n:4, pp:181-185 [Journal]
Bowen Alpern, Fred B. Schneider
Verifying Temporal Properties without Temporal Logic. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 1989, v:11, n:1, pp:147-167 [Journal]
Opening black boxes: using semantic information to combat virtual machine image sprawl. [Citation Graph (, )][DBLP]

Search in 0.006secs, Finished in 0.009secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP