Alexander Aiken

Eric Schkufza, Rahul Sharma, Alex Aiken: Stochastic superoptimization. ASPLOS 2013: 305-316

Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori: A Data Driven Approach for Algebraic Loop Invariants. ESOP 2013: 574-592

Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher: An introduction to data representation synthesis. Commun. ACM 55(12): 91-99 (2012)

Rahul Sharma, Aditya V. Nori, Alex Aiken: Interpolants as Classifiers. CAV 2012: 71-87

Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken: Minimum Satisfying Assignments for SMT. CAV 2012: 394-409

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Reasoning about Lock Placements. ESOP 2012: 336-356

Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv: Understanding the behavior of database operations under program control. OOPSLA 2012: 983-996

Isil Dillig, Thomas Dillig, Alex Aiken: Automated error diagnosis using abductive inference. PLDI 2012: 181-192

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Concurrent data representation synthesis. PLDI 2012: 417-428

Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken: Legion: expressing locality and independence with logical regions. SC 2012: 66

Eric Schkufza, Rahul Sharma, Alex Aiken: Stochastic Superoptimization. CoRR abs/1211.0557 (2012)

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)

Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken: Simplifying Loop Invariant Generation Using Splitter Predicates. CAV 2011: 703-719

Adam J. Oliner, Alex Aiken: Online detection of multi-component interactions in production systems. DSN 2011: 49-60

Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav: Testing atomicity of composed concurrent operations. OOPSLA 2011: 51-64

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

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Data representation synthesis. PLDI 2011: 38-49

Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv: Precise and compact modular procedure summaries for heap manipulating programs. PLDI 2011: 567-577

Isil Dillig, Thomas Dillig, Alex Aiken: Precise reasoning for programs using containers. POPL 2011: 187-200

Michael Bauer, John Clark, Eric Schkufza, Alex Aiken: Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia. PPOPP 2011: 13-24

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

Brian Hackett, Alex Aiken: Inferring data polymorphism in systems code. SIGSOFT FSE 2011: 332-342

Isil Dillig, Thomas Dillig, Alex Aiken: Reasoning about the unknown in static analysis. Commun. ACM 53(8): 115-123 (2010)

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Data Structure Fusion. APLAS 2010: 204-221

Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken: Using correlated surprise to infer shared influence. DSN 2010: 191-200

Isil Dillig, Thomas Dillig, Alex Aiken: Fluid Updates: Beyond Strong vs. Weak Updates. ESOP 2010: 246-266

Adam J. Oliner, Alex Aiken: A query language for understanding component interactions in production systems. ICS 2010: 201-210

Isil Dillig, Thomas Dillig, Alex Aiken: Symbolic heap abstraction with demand-driven axiomatization of memory invariants. OOPSLA 2010: 397-410

Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken: Community Epidemic Detection Using Time-Correlated Anomalies. RAID 2010: 360-381

Isil Dillig, Thomas Dillig, Alex Aiken: Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. SAS 2010: 236-252

Mehran Sahami, Alex Aiken, Julie Zelenski: Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field. SIGCSE 2010: 47-51

Benjamin G. Zorn, Alexander Aiken (Eds.): Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010. ACM 2010, isbn 978-1-4503-0019-3

Isil Dillig, Thomas Dillig, Alex Aiken: Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. CAV 2009: 233-247

Tachio Terauchi, Alex Aiken: Witnessing side effects. ACM Trans. Program. Lang. Syst. 30(3) (2008)

Tachio Terauchi, Alex Aiken: A capability calculus for concurrency and determinism. ACM Trans. Program. Lang. Syst. 30(5) (2008)

Manman Ren, Ji Young Park, Mike Houston, Alex Aiken, William J. Dally: A tuning framework for software-managed memory hierarchies. PACT 2008: 280-291

Adam J. Oliner, Alex Aiken, Jon Stearley: Alert Detection in System Logs. ICDM 2008: 959-964

Sorav Bansal, Alex Aiken: Binary Translation Using Peephole Superoptimizers. OSDI 2008: 177-192

Isil Dillig, Thomas Dillig, Alex Aiken: Sound, complete and scalable path-sensitive analysis. PLDI 2008: 270-280

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

Suhabe Bugrara, Alex Aiken: Verifying the Safety of User Pointer Dereferences. IEEE Symposium on Security and Privacy 2008: 325-338

Yichen Xie, Alex Aiken: Saturn: A scalable framework for error detection using Boolean satisfiability. ACM Trans. Program. Lang. Syst. 29(3) (2007)

Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins: An overview of the saturn project. PASTE 2007: 43-48

John Kodumal, Alex Aiken: Regularly annotated set constraints. PLDI 2007: 331-341

Isil Dillig, Thomas Dillig, Alex Aiken: Static error detection using semantic inconsistency inference. PLDI 2007: 435-445

Mayur Naik, Alex Aiken: Conditional must not aliasing for static race detection. POPL 2007: 327-338

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

Simon Goldsmith, Alex Aiken, Daniel Shawcross Wilkerson: Measuring empirical computational complexity. ESEC/SIGSOFT FSE 2007: 395-404

Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken: Flow-insensitive type qualifiers. ACM Trans. Program. Lang. Syst. 28(6): 1035-1087 (2006)

Sorav Bansal, Alex Aiken: Automatic generation of peephole superoptimizers. ASPLOS 2006: 394-403

Tachio Terauchi, Alex Aiken: A Capability Calculus for Concurrency and Determinism. CONCUR 2006: 218-232

Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken: Statistical debugging: simultaneous identification of multiple bugs. ICML 2006: 1105-1112

Tachio Terauchi, Alex Aiken: On Typability for Rank-2 Intersection Types with Polymorphic Recursion. LICS 2006: 111-122

Alexander Aiken: Scalable program analysis using Boolean satisfiability. MEMOCODE 2006: 89

Mayur Naik, Alex Aiken, John Whaley: Effective static race detection for Java. PLDI 2006: 308-319

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

Brian Hackett, Alex Aiken: How is aliasing used in systems software? SIGSOFT FSE 2006: 69-80

Yichen Xie, Alexander Aiken: Saturn: A SAT-Based Tool for Bug Detection. CAV 2005: 139-143

Tachio Terauchi, Alexander Aiken: Witnessing side-effects. ICFP 2005: 105-115

Simon Goldsmith, Robert O'Callahan, Alexander Aiken: Relational queries over program traces. OOPSLA 2005: 385-402

Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan: Scalable statistical bug isolation. PLDI 2005: 15-26

Yichen Xie, Alexander Aiken: Scalable error detection using boolean satisfiability. POPL 2005: 351-363

John Kodumal, Alexander Aiken: Banshee: A Scalable Constraint-Based Analysis Toolkit. SAS 2005: 218-234

Tachio Terauchi, Alexander Aiken: Secure Information Flow as a Safety Problem. SAS 2005: 352-367

Yichen Xie, Alexander Aiken: Context- and path-sensitive memory leak detection. ESEC/SIGSOFT FSE 2005: 115-125

John Kodumal, Alexander Aiken: The set constraint/CFL reachability connection in practice. PLDI 2004: 207-218

Alice X. Zheng, Michael I. Jordan, Ben Liblit, Alexander Aiken: Statistical Debugging of Sampled Programs. NIPS 2003

Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi: Checking and inferring local non-aliasing. PLDI 2003: 129-140

Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan: Bug isolation via remote program sampling. PLDI 2003: 141-154

Ben Liblit, Alexander Aiken, Katherine A. Yelick: Type Systems for Distributed Data Sharing. SAS 2003: 273-294

Saul Schleimer, Daniel Shawcross Wilkerson, Alexander Aiken: Winnowing: Local Algorithms for Document Fingerprinting. SIGMOD Conference 2003: 76-85

Alex Aiken, Greg Morrisett (Eds.): 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, isbn 1-58113-628-5

Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken: Flow-Sensitive Type Qualifiers. PLDI 2002: 1-12

Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen: The first-order theory of subtyping constraints. POPL 2002: 203-216

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)

Zhendong Su, Alexander Aiken: Entailment with Conditional Equality Constraints. ESOP 2001: 170-189

David Gay, Alexander Aiken: Language Support for Regions. PLDI 2001: 70-80

Alexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting races in Relay Ladder Logic programs. STTT 3(1): 93-105 (2000)

David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken: A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. NDSS 2000

Zhendong Su, Manuel Fähndrich, Alexander Aiken: Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. POPL 2000: 81-95

Ben Liblit, Alexander Aiken: Type Systems for Distributed Data Structures. POPL 2000: 199-213

Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken: Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. SAS 2000: 175-198

Alexander Aiken, Edward L. Wimmers, Jens Palsberg: Optimal Representations of Polymorphic Types with Subtyping. Higher-Order and Symbolic Computation 12(3): 237-282 (1999)

Alexander Aiken: Introduction to Set Constraint-Based Program Analysis. Sci. Comput. Program. 35(2): 79-111 (1999)

Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken: A Theory of Type Qualifiers. PLDI 1999: 192-203

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

Andrew W. Appel, Alex Aiken (Eds.): 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, isbn 1-58113-095-3

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)

Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken: Partial Online Cycle Elimination in Inclusion Constraint Graphs. PLDI 1998: 85-96

David Gay, Alexander Aiken: Memory Management with Explicit Regions. PLDI 1998: 313-323

Alexander Aiken, David Gay: Barrier Inference. POPL 1998: 342-354

Chris Olston, Allison Woodruff, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker: DataSplash. SIGMOD Conference 1998: 550-552

Alexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting Races in Relay Ladder Logic Programs. TACAS 1998: 184-200

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

Chris Olston, Michael Stonebraker, Alexander Aiken, Joseph M. Hellerstein: VIQING: Visual Interactive Querying. VL 1998: 162-169

Manuel Fähndrich, Alexander Aiken: Program Analysis Using Mixed Term and Set Constraints. SAS 1997: 114-126

Alexander Aiken, Edward L. Wimmers, Jens Palsberg: Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). TACS 1997: 47-76

Alexander Aiken: Cool: A Portable Project for Teaching Compiler Construction. SIGPLAN Notices 31(7): 19-24 (1996)

Alexander Aiken, Jolly Chen, Michael Stonebraker, Allison Woodruff: Tioga-2: A Direct Manipulation Database Visualization Environment. ICDE 1996: 208-217

Alexander Aiken: Constraint-Based Program Analysis (Abstract). SAS 1996: 1

Alexander Aiken, Dexter Kozen, Edward L. Wimmers: Decidability of Systems of Set Constraints with Negative Constraints. Inf. Comput. 122(1): 30-44 (1995)

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)

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)

Alexander Aiken, Alexandru Nicolau, Steven Novack: Resource-Constrained Software Pipelining. IEEE Trans. Parallel Distrib. Syst. 6(12): 1248-1270 (1995)

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

Alexander Aiken, Manuel Fähndrich: Dynamic Typing and Subtype Inference. FPCA 1995: 182-191

Alexander Aiken, Manuel Fähndrich, Raph Levien: Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. PLDI 1995: 174-185

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

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

Alexander Aiken, Edward L. Wimmers, T. K. Lakshman: Soft Typing with Conditional Types. POPL 1994: 163-173

Alexander Aiken: Set Constraints: Results, Applications, and Future Directions. PPCP 1994: 326-335

Alexander Aiken, T. K. Lakshman: Directional Type Checking of Logic Programs. SAS 1994: 43-60

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

Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers: The Complexity of Set Constraints. CSL 1993: 1-17

Alexander Aiken, Edward L. Wimmers: Type Inclusion Constraints and Type Inference. FPCA 1993: 31-41

Alexander Aiken, Edward L. Wimmers: Solving Systems of Set Constraints (Extended Abstract). LICS 1992: 329-340

Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein: Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. SIGMOD Conference 1992: 59-68

Alexander Aiken, Brian R. Murphy: Implementing Regular Tree Expressions. FPCA 1991: 427-447

Alexander Aiken, Brian R. Murphy: Static Type Inference in a Dynamically Typed Language. POPL 1991: 279-290

Alexander Aiken: A Theory of Compaction-Based Parallelization. Theor. Comput. Sci. 73(2): 121-154 (1990)

Alexander Aiken, John H. Williams, Edward L. Wimmers: Program Transformation in the Presence of Errors. POPL 1990: 210-217

Alexandru Nicolau, Keshav Pingali, Alexander Aiken: Fine-grain compilation for pipelined machines. The Journal of Supercomputing 2(3): 279-295 (1988)

Alexander Aiken, Alexandru Nicolau: A Development Environment for Horizontal Microcode. IEEE Trans. Software Eng. 14(5): 584-594 (1988)

Alexander Aiken, Alexandru Nicolau: Perfect Pipelining: A New Loop Parallelization Technique. ESOP 1988: 221-235

Alexander Aiken, Alexandru Nicolau: Optimal Loop Parallelization. PLDI 1988: 308-317