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

Alexander Aiken Vis

Alex Aiken

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

*2009
90EEIsil Dillig, Thomas Dillig, Alex Aiken: Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. CAV 2009: 233-247
2008
89EEAdam J. Oliner, Alex Aiken, Jon Stearley: Alert Detection in System Logs. ICDM 2008: 959-964
88EESuhabe Bugrara, Alex Aiken: Verifying the Safety of User Pointer Dereferences. IEEE Symposium on Security and Privacy 2008: 325-338
87EESorav Bansal, Alex Aiken: Binary Translation Using Peephole Superoptimizers. OSDI 2008: 177-192
86EEManman Ren, Ji Young Park, Mike Houston, Alex Aiken, William J. Dally: A tuning framework for software-managed memory hierarchies. PACT 2008: 280-291
85EEIsil Dillig, Thomas Dillig, Alex Aiken: Sound, complete and scalable path-sensitive analysis. PLDI 2008: 270-280
84EEMike 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
83EETachio Terauchi, Alex Aiken: Witnessing side effects. ACM Trans. Program. Lang. Syst. 30(3): (2008)
82EETachio Terauchi, Alex Aiken: A capability calculus for concurrency and determinism. ACM Trans. Program. Lang. Syst. 30(5): (2008)
2007
81EESimon Goldsmith, Alex Aiken, Daniel Shawcross Wilkerson: Measuring empirical computational complexity. ESEC/SIGSOFT FSE 2007: 395-404
80EEAlex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins: An overview of the saturn project. PASTE 2007: 43-48
79EEJohn Kodumal, Alex Aiken: Regularly annotated set constraints. PLDI 2007: 331-341
78EEIsil Dillig, Thomas Dillig, Alex Aiken: Static error detection using semantic inconsistency inference. PLDI 2007: 435-445
77EEMayur Naik, Alex Aiken: Conditional must not aliasing for static race detection. POPL 2007: 327-338
76EETimothy 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
75EEYichen Xie, Alex Aiken: Saturn: A scalable framework for error detection using Boolean satisfiability. ACM Trans. Program. Lang. Syst. 29(3): (2007)
2006
74EESorav Bansal, Alex Aiken: Automatic generation of peephole superoptimizers. ASPLOS 2006: 394-403
73EETachio Terauchi, Alex Aiken: A Capability Calculus for Concurrency and Determinism. CONCUR 2006: 218-232
72EEAlice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken: Statistical debugging: simultaneous identification of multiple bugs. ICML 2006: 1105-1112
71EETachio Terauchi, Alex Aiken: On Typability for Rank-2 Intersection Types with Polymorphic Recursion. LICS 2006: 111-122
70EEAlexander Aiken: Scalable program analysis using Boolean satisfiability. MEMOCODE 2006: 89
69EEMayur Naik, Alex Aiken, John Whaley: Effective static race detection for Java. PLDI 2006: 308-319
68EEKayvon 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
67EEBrian Hackett, Alex Aiken: How is aliasing used in systems software? SIGSOFT FSE 2006: 69-80
66EEJeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken: Flow-insensitive type qualifiers. ACM Trans. Program. Lang. Syst. 28(6): 1035-1087 (2006)
2005
65EEYichen Xie, Alexander Aiken: Saturn: A SAT-Based Tool for Bug Detection. CAV 2005: 139-143
64EEYichen Xie, Alexander Aiken: Context- and path-sensitive memory leak detection. ESEC/SIGSOFT FSE 2005: 115-125
63EETachio Terauchi, Alexander Aiken: Witnessing side-effects. ICFP 2005: 105-115
62EESimon Goldsmith, Robert O'Callahan, Alexander Aiken: Relational queries over program traces. OOPSLA 2005: 385-402
61EEBen Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan: Scalable statistical bug isolation. PLDI 2005: 15-26
60EEYichen Xie, Alexander Aiken: Scalable error detection using boolean satisfiability. POPL 2005: 351-363
59EEJohn Kodumal, Alexander Aiken: Banshee: A Scalable Constraint-Based Analysis Toolkit. SAS 2005: 218-234
58EETachio Terauchi, Alexander Aiken: Secure Information Flow as a Safety Problem. SAS 2005: 352-367
2004
57EEJohn Kodumal, Alexander Aiken: The set constraint/CFL reachability connection in practice. PLDI 2004: 207-218
2003
56EEAlice X. Zheng, Michael I. Jordan, Ben Liblit, Alexander Aiken: Statistical Debugging of Sampled Programs. NIPS 2003
55EEAlexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi: Checking and inferring local non-aliasing. PLDI 2003: 129-140
54EEBen Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan: Bug isolation via remote program sampling. PLDI 2003: 141-154
53EEBen Liblit, Alexander Aiken, Katherine A. Yelick: Type Systems for Distributed Data Sharing. SAS 2003: 273-294
52EESaul Schleimer, Daniel Shawcross Wilkerson, Alexander Aiken: Winnowing: Local Algorithms for Document Fingerprinting. SIGMOD Conference 2003: 76-85
2002
51EEJeffrey S. Foster, Tachio Terauchi, Alexander Aiken: Flow-Sensitive Type Qualifiers. PLDI 2002: 1-12
50EEZhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen: The first-order theory of subtyping constraints. POPL 2002: 203-216
2001
49EEZhendong 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
46EEDavid Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken: A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. NDSS 2000
45EEBen Liblit, Alexander Aiken: Type Systems for Distributed Data Structures. POPL 2000: 199-213
44EEZhendong 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
42EEAlexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting races in Relay Ladder Logic programs. STTT 3(1): 93-105 (2000)
1999
41EEJeffrey 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
35EEAlexander Aiken, David Gay: Barrier Inference. POPL 1998: 342-354
34EEChris Olston, Allison Woodruff, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker: DataSplash. SIGMOD Conference 1998: 550-552
33EEAlexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting Races in Relay Ladder Logic Programs. TACAS 1998: 184-200
32EEAlexander 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
27EEAlexander 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
20EEAlexander 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)
19EEAlexander 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)
18EEAlexander 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
16EELorenz 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
11EEAlexander 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
8EEAlexander 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
3EEAlexander 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
1EEAlexander 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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)