Alexander Aiken

Alex Aiken

	2012
115		Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Reasoning about Lock Placements. ESOP 2012: 336-356
	2011
114		Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken: Simplifying Loop Invariant Generation Using Splitter Predicates. CAV 2011: 703-719
113		Adam J. Oliner, Alex Aiken: Online detection of multi-component interactions in production systems. DSN 2011: 49-60
112		Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav: Automatic fine-grain locking using shape properties. OOPSLA 2011: 225-242
111		Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav: Testing atomicity of composed concurrent operations. OOPSLA 2011: 51-64
110		Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Data representation synthesis. PLDI 2011: 38-49
109		Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv: Precise and compact modular procedure summaries for heap manipulating programs. PLDI 2011: 567-577
108		Isil Dillig, Thomas Dillig, Alex Aiken: Precise reasoning for programs using containers. POPL 2011: 187-200
107		Michael Bauer, John Clark, Eric Schkufza, Alex Aiken: Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia. PPOPP 2011: 13-24
106		Zach DeVito, Niels Joubert, Francisco Palacios, Stephen Oakley, Montserrat Medina, Mike Barrientos, Erich Elsen, Frank Ham, Alex Aiken, Karthik Duraisamy, Eric Darve, Juan Alonso, Pat Hanrahan: Liszt: a domain specific language for building portable mesh-based PDE solvers. SC 2011: 9
105		Brian Hackett, Alex Aiken: Inferring data polymorphism in systems code. SIGSOFT FSE 2011: 332-342
104		Isil Dillig, Thomas Dillig, Alex Aiken: Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Formal Methods in System Design 39(3): 246-260 (2011)
	2010
103		Benjamin G. Zorn, Alexander Aiken: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010 ACM 2010
102		Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Data Structure Fusion. APLAS 2010: 204-221
101		Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken: Using correlated surprise to infer shared influence. DSN 2010: 191-200
100		Isil Dillig, Thomas Dillig, Alex Aiken: Fluid Updates: Beyond Strong vs. Weak Updates. ESOP 2010: 246-266
99		Adam J. Oliner, Alex Aiken: A query language for understanding component interactions in production systems. ICS 2010: 201-210
98		Isil Dillig, Thomas Dillig, Alex Aiken: Symbolic heap abstraction with demand-driven axiomatization of memory invariants. OOPSLA 2010: 397-410
97		Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken: Community Epidemic Detection Using Time-Correlated Anomalies. RAID 2010: 360-381
96		Isil Dillig, Thomas Dillig, Alex Aiken: Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. SAS 2010: 236-252
95		Mehran Sahami, Alex Aiken, Julie Zelenski: Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field. SIGCSE 2010: 47-51
94		Isil Dillig, Thomas Dillig, Alex Aiken: Reasoning about the unknown in static analysis. Commun. ACM 53(8): 115-123 (2010)
	2009
93		Isil Dillig, Thomas Dillig, Alex Aiken: Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. CAV 2009: 233-247
	2008
92		Adam J. Oliner, Alex Aiken, Jon Stearley: Alert Detection in System Logs. ICDM 2008: 959-964
91		Suhabe Bugrara, Alex Aiken: Verifying the Safety of User Pointer Dereferences. IEEE Symposium on Security and Privacy 2008: 325-338
90		Sorav Bansal, Alex Aiken: Binary Translation Using Peephole Superoptimizers. OSDI 2008: 177-192
89		Manman Ren, Ji Young Park, Mike Houston, Alex Aiken, William J. Dally: A tuning framework for software-managed memory hierarchies. PACT 2008: 280-291
88		Isil Dillig, Thomas Dillig, Alex Aiken: Sound, complete and scalable path-sensitive analysis. PLDI 2008: 270-280
87		Mike Houston, Ji Young Park, Manman Ren, Timothy J. Knight, Kayvon Fatahalian, Alex Aiken, William J. Dally, Pat Hanrahan: A portable runtime interface for multi-level memory hierarchies. PPOPP 2008: 143-152
86		Tachio Terauchi, Alex Aiken: Witnessing side effects. ACM Trans. Program. Lang. Syst. 30(3): (2008)
85		Tachio Terauchi, Alex Aiken: A capability calculus for concurrency and determinism. ACM Trans. Program. Lang. Syst. 30(5): (2008)
	2007
84		Simon Goldsmith, Alex Aiken, Daniel Shawcross Wilkerson: Measuring empirical computational complexity. ESEC/SIGSOFT FSE 2007: 395-404
83		Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins: An overview of the saturn project. PASTE 2007: 43-48
82		John Kodumal, Alex Aiken: Regularly annotated set constraints. PLDI 2007: 331-341
81		Isil Dillig, Thomas Dillig, Alex Aiken: Static error detection using semantic inconsistency inference. PLDI 2007: 435-445
80		Mayur Naik, Alex Aiken: Conditional must not aliasing for static race detection. POPL 2007: 327-338
79		Timothy J. Knight, Ji Young Park, Manman Ren, Mike Houston, Mattan Erez, Kayvon Fatahalian, Alex Aiken, William J. Dally, Pat Hanrahan: Compilation for explicitly managed memory hierarchies. PPOPP 2007: 226-236
78		Yichen Xie, Alex Aiken: Saturn: A scalable framework for error detection using Boolean satisfiability. ACM Trans. Program. Lang. Syst. 29(3): (2007)
	2006
77		Sorav Bansal, Alex Aiken: Automatic generation of peephole superoptimizers. ASPLOS 2006: 394-403
76		Tachio Terauchi, Alex Aiken: A Capability Calculus for Concurrency and Determinism. CONCUR 2006: 218-232
75		Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken: Statistical debugging: simultaneous identification of multiple bugs. ICML 2006: 1105-1112
74		Tachio Terauchi, Alex Aiken: On Typability for Rank-2 Intersection Types with Polymorphic Recursion. LICS 2006: 111-122
73		Alexander Aiken: Scalable program analysis using Boolean satisfiability. MEMOCODE 2006: 89
72		Mayur Naik, Alex Aiken, John Whaley: Effective static race detection for Java. PLDI 2006: 308-319
71		Kayvon Fatahalian, Daniel Reiter Horn, Timothy J. Knight, Larkhoon Leem, Mike Houston, Ji Young Park, Mattan Erez, Manman Ren, Alex Aiken, William J. Dally, Pat Hanrahan: Memory - Sequoia: programming the memory hierarchy. SC 2006: 83
70		Brian Hackett, Alex Aiken: How is aliasing used in systems software? SIGSOFT FSE 2006: 69-80
69		Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken: Flow-insensitive type qualifiers. ACM Trans. Program. Lang. Syst. 28(6): 1035-1087 (2006)
	2005
68		Yichen Xie, Alexander Aiken: Saturn: A SAT-Based Tool for Bug Detection. CAV 2005: 139-143
67		Yichen Xie, Alexander Aiken: Context- and path-sensitive memory leak detection. ESEC/SIGSOFT FSE 2005: 115-125
66		Tachio Terauchi, Alexander Aiken: Witnessing side-effects. ICFP 2005: 105-115
65		Simon Goldsmith, Robert O'Callahan, Alexander Aiken: Relational queries over program traces. OOPSLA 2005: 385-402
64		Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan: Scalable statistical bug isolation. PLDI 2005: 15-26
63		Yichen Xie, Alexander Aiken: Scalable error detection using boolean satisfiability. POPL 2005: 351-363
62		John Kodumal, Alexander Aiken: Banshee: A Scalable Constraint-Based Analysis Toolkit. SAS 2005: 218-234
61		Tachio Terauchi, Alexander Aiken: Secure Information Flow as a Safety Problem. SAS 2005: 352-367
	2004
60		John Kodumal, Alexander Aiken: The set constraint/CFL reachability connection in practice. PLDI 2004: 207-218
	2003
59		Alex Aiken, Greg Morrisett: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003 ACM 2003
58		Alice X. Zheng, Michael I. Jordan, Ben Liblit, Alexander Aiken: Statistical Debugging of Sampled Programs. NIPS 2003
57		Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi: Checking and inferring local non-aliasing. PLDI 2003: 129-140
56		Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan: Bug isolation via remote program sampling. PLDI 2003: 141-154
55		Ben Liblit, Alexander Aiken, Katherine A. Yelick: Type Systems for Distributed Data Sharing. SAS 2003: 273-294
54		Saul Schleimer, Daniel Shawcross Wilkerson, Alexander Aiken: Winnowing: Local Algorithms for Document Fingerprinting. SIGMOD Conference 2003: 76-85
	2002
53		Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken: Flow-Sensitive Type Qualifiers. PLDI 2002: 1-12
52		Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen: The first-order theory of subtyping constraints. POPL 2002: 203-216
	2001
51		Zhendong Su, Alexander Aiken: Entailment with Conditional Equality Constraints. ESOP 2001: 170-189
50		David Gay, Alexander Aiken: Language Support for Regions. PLDI 2001: 70-80
49		Allison Woodruff, Chris Olston, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker: DataSplash: A Direct Manipulation Environment for Programming Semantic Zoom Visualizations of Tabular Data. J. Vis. Lang. Comput. 12(5): 551-571 (2001)
	2000
48		David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken: A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. NDSS 2000
47		Ben Liblit, Alexander Aiken: Type Systems for Distributed Data Structures. POPL 2000: 199-213
46		Zhendong Su, Manuel Fähndrich, Alexander Aiken: Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. POPL 2000: 81-95
45		Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken: Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. SAS 2000: 175-198
44		Alexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting races in Relay Ladder Logic programs. STTT 3(1): 93-105 (2000)
	1999
43		Andrew W. Appel, Alex Aiken: POPL '99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22, 1999 ACM 1999
42		Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken: A Theory of Type Qualifiers. PLDI 1999: 192-203
41		Arvind Krishnamurthy, Alexander Aiken, Phillip Colella, David Gay, Susan L. Graham, Paul N. Hilfinger, Ben Liblit, Carleton Miyamoto, Geoff Pike, Luigi Semenzato, Katherine A. Yelick: Titanium: A High Performance Java Dialect. PPSC 1999
40		Alexander Aiken, Edward L. Wimmers, Jens Palsberg: Optimal Representations of Polymorphic Types with Subtyping. Higher-Order and Symbolic Computation 12(3): 237-282 (1999)
39		Alexander Aiken: Introduction to Set Constraint-Based Program Analysis. Sci. Comput. Program. 35(2): 79-111 (1999)
	1998
38		David Gay, Alexander Aiken: Memory Management with Explicit Regions. PLDI 1998: 313-323
37		Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken: Partial Online Cycle Elimination in Inclusion Constraint Graphs. PLDI 1998: 85-96
36		Alexander Aiken, David Gay: Barrier Inference. POPL 1998: 342-354
35		Chris Olston, Allison Woodruff, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker: DataSplash. SIGMOD Conference 1998: 550-552
34		Alexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting Races in Relay Ladder Logic Programs. TACAS 1998: 184-200
33		Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su: A Toolkit for Constructing Type- and Constraint-Based Program Analyses. Types in Compilation 1998: 78-96
32		Chris Olston, Michael Stonebraker, Alexander Aiken, Joseph M. Hellerstein: VIQING: Visual Interactive Querying. VL 1998: 162-169
31		Katherine A. Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto, Ben Liblit, Arvind Krishnamurthy, Paul N. Hilfinger, Susan L. Graham, David Gay, Phillip Colella, Alexander Aiken: Titanium: A High-performance Java Dialect. Concurrency - Practice and Experience 10(11-13): 825-836 (1998)
	1997
30		Manuel Fähndrich, Alexander Aiken: Program Analysis Using Mixed Term and Set Constraints. SAS 1997: 114-126
29		Alexander Aiken, Edward L. Wimmers, Jens Palsberg: Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). TACS 1997: 47-76
	1996
28		Alexander Aiken, Jolly Chen, Michael Stonebraker, Allison Woodruff: Tioga-2: A Direct Manipulation Database Visualization Environment. ICDE 1996: 208-217
27		Alexander Aiken: Constraint-Based Program Analysis (Abstract). SAS 1996: 1
26		Alexander Aiken: Cool: A Portable Project for Teaching Compiler Construction. SIGPLAN Notices 31(7): 19-24 (1996)
	1995
25		Alexander Aiken, Manuel Fähndrich: Dynamic Typing and Subtype Inference. FPCA 1995: 182-191
24		Alexander Aiken, Manuel Fähndrich, Raph Levien: Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. PLDI 1995: 174-185
23		Allison Woodruff, Alan Su, Michael Stonebraker, Caroline Paxson, Jolly Chen, Alexander Aiken, Peter Wisnovsky, Cimarron Taylor: Navigation and Coordination Primitives for Multidimensional Visual Browsers. VDB 1995: 360-371
22		Alexander Aiken, Jolly Chen, Mark Lin, Mybrid Spalding, Michael Stonebraker, Allison Woodruff: The Tioga-2 Database Visualization Environment. Workshop on Database Issues for Data Visualization 1995: 181-207
21		Alexander Aiken, Joseph M. Hellerstein, Jennifer Widom: Static Analysis Techniques for Predicting the Behavior of Active Database Rules. ACM Trans. Database Syst. 20(1): 3-41 (1995)
20		Alexander Aiken, John H. Williams, Edward L. Wimmers: Safe: A Semantic Technique for Transforming Programs in the Presence of Errors. ACM Trans. Program. Lang. Syst. 17(1): 63-84 (1995)
19		Alexander Aiken, Alexandru Nicolau, Steven Novack: Resource-Constrained Software Pipelining. IEEE Trans. Parallel Distrib. Syst. 6(12): 1248-1270 (1995)
18		Alexander Aiken, Dexter Kozen, Edward L. Wimmers: Decidability of Systems of Set Constraints with Negative Constraints Inf. Comput. 122(1): 30-44 (1995)
	1994
17		Lorenz Huelsbergen, James R. Larus, Alexander Aiken: Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation. LISP and Functional Programming 1994: 79-90
16		Alexander Aiken, Edward L. Wimmers, T. K. Lakshman: Soft Typing with Conditional Types. POPL 1994: 163-173
15		Alexander Aiken: Set Constraints: Results, Applications, and Future Directions. PPCP 1994: 326-335
14		Alexander Aiken, T. K. Lakshman: Directional Type Checking of Logic Programs SAS 1994: 43-60
13		Allison Woodruff, Peter Wisnovsky, Cimarron Taylor, Michael Stonebraker, Caroline Paxson, Jolly Chen, Alexander Aiken: Zooming and Tunneling in Tioga: Supporting Navigation in Multimedia Space. VL 1994: 191-193
	1993
12		Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers: The Complexity of Set Constraints. CSL 1993: 1-17
11		Alexander Aiken, Edward L. Wimmers: Type Inclusion Constraints and Type Inference. FPCA 1993: 31-41
	1992
10		Alexander Aiken, Edward L. Wimmers: Solving Systems of Set Constraints (Extended Abstract) LICS 1992: 329-340
9		Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein: Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. SIGMOD Conference 1992: 59-68
	1991
8		Alexander Aiken, Brian R. Murphy: Implementing Regular Tree Expressions. FPCA 1991: 427-447
7		Alexander Aiken, Brian R. Murphy: Static Type Inference in a Dynamically Typed Language. POPL 1991: 279-290
	1990
6		Alexander Aiken, John H. Williams, Edward L. Wimmers: Program Transformation in the Presence of Errors. POPL 1990: 210-217
5		Alexander Aiken: A Theory of Compaction-Based Parallelization. Theor. Comput. Sci. 73(2): 121-154 (1990)
	1988
4		Alexander Aiken, Alexandru Nicolau: Perfect Pipelining: A New Loop Parallelization Technique. ESOP 1988: 221-235
3		Alexander Aiken, Alexandru Nicolau: Optimal Loop Parallelization. PLDI 1988: 308-317
2		Alexander Aiken, Alexandru Nicolau: A Development Environment for Horizontal Microcode. IEEE Trans. Software Eng. 14(5): 584-594 (1988)
1		Alexandru Nicolau, Keshav Pingali, Alexander Aiken: Fine-grain compilation for pipelined machines. The Journal of Supercomputing 2(3): 279-295 (1988)

Coauthor Index

1	Juan Alonso	[106]
2	Andrew W. Appel	[43]
3	Sorav Bansal	[77] [90]
4	Mike Barrientos	[106]
5	Michael Bauer	[107]
6	Eric A. Brewer	[48]
7	Nathan Grasso Bronson	[111] [112]
8	Suhabe Bugrara	[83] [91]
9	Jolly Chen	[13] [22] [23] [28]
10	Michael Chu	[35] [49]
11	John Clark	[107]
12	Phillip Colella	[31] [41]
13	William J. Dally	[71] [79] [87] [89]
14	Eric Darve	[106]
15	Zach DeVito	[106]
16	Isil Dillig	[81] [83] [88] [93] [94] [96] [98] [100] [104] [108] [109] [114]
17	Thomas Dillig	[81] [83] [88] [93] [94] [96] [98] [100] [104] [108] [109] [114]
18	Karthik Duraisamy	[106]
19	Erich Elsen	[106]
20	Vuk Ercegovac	[35] [49]
21	Mattan Erez	[71] [79]
22	Manuel Fähndrich	[24] [25] [30] [33] [34] [37] [42] [44] [45] [46]
23	Kayvon Fatahalian	[71] [79] [87]
24	Kathleen Fisher	[102] [110] [115]
25	Jeffrey S. Foster	[33] [37] [42] [45] [48] [53] [57] [69]
26	David Gay	[31] [36] [38] [41] [50]
27	Guy Golan-Gueta (Guy Gueta)	[112]
28	Simon Goldsmith (Simon Fredrick Vicente Goldsmith)	[65] [84]
29	Susan L. Graham	[31] [41]
30	Brian Hackett	[70] [83] [105]
31	Frank Ham	[106]
32	Pat Hanrahan	[71] [79] [87] [106]
33	Peter Hawkins	[83] [102] [110] [115]
34	Joseph M. Hellerstein	[9] [21] [32]
35	Paul N. Hilfinger	[31] [41]
36	Daniel Reiter Horn	[71]
37	Mike Houston	[71] [79] [87] [89]
38	Lorenz Huelsbergen	[17]
39	Robert Johnson	[69]
40	Michael I. Jordan	[56] [58] [64] [75]
41	Niels Joubert	[106]
42	Timothy J. Knight	[71] [79] [87]
43	John Kodumal	[57] [60] [62] [69] [82]
44	Dexter Kozen	[12] [18]
45	Arvind Krishnamurthy	[31] [41]
46	Ashutosh V. Kulkarni	[97] [101]
47	T. K. Lakshman	[14] [16]
48	James R. Larus	[17]
49	Larkhoon Leem	[71]
50	Raph Levien	[24]
51	Ben Liblit	[31] [41] [47] [55] [56] [58] [64] [75]
52	Mark Lin	[22] [35] [49]
53	Montserrat Medina	[106]
54	Carleton Miyamoto	[31] [41]
55	J. Gregory Morrisett (Greg Morrisett)	[59]
56	Brian R. Murphy	[7] [8]
57	Mayur Naik	[64] [72] [75] [80]
58	Alexandru Nicolau (Alex Nicolau)	[1] [2] [3] [4] [19]
59	Joachim Niehren	[52]
60	Steven Novack	[19]
61	Robert O'Callahan	[65]
62	Stephen Oakley	[106]
63	Adam J. Oliner	[92] [97] [99] [101] [113]
64	Christopher Olston (Chris Olston)	[32] [35] [49]
65	Francisco Palacios Ortega (Francisco Palacios)	[106]
66	Jens Palsberg	[29] [40]
67	Ji Young Park	[71] [79] [87] [89]
68	Caroline Paxson	[13] [23]
69	Geoff Pike	[31] [41]
70	Keshav Pingali	[1]
71	Tim Priesnitz	[52]
72	G. Ramalingam (Ganesan Ramalingam)	[112]
73	Manman Ren	[71] [79] [87] [89]
74	Martin C. Rinard	[102] [110] [115]
75	Shmuel Sagiv (Mooly Sagiv)	[102] [109] [110] [111] [112] [115]
76	Mehran Sahami	[95]
77	Eric Schkufza	[107]
78	Saul Schleimer	[54]
79	Luigi Semenzato	[31] [41]
80	Ohad Shacham	[111]
81	Rahul Sharma	[114]
82	Mybrid Spalding	[22] [35] [49]
83	Jon Stearley	[92]
84	Michael Stonebraker	[13] [22] [23] [28] [32] [35] [49]
85	Alan Su	[23]
86	Zhendong Su	[33] [34] [37] [44] [46] [51] [52]
87	Cimarron Taylor	[13] [23]
88	Tachio Terauchi	[53] [57] [61] [66] [74] [76] [85] [86]
89	Ralf Treinen	[52]
90	Moshe Y. Vardi	[12]
91	Martin T. Vechev	[111]
92	David Wagner	[48]
93	John Whaley	[72]
94	Jennifer Widom	[9] [21]
95	Daniel Shawcross Wilkerson	[54] [84]
96	John H. Williams	[6] [20]
97	Edward L. Wimmers	[6] [10] [11] [12] [16] [18] [20] [29] [40]
98	Peter Wisnovsky	[13] [23]
99	Allison Woodruff	[13] [22] [23] [28] [35] [49]
100	Yichen Xie	[63] [67] [68] [78]
101	Eran Yahav	[111] [112]
102	Katherine A. Yelick	[31] [41] [55]
103	Julie Zelenski	[95]
104	Alice X. Zheng	[56] [58] [64] [75]
105	Benjamin G. Zorn	[103]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page