Alexander Aiken - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010Benjamin G. Zorn, Alexander Aiken, editors, ACM, 2010.

2006

Scalable program analysis using Boolean satisfiabilityAlexander Aiken. memocode 2006: 89 [doi]

2005

Relational queries over program tracesSimon Goldsmith, Robert O Callahan, Alexander Aiken. OOPSLA 2005: 385-402 [doi]

Banshee: A Scalable Constraint-Based Analysis ToolkitJohn Kodumal, Alexander Aiken. SAS 2005: 218-234 [doi]

Scalable statistical bug isolationBen Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan. PLDI 2005: 15-26 [doi]

Witnessing side-effectsTachio Terauchi, Alexander Aiken. ICFP 2005: 105-115 [doi]

Secure Information Flow as a Safety ProblemTachio Terauchi, Alexander Aiken. SAS 2005: 352-367 [doi]

Scalable error detection using boolean satisfiabilityYichen Xie, Alexander Aiken. POPL 2005: 351-363 [doi]

Context- and path-sensitive memory leak detectionYichen Xie, Alexander Aiken. ESEC/FSE 2005: 115-125 [doi]

Saturn: A SAT-Based Tool for Bug DetectionYichen Xie, Alexander Aiken. cav 2005: 139-143 [doi]

2004

The set constraint/CFL reachability connection in practiceJohn Kodumal, Alexander Aiken. PLDI 2004: 207-218 [doi]

2003

2002

Flow-Sensitive Type QualifiersJeffrey S. Foster, Tachio Terauchi, Alexander Aiken. PLDI 2002: 1-12 [doi]

The first-order theory of subtyping constraintsZhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen. POPL 2002: 203-216 [doi]

2001

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

Entailment with Conditional Equality ConstraintsZhendong Su, Alexander Aiken. ESOP 2001: 170-189 [doi]

DataSplash: A Direct Manipulation Environment for Programming Semantic Zoom Visualizations of Tabular DataAllison Woodruff, Chris Olston, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker. vlc, 12(5):551-571, 2001.

2000

1999

1998

Barrier InferenceAlexander Aiken, David Gay. POPL 1998: 342-354 [doi]

Detecting Races in Relay Ladder Logic ProgramsAlexander Aiken, Manuel Fähndrich, Zhendong Su. TACAS 1998: 184-200 [doi]

A Toolkit for Constructing Type- and Constraint-Based Program AnalysesAlexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su. tic 1998: 78-96 [doi]

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

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

VIQING: Visual Interactive QueryingChris Olston, Michael Stonebraker, Alexander Aiken, Joseph M. Hellerstein. vl 1998: 162-169

DataSplashChris Olston, Allison Woodruff, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker. sigmod 1998: 550-552 [doi]

Titanium: A High-performance Java DialectKatherine A. Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto, Ben Liblit, Arvind Krishnamurthy, Paul N. Hilfinger, Susan L. Graham, David Gay, Phillip Colella, Alexander Aiken. concurrency, 10(11-13):825-836, 1998.

1997

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

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

1996

Cool: A Portable Project for Teaching Compiler ConstructionAlexander Aiken. SIGPLAN, 31(7):19-24, 1996.

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

Tioga-2: A Direct Manipulation Database Visualization EnvironmentAlexander Aiken, Jolly Chen, Michael Stonebraker, Allison Woodruff. icde 1996: 208-217 [doi]

1995

Safe: A Semantic Technique for Transforming Programs in the Presence of ErrorsAlexander Aiken, John H. Williams, Edward L. Wimmers. TOPLAS, 17(1):63-84, 1995. [doi]

Resource-Constrained Software PipeliningAlexander Aiken, Alexandru Nicolau, Steven Novack. tpds, 6(12):1248-1270, 1995. [doi]

Dynamic Typing and Subtype InferenceAlexander Aiken, Manuel Fähndrich. fpca 1995: 182-191

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

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

Static Analysis Techniques for Predicting the Behavior of Active Database RulesAlexander Aiken, Joseph M. Hellerstein, Jennifer Widom. tods, 20(1):3-41, 1995. [doi]

The Tioga-2 Database Visualization EnvironmentAlexander Aiken, Jolly Chen, Mark Lin, Mybrid Spalding, Michael Stonebraker, Allison Woodruff. dbvis 1996: 181-207

Navigation and Coordination Primitives for Multidimensional Visual BrowsersAllison Woodruff, Alan Su, Michael Stonebraker, Caroline Paxson, Jolly Chen, Alexander Aiken, Peter Wisnovsky, Cimarron Taylor. vdb 1995: 360-371

1994

1993

The Complexity of Set ConstraintsAlexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers. csl 1994: 1-17

Type Inclusion Constraints and Type InferenceAlexander Aiken, Edward L. Wimmers. fpca 1993: 31-41

1992

Behavior of Database Production Rules: Termination, Confluence, and Observable DeterminismAlexander Aiken, Jennifer Widom, Joseph M. Hellerstein. sigmod 1992: 59-68 [doi]

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

1991

Implementing Regular Tree ExpressionsAlexander Aiken, Brian R. Murphy. fpca 1991: 427-447

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

1990

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

A Theory of Compaction-Based ParallelizationAlexander Aiken. TCS, 73(2):121-154, 1990.

1988

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

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

A Development Environment for Horizontal MicrocodeAlexander Aiken, Alexandru Nicolau. TSE, 14(5):584-594, 1988. [doi]