Advanced Topics in Program Analysis
Schedule
Jan 30, 2008: Youssef Hanna
@inproceedings{Larus-Hilfinger-PLDI88,
author = {J. R. Larus and P. N. Hilfinger},
title = {Detecting conflicts between structure accesses},
booktitle = {PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation},
year = {1988},
isbn = {0-89791-269-1},
pages = {24--31},
location = {Atlanta, Georgia, United States},
doi = {http://doi.acm.org/10.1145/53990.53993},
publisher = {ACM},
address = {New York, NY, USA},
}
Feb 6, 2008: Robert Dyer
@inproceedings{Reynolds02a,
author = {John C. Reynolds},
title = {Separation Logic: A Logic for Shared Mutable Data Structures},
booktitle = {LICS '02: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science},
year = {2002},
isbn = {0-7695-1483-9},
pages = {55--74},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
Feb 13, 2008: Tyler Sondag
@inproceedings{Guo-Vachharajani-August-07,
author = {Bolei Guo and Neil Vachharajani and David I. August},
title = {Shape analysis with inductive recursion synthesis},
booktitle = {PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation},
year = {2007},
isbn = {978-1-59593-633-2},
pages = {256--265},
location = {San Diego, California, USA},
doi = {http://doi.acm.org/10.1145/1250734.1250764},
publisher = {ACM},
address = {New York, NY, USA},
}
Feb 20, 2008: Hridesh Rajan
@inproceedings{Gotsman-Berdine-Cook-Sagiv-07,
author = {Alexey Gotsman and Josh Berdine and Byron Cook and Mooly Sagiv},
title = {Thread-modular shape analysis},
booktitle = {PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation},
year = {2007},
isbn = {978-1-59593-633-2},
pages = {266--277},
location = {San Diego, California, USA},
doi = {http://doi.acm.org/10.1145/1250734.1250765},
publisher = {ACM},
address = {New York, NY, USA},
}
Feb 27, 2008: Steve Shaner
@inproceedings{Lattner-Lenharth-Adve-07,
author = {Chris Lattner and Andrew Lenharth and Vikram Adve},
title = {Making context-sensitive points-to analysis with heap cloning practical for the real world},
booktitle = {PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation},
year = {2007},
isbn = {978-1-59593-633-2},
pages = {278--289},
location = {San Diego, California, USA},
doi = {http://doi.acm.org/10.1145/1250734.1250766},
publisher = {ACM},
address = {New York, NY, USA},
}
Mar 5, 2008: Dmitry Kirilov
@inproceedings{Hardekopf-Lin-07,
author = {Ben Hardekopf and Calvin Lin},
title = {The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code},
booktitle = {PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation},
year = {2007},
isbn = {978-1-59593-633-2},
pages = {290--299},
location = {San Diego, California, USA},
doi = {http://doi.acm.org/10.1145/1250734.1250767},
publisher = {ACM},
address = {New York, NY, USA},
}
Mar 12, 2008: John Altidor
@inproceedings{Zheng-Rugina-08,
author = {Xin Zheng and Radu Rugina},
title = {Demand-driven alias analysis for C},
booktitle = {POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {2008},
isbn = {978-1-59593-689-9},
pages = {197--208},
location = {San Francisco, California, USA},
doi = {http://doi.acm.org/10.1145/1328438.1328464},
publisher = {ACM},
address = {New York, NY, USA},
}
Mar 26, 2008: Kaishin Lu
@inproceedings{Unkel-Lam-08,
author = {Christopher Unkel and Monica S. Lam},
title = {Automatic inference of stationary fields: a generalization of java's final fields},
booktitle = {POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {2008},
isbn = {978-1-59593-689-9},
pages = {183--195},
location = {San Francisco, California, USA},
doi = {http://doi.acm.org/10.1145/1328438.1328463},
publisher = {ACM},
address = {New York, NY, USA},
}
Apr 9, 16, 2008: Faraz Hussain
@inproceedings{Shankar-Bodik-07,
author = {Ajeet Shankar and Rastislav Bod\'{\i}k},
title = {DITTO: automatic incrementalization of data structure invariant checks (in Java)},
booktitle = {PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation},
year = {2007},
isbn = {978-1-59593-633-2},
pages = {310--319},
location = {San Diego, California, USA},
doi = {http://doi.acm.org/10.1145/1250734.1250770},
publisher = {ACM},
address = {New York, NY, USA},
}
Apr 23, 2008: Rakesh B. Setty
@inproceedings{Jhala-Majumdar-07,
author = {Ranjit Jhala and Rupak Majumdar},
title = {Interprocedural analysis of asynchronous programs},
booktitle = {POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {2007},
isbn = {1-59593-575-4},
pages = {339--350},
location = {Nice, France},
doi = {http://doi.acm.org/10.1145/1190216.1190266},
publisher = {ACM},
address = {New York, NY, USA},
}
Apr 30, 2008: Harish Narayanappa
@inproceedings{Naik-Aiken-07,
author = {Mayur Naik and Alex Aiken},
title = {Conditional must not aliasing for static race detection},
booktitle = {POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {2007},
isbn = {1-59593-575-4},
pages = {327--338},
location = {Nice, France},
doi = {http://doi.acm.org/10.1145/1190216.1190265},
publisher = {ACM},
address = {New York, NY, USA},
}
May 7, 2008: Robert Dyer
@inproceedings{Chen-08,
author = {Juan Chen and Derrick Coetzee and Jeremy Condit and Michael Emmi and Chris Hawblitzel and Frances Perry and Polyvios Pratikakis},
title = {Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers},
booktitle = {PLDI '08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation},
year = {2008},
pages = {to appear},
location = {Tucson, AZ},
publisher = {ACM},
address = {New York, NY, USA},
}