Alexander Aiken Home Page Coauthor index DBLP Vis pubzone.org

Alex Aiken

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

DBLP keys2009
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIsil Dillig, Thomas Dillig, Alex Aiken: Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. CAV 2009: 233-247
2008
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam J. Oliner, Alex Aiken, Jon Stearley: Alert Detection in System Logs. ICDM 2008: 959-964
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuhabe Bugrara, Alex Aiken: Verifying the Safety of User Pointer Dereferences. IEEE Symposium on Security and Privacy 2008: 325-338
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSorav Bansal, Alex Aiken: Binary Translation Using Peephole Superoptimizers. OSDI 2008: 177-192
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManman Ren, Ji Young Park, Mike Houston, Alex Aiken, William J. Dally: A tuning framework for software-managed memory hierarchies. PACT 2008: 280-291
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIsil Dillig, Thomas Dillig, Alex Aiken: Sound, complete and scalable path-sensitive analysis. PLDI 2008: 270-280
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike 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
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTachio Terauchi, Alex Aiken: Witnessing side effects. ACM Trans. Program. Lang. Syst. 30(3): (2008)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTachio Terauchi, Alex Aiken: A capability calculus for concurrency and determinism. ACM Trans. Program. Lang. Syst. 30(5): (2008)
2007
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Goldsmith, Alex Aiken, Daniel Shawcross Wilkerson: Measuring empirical computational complexity. ESEC/SIGSOFT FSE 2007: 395-404
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins: An overview of the saturn project. PASTE 2007: 43-48
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Kodumal, Alex Aiken: Regularly annotated set constraints. PLDI 2007: 331-341
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIsil Dillig, Thomas Dillig, Alex Aiken: Static error detection using semantic inconsistency inference. PLDI 2007: 435-445
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMayur Naik, Alex Aiken: Conditional must not aliasing for static race detection. POPL 2007: 327-338
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy 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
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYichen Xie, Alex Aiken: Saturn: A scalable framework for error detection using Boolean satisfiability. ACM Trans. Program. Lang. Syst. 29(3): (2007)
2006
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSorav Bansal, Alex Aiken: Automatic generation of peephole superoptimizers. ASPLOS 2006: 394-403
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTachio Terauchi, Alex Aiken: A Capability Calculus for Concurrency and Determinism. CONCUR 2006: 218-232
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken: Statistical debugging: simultaneous identification of multiple bugs. ICML 2006: 1105-1112
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTachio Terauchi, Alex Aiken: On Typability for Rank-2 Intersection Types with Polymorphic Recursion. LICS 2006: 111-122
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken: Scalable program analysis using Boolean satisfiability. MEMOCODE 2006: 89
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMayur Naik, Alex Aiken, John Whaley: Effective static race detection for Java. PLDI 2006: 308-319
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKayvon 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
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian Hackett, Alex Aiken: How is aliasing used in systems software? SIGSOFT FSE 2006: 69-80
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken: Flow-insensitive type qualifiers. ACM Trans. Program. Lang. Syst. 28(6): 1035-1087 (2006)
2005
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYichen Xie, Alexander Aiken: Saturn: A SAT-Based Tool for Bug Detection. CAV 2005: 139-143
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYichen Xie, Alexander Aiken: Context- and path-sensitive memory leak detection. ESEC/SIGSOFT FSE 2005: 115-125
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTachio Terauchi, Alexander Aiken: Witnessing side-effects. ICFP 2005: 105-115
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Goldsmith, Robert O'Callahan, Alexander Aiken: Relational queries over program traces. OOPSLA 2005: 385-402
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBen Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan: Scalable statistical bug isolation. PLDI 2005: 15-26
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYichen Xie, Alexander Aiken: Scalable error detection using boolean satisfiability. POPL 2005: 351-363
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Kodumal, Alexander Aiken: Banshee: A Scalable Constraint-Based Analysis Toolkit. SAS 2005: 218-234
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTachio Terauchi, Alexander Aiken: Secure Information Flow as a Safety Problem. SAS 2005: 352-367
2004
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Kodumal, Alexander Aiken: The set constraint/CFL reachability connection in practice. PLDI 2004: 207-218
2003
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlice X. Zheng, Michael I. Jordan, Ben Liblit, Alexander Aiken: Statistical Debugging of Sampled Programs. NIPS 2003
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi: Checking and inferring local non-aliasing. PLDI 2003: 129-140
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBen Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan: Bug isolation via remote program sampling. PLDI 2003: 141-154
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBen Liblit, Alexander Aiken, Katherine A. Yelick: Type Systems for Distributed Data Sharing. SAS 2003: 273-294
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaul Schleimer, Daniel Shawcross Wilkerson, Alexander Aiken: Winnowing: Local Algorithms for Document Fingerprinting. SIGMOD Conference 2003: 76-85
2002
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey S. Foster, Tachio Terauchi, Alexander Aiken: Flow-Sensitive Type Qualifiers. PLDI 2002: 1-12
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen: The first-order theory of subtyping constraints. POPL 2002: 203-216
2001
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhendong Su, Alexander Aiken: Entailment with Conditional Equality Constraints. ESOP 2001: 170-189
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Gay, Alexander Aiken: Language Support for Regions. PLDI 2001: 70-80
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllison 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken: A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. NDSS 2000
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBen Liblit, Alexander Aiken: Type Systems for Distributed Data Structures. POPL 2000: 199-213
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhendong Su, Manuel Fähndrich, Alexander Aiken: Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. POPL 2000: 81-95
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey S. Foster, Manuel Fähndrich, Alexander Aiken: Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. SAS 2000: 175-198
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting races in Relay Ladder Logic programs. STTT 3(1): 93-105 (2000)
1999
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey S. Foster, Manuel Fähndrich, Alexander Aiken: A Theory of Type Qualifiers. PLDI 1999: 192-203
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArvind 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
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Edward L. Wimmers, Jens Palsberg: Optimal Representations of Polymorphic Types with Subtyping. Higher-Order and Symbolic Computation 12(3): 237-282 (1999)
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken: Introduction to Set Constraint-Based Program Analysis. Sci. Comput. Program. 35(2): 79-111 (1999)
1998
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Gay, Alexander Aiken: Memory Management with Explicit Regions. PLDI 1998: 313-323
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken: Partial Online Cycle Elimination in Inclusion Constraint Graphs. PLDI 1998: 85-96
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, David Gay: Barrier Inference. POPL 1998: 342-354
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Olston, Allison Woodruff, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker: DataSplash. SIGMOD Conference 1998: 550-552
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting Races in Relay Ladder Logic Programs. TACAS 1998: 184-200
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander 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
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Olston, Michael Stonebraker, Alexander Aiken, Joseph M. Hellerstein: VIQING: Visual Interactive Querying. VL 1998: 162-169
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKatherine 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
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Fähndrich, Alexander Aiken: Program Analysis Using Mixed Term and Set Constraints. SAS 1997: 114-126
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Edward L. Wimmers, Jens Palsberg: Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). TACS 1997: 47-76
1996
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Jolly Chen, Michael Stonebraker, Allison Woodruff: Tioga-2: A Direct Manipulation Database Visualization Environment. ICDE 1996: 208-217
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken: Constraint-Based Program Analysis (Abstract). SAS 1996: 1
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken: Cool: A Portable Project for Teaching Compiler Construction. SIGPLAN Notices 31(7): 19-24 (1996)
1995
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Manuel Fähndrich: Dynamic Typing and Subtype Inference. FPCA 1995: 182-191
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Manuel Fähndrich, Raph Levien: Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. PLDI 1995: 174-185
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllison 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
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander 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)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander 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)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Alexandru Nicolau, Steven Novack: Resource-Constrained Software Pipelining. IEEE Trans. Parallel Distrib. Syst. 6(12): 1248-1270 (1995)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Dexter Kozen, Edward L. Wimmers: Decidability of Systems of Set Constraints with Negative Constraints Inf. Comput. 122(1): 30-44 (1995)
1994
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLorenz 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Edward L. Wimmers, T. K. Lakshman: Soft Typing with Conditional Types. POPL 1994: 163-173
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken: Set Constraints: Results, Applications, and Future Directions. PPCP 1994: 326-335
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, T. K. Lakshman: Directional Type Checking of Logic Programs SAS 1994: 43-60
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllison 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers: The Complexity of Set Constraints. CSL 1993: 1-17
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Edward L. Wimmers: Type Inclusion Constraints and Type Inference. FPCA 1993: 31-41
1992
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Edward L. Wimmers: Solving Systems of Set Constraints (Extended Abstract) LICS 1992: 329-340
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Jennifer Widom, Joseph M. Hellerstein: Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. SIGMOD Conference 1992: 59-68
1991
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Brian R. Murphy: Implementing Regular Tree Expressions. FPCA 1991: 427-447
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Brian R. Murphy: Static Type Inference in a Dynamically Typed Language. POPL 1991: 279-290
1990
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, John H. Williams, Edward L. Wimmers: Program Transformation in the Presence of Errors. POPL 1990: 210-217
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken: A Theory of Compaction-Based Parallelization. Theor. Comput. Sci. 73(2): 121-154 (1990)
1988
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Alexandru Nicolau: Perfect Pipelining: A New Loop Parallelization Technique. ESOP 1988: 221-235
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Alexandru Nicolau: Optimal Loop Parallelization. PLDI 1988: 308-317
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Alexandru Nicolau: A Development Environment for Horizontal Microcode. IEEE Trans. Software Eng. 14(5): 584-594 (1988)

Coauthor Index

1Sorav Bansal [74] [87]
2Eric A. Brewer [46]
3Suhabe Bugrara [80] [88]
4Jolly Chen [12] [21] [22] [27]
5Michael Chu [34] [47]
6Phillip Colella [30] [40]
7William J. Dally [68] [76] [84] [86]
8Isil Dillig [78] [80] [85] [90]
9Thomas Dillig [78] [80] [85] [90]
10Vuk Ercegovac [34] [47]
11Mattan Erez [68] [76]
12Manuel Fähndrich [23] [24] [29] [32] [33] [36] [41] [42] [43] [44]
13Kayvon Fatahalian [68] [76] [84]
14Jeffrey S. Foster [32] [36] [41] [43] [46] [51] [55] [66]
15David Gay [30] [35] [37] [40] [48]
16Simon Goldsmith [62] [81]
17Susan L. Graham [30] [40]
18Brian Hackett [67] [80]
19Pat Hanrahan [68] [76] [84]
20Peter Hawkins [80]
21Joseph M. Hellerstein [8] [20] [31]
22Paul N. Hilfinger [30] [40]
23Daniel Reiter Horn [68]
24Mike Houston [68] [76] [84] [86]
25Lorenz Huelsbergen [16]
26Robert Johnson [66]
27Michael I. Jordan [54] [56] [61] [72]
28Timothy J. Knight [68] [76] [84]
29John Kodumal [55] [57] [59] [66] [79]
30Dexter Kozen [11] [17]
31Arvind Krishnamurthy [30] [40]
32T. K. Lakshman [13] [15]
33James R. Larus [16]
34Larkhoon Leem [68]
35Raph Levien [23]
36Ben Liblit [30] [40] [45] [53] [54] [56] [61] [72]
37Mark Lin [21] [34] [47]
38Carleton Miyamoto [30] [40]
39Brian R. Murphy [6] [7]
40Mayur Naik [61] [69] [72] [77]
41Alexandru Nicolau (Alex Nicolau) [1] [2] [3] [18]
42Joachim Niehren [50]
43Steven Novack [18]
44Robert O'Callahan [62]
45Adam J. Oliner [89]
46Christopher Olston (Chris Olston) [31] [34] [47]
47Jens Palsberg [28] [39]
48Ji Young Park [68] [76] [84] [86]
49Caroline Paxson [12] [22]
50Geoff Pike [30] [40]
51Tim Priesnitz [50]
52Manman Ren [68] [76] [84] [86]
53Saul Schleimer [52]
54Luigi Semenzato [30] [40]
55Mybrid Spalding [21] [34] [47]
56Jon Stearley [89]
57Michael Stonebraker [12] [21] [22] [27] [31] [34] [47]
58Alan Su [22]
59Zhendong Su [32] [33] [36] [42] [44] [49] [50]
60Cimarron Taylor [12] [22]
61Tachio Terauchi [51] [55] [58] [63] [71] [73] [82] [83]
62Ralf Treinen [50]
63Moshe Y. Vardi [11]
64David Wagner [46]
65John Whaley [69]
66Jennifer Widom [8] [20]
67Daniel Shawcross Wilkerson [52] [81]
68John H. Williams [5] [19]
69Edward L. Wimmers [5] [9] [10] [11] [15] [17] [19] [28] [39]
70Peter Wisnovsky [12] [22]
71Allison Woodruff [12] [21] [22] [27] [34] [47]
72Yichen Xie [60] [64] [65] [75]
73Katherine A. Yelick [30] [40] [53]
74Alice X. Zheng [54] [56] [61] [72]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)