Search the dblp DataBase
Alexander Aiken :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Alexander Aiken , Jennifer Widom , Joseph M. Hellerstein Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. [Citation Graph (34, 12)][DBLP ] SIGMOD Conference, 1992, pp:59-68 [Conf ] Alexander Aiken , Jolly Chen , Michael Stonebraker , Allison Woodruff Tioga-2: A Direct Manipulation Database Visualization Environment. [Citation Graph (7, 7)][DBLP ] ICDE, 1996, pp:208-217 [Conf ] Alexander Aiken , Joseph M. Hellerstein , Jennifer Widom Static Analysis Techniques for Predicting the Behavior of Active Database Rules. [Citation Graph (7, 21)][DBLP ] ACM Trans. Database Syst., 1995, v:20, n:1, pp:3-41 [Journal ] Alexander Aiken Set Constraints: Results, Applications, and Future Directions. [Citation Graph (2, 0)][DBLP ] PPCP, 1994, pp:326-335 [Conf ] Alexander Aiken , Edward L. Wimmers Type Inclusion Constraints and Type Inference. [Citation Graph (1, 0)][DBLP ] FPCA, 1993, pp:31-41 [Conf ] Alexander Aiken , Edward L. Wimmers Solving Systems of Set Constraints (Extended Abstract) [Citation Graph (1, 0)][DBLP ] LICS, 1992, pp:329-340 [Conf ] Alexander Aiken , Edward L. Wimmers , T. K. Lakshman Soft Typing with Conditional Types. [Citation Graph (1, 0)][DBLP ] POPL, 1994, pp:163-173 [Conf ] Chris Olston , Allison Woodruff , Alexander Aiken , Michael Chu , Vuk Ercegovac , Mark Lin , Mybrid Spalding , Michael Stonebraker DataSplash. [Citation Graph (1, 2)][DBLP ] SIGMOD Conference, 1998, pp:550-552 [Conf ] Allison Woodruff , Peter Wisnovsky , Cimarron Taylor , Michael Stonebraker , Caroline Paxson , Jolly Chen , Alexander Aiken Zooming and Tunneling in Tioga: Supporting Navigation in Multimedia Space. [Citation Graph (1, 0)][DBLP ] VL, 1994, pp:191-193 [Conf ] Yichen Xie , Alexander Aiken Saturn: A SAT-Based Tool for Bug Detection. [Citation Graph (0, 0)][DBLP ] CAV, 2005, pp:139-143 [Conf ] Alexander Aiken , Dexter Kozen , Moshe Y. Vardi , Edward L. Wimmers The Complexity of Set Constraints. [Citation Graph (0, 0)][DBLP ] CSL, 1993, pp:1-17 [Conf ] Alexander Aiken , Jolly Chen , Mark Lin , Mybrid Spalding , Michael Stonebraker , Allison Woodruff The Tioga-2 Database Visualization Environment. [Citation Graph (0, 0)][DBLP ] Workshop on Database Issues for Data Visualization, 1995, pp:181-207 [Conf ] Alexander Aiken , Alexandru Nicolau Perfect Pipelining: A New Loop Parallelization Technique. [Citation Graph (0, 0)][DBLP ] ESOP, 1988, pp:221-235 [Conf ] Zhendong Su , Alexander Aiken Entailment with Conditional Equality Constraints. [Citation Graph (0, 0)][DBLP ] ESOP, 2001, pp:170-189 [Conf ] Alexander Aiken , Manuel Fähndrich Dynamic Typing and Subtype Inference. [Citation Graph (0, 0)][DBLP ] FPCA, 1995, pp:182-191 [Conf ] Alexander Aiken , Brian R. Murphy Implementing Regular Tree Expressions. [Citation Graph (0, 0)][DBLP ] FPCA, 1991, pp:427-447 [Conf ] Tachio Terauchi , Alexander Aiken Witnessing side-effects. [Citation Graph (0, 0)][DBLP ] ICFP, 2005, pp:105-115 [Conf ] Lorenz Huelsbergen , James R. Larus , Alexander Aiken Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1994, pp:79-90 [Conf ] David Wagner , Jeffrey S. Foster , Eric A. Brewer , Alexander Aiken A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. [Citation Graph (0, 0)][DBLP ] NDSS, 2000, pp:- [Conf ] Alice X. Zheng , Michael I. Jordan , Ben Liblit , Alexander Aiken Statistical Debugging of Sampled Programs. [Citation Graph (0, 0)][DBLP ] NIPS, 2003, pp:- [Conf ] Simon Goldsmith , Robert O'Callahan , Alexander Aiken Relational queries over program traces. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2005, pp:385-402 [Conf ] Alexander Aiken , Jeffrey S. Foster , John Kodumal , Tachio Terauchi Checking and inferring local non-aliasing. [Citation Graph (0, 0)][DBLP ] PLDI, 2003, pp:129-140 [Conf ] Alexander Aiken , Manuel Fähndrich , Raph Levien Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. [Citation Graph (0, 0)][DBLP ] PLDI, 1995, pp:174-185 [Conf ] Alexander Aiken , Alexandru Nicolau Optimal Loop Parallelization. [Citation Graph (0, 0)][DBLP ] PLDI, 1988, pp:308-317 [Conf ] Manuel Fähndrich , Jeffrey S. Foster , Zhendong Su , Alexander Aiken Partial Online Cycle Elimination in Inclusion Constraint Graphs. [Citation Graph (0, 0)][DBLP ] PLDI, 1998, pp:85-96 [Conf ] Jeffrey S. Foster , Manuel Fähndrich , Alexander Aiken A Theory of Type Qualifiers. [Citation Graph (0, 0)][DBLP ] PLDI, 1999, pp:192-203 [Conf ] Jeffrey S. Foster , Tachio Terauchi , Alexander Aiken Flow-Sensitive Type Qualifiers. [Citation Graph (0, 0)][DBLP ] PLDI, 2002, pp:1-12 [Conf ] David Gay , Alexander Aiken Language Support for Regions. [Citation Graph (0, 0)][DBLP ] PLDI, 2001, pp:70-80 [Conf ] David Gay , Alexander Aiken Memory Management with Explicit Regions. [Citation Graph (0, 0)][DBLP ] PLDI, 1998, pp:313-323 [Conf ] John Kodumal , Alexander Aiken The set constraint/CFL reachability connection in practice. [Citation Graph (0, 0)][DBLP ] PLDI, 2004, pp:207-218 [Conf ] Ben Liblit , Alexander Aiken , Alice X. Zheng , Michael I. Jordan Bug isolation via remote program sampling. [Citation Graph (0, 0)][DBLP ] PLDI, 2003, pp:141-154 [Conf ] Ben Liblit , Mayur Naik , Alice X. Zheng , Alexander Aiken , Michael I. Jordan Scalable statistical bug isolation. [Citation Graph (0, 0)][DBLP ] PLDI, 2005, pp:15-26 [Conf ] Alexander Aiken , David Gay Barrier Inference. [Citation Graph (0, 0)][DBLP ] POPL, 1998, pp:342-354 [Conf ] Alexander Aiken , Brian R. Murphy Static Type Inference in a Dynamically Typed Language. [Citation Graph (0, 0)][DBLP ] POPL, 1991, pp:279-290 [Conf ] Alexander Aiken , John H. Williams , Edward L. Wimmers Program Transformation in the Presence of Errors. [Citation Graph (0, 0)][DBLP ] POPL, 1990, pp:210-217 [Conf ] Ben Liblit , Alexander Aiken Type Systems for Distributed Data Structures. [Citation Graph (0, 0)][DBLP ] POPL, 2000, pp:199-213 [Conf ] Zhendong Su , Alexander Aiken , Joachim Niehren , Tim Priesnitz , Ralf Treinen The first-order theory of subtyping constraints. [Citation Graph (0, 0)][DBLP ] POPL, 2002, pp:203-216 [Conf ] Zhendong Su , Manuel Fähndrich , Alexander Aiken Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. [Citation Graph (0, 0)][DBLP ] POPL, 2000, pp:81-95 [Conf ] Yichen Xie , Alexander Aiken Scalable error detection using boolean satisfiability. [Citation Graph (0, 0)][DBLP ] POPL, 2005, pp:351-363 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] PPSC, 1999, pp:- [Conf ] Alexander Aiken Constraint-Based Program Analysis (Abstract). [Citation Graph (0, 0)][DBLP ] SAS, 1996, pp:1- [Conf ] Alexander Aiken , T. K. Lakshman Directional Type Checking of Logic Programs [Citation Graph (0, 0)][DBLP ] SAS, 1994, pp:43-60 [Conf ] Manuel Fähndrich , Alexander Aiken Program Analysis Using Mixed Term and Set Constraints. [Citation Graph (0, 0)][DBLP ] SAS, 1997, pp:114-126 [Conf ] Jeffrey S. Foster , Manuel Fähndrich , Alexander Aiken Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. [Citation Graph (0, 0)][DBLP ] SAS, 2000, pp:175-198 [Conf ] John Kodumal , Alexander Aiken Banshee: A Scalable Constraint-Based Analysis Toolkit. [Citation Graph (0, 0)][DBLP ] SAS, 2005, pp:218-234 [Conf ] Ben Liblit , Alexander Aiken , Katherine A. Yelick Type Systems for Distributed Data Sharing. [Citation Graph (0, 0)][DBLP ] SAS, 2003, pp:273-294 [Conf ] Tachio Terauchi , Alexander Aiken Secure Information Flow as a Safety Problem. [Citation Graph (0, 0)][DBLP ] SAS, 2005, pp:352-367 [Conf ] Saul Schleimer , Daniel Shawcross Wilkerson , Alexander Aiken Winnowing: Local Algorithms for Document Fingerprinting. [Citation Graph (0, 0)][DBLP ] SIGMOD Conference, 2003, pp:76-85 [Conf ] Yichen Xie , Alexander Aiken Context- and path-sensitive memory leak detection. [Citation Graph (0, 0)][DBLP ] ESEC/SIGSOFT FSE, 2005, pp:115-125 [Conf ] Alexander Aiken , Manuel Fähndrich , Zhendong Su Detecting Races in Relay Ladder Logic Programs. [Citation Graph (0, 0)][DBLP ] TACAS, 1998, pp:184-200 [Conf ] Alexander Aiken , Edward L. Wimmers , Jens Palsberg Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). [Citation Graph (0, 0)][DBLP ] TACS, 1997, pp:47-76 [Conf ] Alexander Aiken , Manuel Fähndrich , Jeffrey S. Foster , Zhendong Su A Toolkit for Constructing Type- and Constraint-Based Program Analyses. [Citation Graph (0, 0)][DBLP ] Types in Compilation, 1998, pp:78-96 [Conf ] Allison Woodruff , Alan Su , Michael Stonebraker , Caroline Paxson , Jolly Chen , Alexander Aiken , Peter Wisnovsky , Cimarron Taylor Navigation and Coordination Primitives for Multidimensional Visual Browsers. [Citation Graph (0, 0)][DBLP ] VDB, 1995, pp:360-371 [Conf ] Chris Olston , Michael Stonebraker , Alexander Aiken , Joseph M. Hellerstein VIQING: Visual Interactive Querying. [Citation Graph (0, 0)][DBLP ] VL, 1998, pp:162-169 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Concurrency - Practice and Experience, 1998, v:10, n:11-13, pp:825-836 [Journal ] Alexander Aiken , Dexter Kozen , Edward L. Wimmers Decidability of Systems of Set Constraints with Negative Constraints [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:122, n:1, pp:30-44 [Journal ] Alexander Aiken , Edward L. Wimmers , Jens Palsberg Optimal Representations of Polymorphic Types with Subtyping. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 1999, v:12, n:3, pp:237-282 [Journal ] Alexander Aiken Introduction to Set Constraint-Based Program Analysis. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1999, v:35, n:2, pp:79-111 [Journal ] Alexander Aiken Cool: A Portable Project for Teaching Compiler Construction. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1996, v:31, n:7, pp:19-24 [Journal ] Alexander Aiken , Manuel Fähndrich , Zhendong Su Detecting races in Relay Ladder Logic programs. [Citation Graph (0, 0)][DBLP ] STTT, 2000, v:3, n:1, pp:93-105 [Journal ] Alexander Aiken A Theory of Compaction-Based Parallelization. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1990, v:73, n:2, pp:121-154 [Journal ] Alexander Aiken , John H. Williams , Edward L. Wimmers Safe: A Semantic Technique for Transforming Programs in the Presence of Errors. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1995, v:17, n:1, pp:63-84 [Journal ] Alexander Aiken , Alexandru Nicolau , Steven Novack Resource-Constrained Software Pipelining. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1995, v:6, n:12, pp:1248-1270 [Journal ] Alexander Aiken , Alexandru Nicolau A Development Environment for Horizontal Microcode. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:5, pp:584-594 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 2001, v:12, n:5, pp:551-571 [Journal ] Alexander Aiken Scalable program analysis using Boolean satisfiability. [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2006, pp:89- [Conf ] Search in 0.004secs, Finished in 0.461secs