Alexander Aiken

Alex Aiken

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

Coauthor Index

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

Colors in the list of coauthors