dblp.uni-trier.dewww.uni-trier.de

Bowen Alpern Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Martín Abadi [14]
2Ramesh C. Agarwal [18]
3Alok Aggarwal [6]
4Glenn Ammons [34]
5Krzysztof R. Apt [14]
6C. Richard Attanasio [23] [25]
7Joshua S. Auerbach [33]
8Steve Augart [32]
9Vasanth Bala [33] [34]
10John J. Barton [23] [25]
11Stephen M. Blackburn (Stephen Blackburn) [32]
12Michael G. Burke [25]
13Maria A. Butrico [30] [32]
14Alan Carle [8]
15Larry Carter [12] [13] [15] [16] [17] [18] [19] [20] [21] [22]
16Ashok K. Chandra [6]
17Mark Charney [24]
18Perry Cheng [25] [32]
19Jong-Deok Choi [24] [25] [28]
20Anthony Cocchi [23] [24] [25] [26] [27] [29] [30] [32]
21Alan J. Demers [4]
22Julian Dolby [30] [32]
23Ephraim Feig [13] [17]
24Stephen J. Fink (Stephen Fink) [25] [26] [30] [32]
25Nissim Francez [14]
26Thomas Frauenhofer [33]
27Kang Su Gatlin [19]
28M. Grayson [16]
29David Grove [25] [26] [27] [29] [30] [32]
30Fred G. Gustavson [18]
31Michael Hind [25] [32]
32Roger Hoover [11]
33Susan Flynn Hummel [23] [25]
34Robert D. Johnson [31]
35Shmuel Katz [14]
36Aaron Kershenbaum [31]
37David J. Klepacki [18]
38Larry Koved [31]
39Leslie Lamport [14]
40Rick Lawrence [18]
41Derek Lieber [23] [24] [25] [26] [29]
42Vassily Litvinov [25]
43Kathryn S. McKinley [32]
44Mark F. Mergen [23] [25] [32]
45J. Eliot B. Moss [32]
46Todd W. Mummert [33] [34]
47Ton Anh Ngo (Ton Ngo) [23] [25] [28] [30] [32]
48C. Pelkie [16]
49Michael Pigott [33]
50Darrell Reimer [31] [34]
51Thomas W. Reps [2]
52Barry K. Rosen [8] [11]
53James R. Russell [25]
54Vivek Sarkar [25] [32]
55Fred B. Schneider [1] [3] [4] [5] [7] [10] [14]
56Edith Schonberg [31]
57Ted Selker [12] [17]
58Mauricio J. Serrano [25]
59Janice C. Shepherd [23] [25]
60Stephen E. Smith [23] [25]
61Marc Snir [6]
62Vugranam C. Sreedhar [25]
63Manu Sridharan [28]
64Kavitha Srinivas [31]
65Harini Srinivasan [25] [31]
66Peter F. Sweeney [8] [11]
67Arun Thomas [34]
68Martin Trapp [32]
69John M. Vlissides [28]
70Mark N. Wegman [9]
71John Whaley [25]
72F. Kenneth Zadeck [8] [9] [11]
73Mohammad Zubair [18]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)