Bowen Alpern

2008
34	EE	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: 111-120
2005
33	EE	Bowen 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
32	EE	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 Systems Journal 44(2): 399-418 (2005)
2004
31	EE	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: 243-251
2002
30	EE	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: 51-64
2001
29	EE	Bowen 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
27	EE	Bowen 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
25	EE	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 Systems Journal 39(1): 211- (2000)
1999
24	EE	Bowen Alpern, Mark Charney, Jong-Deok Choi, Anthony Cocchi, Derek Lieber: Dynamic Linking on a Shared-Memory Multiprocessor. IEEE PACT 1999: 177-182
23	EE	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: 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
19	EE	Bowen 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
10	EE	Bowen 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

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