Search the dblp DataBase

Publications of Author

1. Sorav Bansal, Alex Aiken
   Automatic generation of peephole superoptimizers. [Citation Graph (0, 0)][DBLP]
   ASPLOS, 2006, pp:394-403 [Conf]
   
2. Tachio Terauchi, Alex Aiken
   A Capability Calculus for Concurrency and Determinism. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2006, pp:218-232 [Conf]
   
3. Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken
   Statistical debugging: simultaneous identification of multiple bugs. [Citation Graph (0, 0)][DBLP]
   ICML, 2006, pp:1105-1112 [Conf]
   
4. Tachio Terauchi, Alex Aiken
   On Typability for Rank-2 Intersection Types with Polymorphic Recursion. [Citation Graph (0, 0)][DBLP]
   LICS, 2006, pp:111-122 [Conf]
   
5. Mayur Naik, Alex Aiken, John Whaley
   Effective static race detection for Java. [Citation Graph (0, 0)][DBLP]
   PLDI, 2006, pp:308-319 [Conf]
   
6. Mayur Naik, Alex Aiken
   Conditional must not aliasing for static race detection. [Citation Graph (0, 0)][DBLP]
   POPL, 2007, pp:327-338 [Conf]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   PPOPP, 2007, pp:226-236 [Conf]
   
8. 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. [Citation Graph (0, 0)][DBLP]
   SC, 2006, pp:83- [Conf]
   
9. Brian Hackett, Alex Aiken
   How is aliasing used in systems software? [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 2006, pp:69-80 [Conf]
   
10. Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken
    Flow-insensitive type qualifiers. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2006, v:28, n:6, pp:1035-1087 [Journal]
    
11. Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins
    An overview of the saturn project. [Citation Graph (0, 0)][DBLP]
    PASTE, 2007, pp:43-48 [Conf]
    
12. Isil Dillig, Thomas Dillig, Alex Aiken
    Static error detection using semantic inconsistency inference. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:435-445 [Conf]
    
13. John Kodumal, Alex Aiken
    Regularly annotated set constraints. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:331-341 [Conf]
    
14. Simon Goldsmith, Alex Aiken, Daniel Shawcross Wilkerson
    Measuring empirical computational complexity. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:395-404 [Conf]
    
15. Yichen Xie, Alex Aiken
    Saturn: A scalable framework for error detection using Boolean satisfiability. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:3, pp:- [Journal]
    
16. 
    A tuning framework for software-managed memory hierarchies. [Citation Graph (, )][DBLP]
    
    
17. 
    Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. [Citation Graph (, )][DBLP]
    
    
18. 
    Fluid Updates: Beyond Strong vs. Weak Updates. [Citation Graph (, )][DBLP]
    
    
19. 
    Alert Detection in System Logs. [Citation Graph (, )][DBLP]
    
    
20. 
    A query language for understanding component interactions in production systems. [Citation Graph (, )][DBLP]
    
    
21. 
    Binary Translation Using Peephole Superoptimizers. [Citation Graph (, )][DBLP]
    
    
22. 
    Sound, complete and scalable path-sensitive analysis. [Citation Graph (, )][DBLP]
    
    
23. 
    A portable runtime interface for multi-level memory hierarchies. [Citation Graph (, )][DBLP]
    
    
24. 
    Community Epidemic Detection Using Time-Correlated Anomalies. [Citation Graph (, )][DBLP]
    
    
25. 
    Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. [Citation Graph (, )][DBLP]
    
    
26. 
    Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field. [Citation Graph (, )][DBLP]
    
    
27. 
    Verifying the Safety of User Pointer Dereferences. [Citation Graph (, )][DBLP]
    
    
28. 
    Reasoning about the unknown in static analysis. [Citation Graph (, )][DBLP]