2013
2012
- Run your research: on the effectiveness of lightweight mechanizationCasey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robby Findler. In Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. 2012: 285-296 [doi]
2011
- Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part IILuca Aceto, Monika Henzinger, Jiri Sgall, editors, Volume 6756 of Lecture Notes in Computer Science, Springer, 2011. [doi]
- Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part ILuca Aceto, Monika Henzinger, Jiri Sgall, editors, Volume 6755 of Lecture Notes in Computer Science, Springer, 2011. [doi]
- Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011Thomas Ball, Mooly Sagiv, editors, ACM, 2011.
- Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. ProceedingsGilles Barthe, editor, Volume 6602 of Lecture Notes in Computer Science, Springer, 2011. [doi]
- Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011Rajiv Gupta, Todd C. Mowry, editors, ACM, 2011.
- Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011Mary W. Hall, David A. Padua, editors, ACM, 2011.
- Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011Ranjit Jhala, Wouter Swierstra, editors, ACM, 2011.
2010
- Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part IISamson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis, editors, Volume 6199 of Lecture Notes in Computer Science, Springer, 2010. [doi]
PreviousNext