The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexander Aiken: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Alexander Aiken
    Set Constraints: Results, Applications, and Future Directions. [Citation Graph (2, 0)][DBLP]
    PPCP, 1994, pp:326-335 [Conf]
  5. Alexander Aiken, Edward L. Wimmers
    Type Inclusion Constraints and Type Inference. [Citation Graph (1, 0)][DBLP]
    FPCA, 1993, pp:31-41 [Conf]
  6. Alexander Aiken, Edward L. Wimmers
    Solving Systems of Set Constraints (Extended Abstract) [Citation Graph (1, 0)][DBLP]
    LICS, 1992, pp:329-340 [Conf]
  7. Alexander Aiken, Edward L. Wimmers, T. K. Lakshman
    Soft Typing with Conditional Types. [Citation Graph (1, 0)][DBLP]
    POPL, 1994, pp:163-173 [Conf]
  8. 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]
  9. 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]
  10. Yichen Xie, Alexander Aiken
    Saturn: A SAT-Based Tool for Bug Detection. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:139-143 [Conf]
  11. 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]
  12. 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]
  13. Alexander Aiken, Alexandru Nicolau
    Perfect Pipelining: A New Loop Parallelization Technique. [Citation Graph (0, 0)][DBLP]
    ESOP, 1988, pp:221-235 [Conf]
  14. Zhendong Su, Alexander Aiken
    Entailment with Conditional Equality Constraints. [Citation Graph (0, 0)][DBLP]
    ESOP, 2001, pp:170-189 [Conf]
  15. Alexander Aiken, Manuel Fähndrich
    Dynamic Typing and Subtype Inference. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:182-191 [Conf]
  16. Alexander Aiken, Brian R. Murphy
    Implementing Regular Tree Expressions. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:427-447 [Conf]
  17. Tachio Terauchi, Alexander Aiken
    Witnessing side-effects. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:105-115 [Conf]
  18. 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]
  19. 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]
  20. Alice X. Zheng, Michael I. Jordan, Ben Liblit, Alexander Aiken
    Statistical Debugging of Sampled Programs. [Citation Graph (0, 0)][DBLP]
    NIPS, 2003, pp:- [Conf]
  21. Simon Goldsmith, Robert O'Callahan, Alexander Aiken
    Relational queries over program traces. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2005, pp:385-402 [Conf]
  22. 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]
  23. 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]
  24. Alexander Aiken, Alexandru Nicolau
    Optimal Loop Parallelization. [Citation Graph (0, 0)][DBLP]
    PLDI, 1988, pp:308-317 [Conf]
  25. 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]
  26. Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken
    A Theory of Type Qualifiers. [Citation Graph (0, 0)][DBLP]
    PLDI, 1999, pp:192-203 [Conf]
  27. Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken
    Flow-Sensitive Type Qualifiers. [Citation Graph (0, 0)][DBLP]
    PLDI, 2002, pp:1-12 [Conf]
  28. David Gay, Alexander Aiken
    Language Support for Regions. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:70-80 [Conf]
  29. David Gay, Alexander Aiken
    Memory Management with Explicit Regions. [Citation Graph (0, 0)][DBLP]
    PLDI, 1998, pp:313-323 [Conf]
  30. John Kodumal, Alexander Aiken
    The set constraint/CFL reachability connection in practice. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:207-218 [Conf]
  31. 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]
  32. 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]
  33. Alexander Aiken, David Gay
    Barrier Inference. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:342-354 [Conf]
  34. Alexander Aiken, Brian R. Murphy
    Static Type Inference in a Dynamically Typed Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1991, pp:279-290 [Conf]
  35. 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]
  36. Ben Liblit, Alexander Aiken
    Type Systems for Distributed Data Structures. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:199-213 [Conf]
  37. 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]
  38. 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]
  39. Yichen Xie, Alexander Aiken
    Scalable error detection using boolean satisfiability. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:351-363 [Conf]
  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. [Citation Graph (0, 0)][DBLP]
    PPSC, 1999, pp:- [Conf]
  41. Alexander Aiken
    Constraint-Based Program Analysis (Abstract). [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:1- [Conf]
  42. Alexander Aiken, T. K. Lakshman
    Directional Type Checking of Logic Programs [Citation Graph (0, 0)][DBLP]
    SAS, 1994, pp:43-60 [Conf]
  43. Manuel Fähndrich, Alexander Aiken
    Program Analysis Using Mixed Term and Set Constraints. [Citation Graph (0, 0)][DBLP]
    SAS, 1997, pp:114-126 [Conf]
  44. 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]
  45. John Kodumal, Alexander Aiken
    Banshee: A Scalable Constraint-Based Analysis Toolkit. [Citation Graph (0, 0)][DBLP]
    SAS, 2005, pp:218-234 [Conf]
  46. Ben Liblit, Alexander Aiken, Katherine A. Yelick
    Type Systems for Distributed Data Sharing. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:273-294 [Conf]
  47. Tachio Terauchi, Alexander Aiken
    Secure Information Flow as a Safety Problem. [Citation Graph (0, 0)][DBLP]
    SAS, 2005, pp:352-367 [Conf]
  48. 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]
  49. Yichen Xie, Alexander Aiken
    Context- and path-sensitive memory leak detection. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:115-125 [Conf]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. Chris Olston, Michael Stonebraker, Alexander Aiken, Joseph M. Hellerstein
    VIQING: Visual Interactive Querying. [Citation Graph (0, 0)][DBLP]
    VL, 1998, pp:162-169 [Conf]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. 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]
  65. 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]
  66. Alexander Aiken
    Scalable program analysis using Boolean satisfiability. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2006, pp:89- [Conf]

Search in 0.031secs, Finished in 0.033secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002