![]() | ![]() |
Alex Aiken
List of publications from the DBLP Bibliography Server - FAQ
2008 | ||
---|---|---|
89 | EE | Adam J. Oliner, Alex Aiken, Jon Stearley: Alert Detection in System Logs. ICDM 2008: 959-964 |
88 | EE | Suhabe Bugrara, Alex Aiken: Verifying the Safety of User Pointer Dereferences. IEEE Symposium on Security and Privacy 2008: 325-338 |
87 | EE | Sorav Bansal, Alex Aiken: Binary Translation Using Peephole Superoptimizers. OSDI 2008: 177-192 |
86 | EE | 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 | EE | Isil Dillig, Thomas Dillig, Alex Aiken: Sound, complete and scalable path-sensitive analysis. PLDI 2008: 270-280 |
84 | EE | 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 | EE | Tachio Terauchi, Alex Aiken: Witnessing side effects. ACM Trans. Program. Lang. Syst. 30(3): (2008) |
82 | EE | Tachio Terauchi, Alex Aiken: A capability calculus for concurrency and determinism. ACM Trans. Program. Lang. Syst. 30(5): (2008) |
2007 | ||
81 | EE | Simon Goldsmith, Alex Aiken, Daniel Shawcross Wilkerson: Measuring empirical computational complexity. ESEC/SIGSOFT FSE 2007: 395-404 |
80 | EE | Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins: An overview of the saturn project. PASTE 2007: 43-48 |
79 | EE | John Kodumal, Alex Aiken: Regularly annotated set constraints. PLDI 2007: 331-341 |
78 | EE | Isil Dillig, Thomas Dillig, Alex Aiken: Static error detection using semantic inconsistency inference. PLDI 2007: 435-445 |
77 | EE | Mayur Naik, Alex Aiken: Conditional must not aliasing for static race detection. POPL 2007: 327-338 |
76 | EE | 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 | EE | Yichen Xie, Alex Aiken: Saturn: A scalable framework for error detection using Boolean satisfiability. ACM Trans. Program. Lang. Syst. 29(3): (2007) |
2006 | ||
74 | EE | Sorav Bansal, Alex Aiken: Automatic generation of peephole superoptimizers. ASPLOS 2006: 394-403 |
73 | EE | Tachio Terauchi, Alex Aiken: A Capability Calculus for Concurrency and Determinism. CONCUR 2006: 218-232 |
72 | EE | Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken: Statistical debugging: simultaneous identification of multiple bugs. ICML 2006: 1105-1112 |
71 | EE | Tachio Terauchi, Alex Aiken: On Typability for Rank-2 Intersection Types with Polymorphic Recursion. LICS 2006: 111-122 |
70 | EE | Alexander Aiken: Scalable program analysis using Boolean satisfiability. MEMOCODE 2006: 89 |
69 | EE | Mayur Naik, Alex Aiken, John Whaley: Effective static race detection for Java. PLDI 2006: 308-319 |
68 | EE | 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 | EE | Brian Hackett, Alex Aiken: How is aliasing used in systems software? SIGSOFT FSE 2006: 69-80 |
66 | EE | 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 | EE | Yichen Xie, Alexander Aiken: Saturn: A SAT-Based Tool for Bug Detection. CAV 2005: 139-143 |
64 | EE | Yichen Xie, Alexander Aiken: Context- and path-sensitive memory leak detection. ESEC/SIGSOFT FSE 2005: 115-125 |
63 | EE | Tachio Terauchi, Alexander Aiken: Witnessing side-effects. ICFP 2005: 105-115 |
62 | EE | Simon Goldsmith, Robert O'Callahan, Alexander Aiken: Relational queries over program traces. OOPSLA 2005: 385-402 |
61 | EE | Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan: Scalable statistical bug isolation. PLDI 2005: 15-26 |
60 | EE | Yichen Xie, Alexander Aiken: Scalable error detection using boolean satisfiability. POPL 2005: 351-363 |
59 | EE | John Kodumal, Alexander Aiken: Banshee: A Scalable Constraint-Based Analysis Toolkit. SAS 2005: 218-234 |
58 | EE | Tachio Terauchi, Alexander Aiken: Secure Information Flow as a Safety Problem. SAS 2005: 352-367 |
2004 | ||
57 | EE | John Kodumal, Alexander Aiken: The set constraint/CFL reachability connection in practice. PLDI 2004: 207-218 |
2003 | ||
56 | EE | Alice X. Zheng, Michael I. Jordan, Ben Liblit, Alexander Aiken: Statistical Debugging of Sampled Programs. NIPS 2003 |
55 | EE | Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi: Checking and inferring local non-aliasing. PLDI 2003: 129-140 |
54 | EE | Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan: Bug isolation via remote program sampling. PLDI 2003: 141-154 |
53 | EE | Ben Liblit, Alexander Aiken, Katherine A. Yelick: Type Systems for Distributed Data Sharing. SAS 2003: 273-294 |
52 | EE | Saul Schleimer, Daniel Shawcross Wilkerson, Alexander Aiken: Winnowing: Local Algorithms for Document Fingerprinting. SIGMOD Conference 2003: 76-85 |
2002 | ||
51 | EE | Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken: Flow-Sensitive Type Qualifiers. PLDI 2002: 1-12 |
50 | EE | Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen: The first-order theory of subtyping constraints. POPL 2002: 203-216 |
2001 | ||
49 | EE | 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 | EE | David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken: A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. NDSS 2000 |
45 | EE | Ben Liblit, Alexander Aiken: Type Systems for Distributed Data Structures. POPL 2000: 199-213 |
44 | EE | 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 | EE | Alexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting races in Relay Ladder Logic programs. STTT 3(1): 93-105 (2000) |
1999 | ||
41 | EE | 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 | EE | Alexander Aiken, David Gay: Barrier Inference. POPL 1998: 342-354 |
34 | EE | Chris Olston, Allison Woodruff, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker: DataSplash. SIGMOD Conference 1998: 550-552 |
33 | EE | Alexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting Races in Relay Ladder Logic Programs. TACAS 1998: 184-200 |
32 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Alexander Aiken, Alexandru Nicolau: A Development Environment for Horizontal Microcode. IEEE Trans. Software Eng. 14(5): 584-594 (1988) |