Alexander Aiken

49 papers A* 15A 3B 4Journal 12Unranked 14

Year	Rank	Type	Title / Venue / Authors
2002	A*	`conf`	The first-order theory of subtyping constraints. POPL Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
2001	J	`jnl`	DataSplash: A Direct Manipulation Environment for Programming Semantic Zoom Visualizations of Tabular Data. J. Vis. Lang. Comput. Allison Woodruff, Chris Olston, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker
2001	A	`conf`	Entailment with Conditional Equality Constraints. ESOP Zhendong Su, Alexander Aiken
2000	A*	`conf`	A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. NDSS David A. Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken
2000	J	`jnl`	Detecting races in Relay Ladder Logic programs. Int. J. Softw. Tools Technol. Transf. Alexander Aiken, Manuel Fähndrich, Zhendong Su
2000	B	`conf`	Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. SAS Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken
2000	A*	`conf`	Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. POPL Zhendong Su, Manuel Fähndrich, Alexander Aiken
2000	A*	`conf`	Type Systems for Distributed Data Structures. POPL Ben Liblit, Alexander Aiken
1999	A*	`conf`	A Theory of Type Qualifiers. PLDI Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken
1999	J	`jnl`	Introduction to Set Constraint-Based Program Analysis. Sci. Comput. Program. Alexander Aiken
1999	J	`jnl`	Optimal Representations of Polymorphic Types with Subtyping. High. Order Symb. Comput. Alexander Aiken, Edward L. Wimmers, Jens Palsberg
1999	—	`conf`	Titanium: A High Performance Java Dialect. PP 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
1998	—	`conf`	A Toolkit for Constructing Type- and Constraint-Based Program Analyses. Types in Compilation Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su
1998	A*	`conf`	Barrier Inference. POPL Alexander Aiken, David Gay
1998	—	`conf`	DataSplash. SIGMOD Conference Chris Olston, Allison Woodruff, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker
1998	A	`conf`	Detecting Races in Relay Ladder Logic Programs. TACAS Alexander Aiken, Manuel Fähndrich, Zhendong Su
1998	A*	`conf`	Partial Online Cycle Elimination in Inclusion Constraint Graphs. PLDI Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken
1998	—	`conf`	VIQING: Visual Interactive Querying. VL Chris Olston, Michael Stonebraker, Alexander Aiken, Joseph M. Hellerstein
1997	—	`conf`	Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). TACS Alexander Aiken, Edward L. Wimmers, Jens Palsberg
1997	B	`conf`	Program Analysis Using Mixed Term and Set Constraints. SAS Manuel Fähndrich, Alexander Aiken
1996	J	`jnl`	Cool: A Portable Project for Teaching Compiler Construction. ACM SIGPLAN Notices Alexander Aiken
1996	A*	`conf`	Tioga-2: A Direct Manipulation Database Visualization Environment. ICDE Alexander Aiken, Jolly Chen, Michael Stonebraker, Allison Woodruff
1995	A*	`conf`	Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. PLDI Alexander Aiken, Manuel Fähndrich, Raph Levien
1995	J	`jnl`	Decidability of Systems of Set Constraints with Negative Constraints Inf. Comput. Alexander Aiken, Dexter Kozen, Edward L. Wimmers
1995	—	`conf`	Dynamic Typing and Subtype Inference. FPCA Alexander Aiken, Manuel Fähndrich
1995	—	`conf`	Navigation and Coordination Primitives for Multidimensional Visual Browsers. VDB Allison Woodruff, Alan Su, Michael Stonebraker, Caroline Paxson, Jolly Chen, Alexander Aiken, Peter Wisnovsky, Cimarron Taylor
1995	J	`jnl`	Resource-Constrained Software Pipelining. IEEE Trans. Parallel Distributed Syst. Alexander Aiken, Alexandru Nicolau, Steven Novack
1995	J	`jnl`	Safe: A Semantic Technique for Transforming Programs in the Presence of Errors. ACM Trans. Program. Lang. Syst. Alexander Aiken, John H. Williams, Edward L. Wimmers
1995	J	`jnl`	Static Analysis Techniques for Predicting the Behavior of Active Database Rules. ACM Trans. Database Syst. Alexander Aiken, Joseph M. Hellerstein, Jennifer Widom
1995	—	`conf`	The Tioga-2 Database Visualization Environment. Workshop on Database Issues for Data Visualization Alexander Aiken, Jolly Chen, Mark Lin, Mybrid Spalding, Michael Stonebraker, Allison Woodruff
1994	B	`conf`	Directional Type Checking of Logic Programs SAS Alexander Aiken, T. K. Lakshman
1994	—	`conf`	Set Constraints: Results, Applications, and Future Directions. PPCP Alexander Aiken
1994	A*	`conf`	Soft Typing with Conditional Types. POPL Alexander Aiken, Edward L. Wimmers, T. K. Lakshman
1994	—	`conf`	Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation. LISP and Functional Programming Lorenz Huelsbergen, James R. Larus, Alexander Aiken
1994	—	`conf`	Zooming and Tunneling in Tioga: Supporting Navigation in Multimedia Space. VL Allison Woodruff, Peter Wisnovsky, Cimarron Taylor, Michael Stonebraker, Caroline Paxson, Jolly Chen, Alexander Aiken
1993	B	`conf`	The Complexity of Set Constraints. CSL Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers
1993	—	`conf`	Type Inclusion Constraints and Type Inference. FPCA Alexander Aiken, Edward L. Wimmers
1992	—	`conf`	Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. SIGMOD Conference Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein
1992	A*	`conf`	Solving Systems of Set Constraints (Extended Abstract) LICS Alexander Aiken, Edward L. Wimmers
1991	—	`conf`	Implementing Regular Tree Expressions. FPCA Alexander Aiken, Brian R. Murphy
1991	A*	`conf`	Static Type Inference in a Dynamically Typed Language. POPL Alexander Aiken, Brian R. Murphy
1990	J	`jnl`	A Theory of Compaction-Based Parallelization. Theor. Comput. Sci. Alexander Aiken
1990	A*	`conf`	Program Transformation in the Presence of Errors. POPL Alexander Aiken, John H. Williams, Edward L. Wimmers
1988	J	`jnl`	A Development Environment for Horizontal Microcode. IEEE Trans. Software Eng. Alexander Aiken, Alexandru Nicolau
1988	—	`—`	Compaction-Based Parallelization. Alexander Aiken
1988	J	`jnl`	Fine-grain compilation for pipelined machines. J. Supercomput. Alexandru Nicolau, Keshav Pingali, Alexander Aiken
1988	A*	`conf`	Optimal Loop Parallelization. PLDI Alexander Aiken, Alexandru Nicolau
1988	A	`conf`	Perfect Pipelining: A New Loop Parallelization Technique. ESOP Alexander Aiken, Alexandru Nicolau
1986	A*	`conf`	A development environment for horizontal microcode programs. MICRO Alexander Aiken, Alexandru Nicolau