Proposed Papers
Current Queue
Petricek, Tomas; Syme, Don; Bray, Zach. In the Age of Web: Typed Functional-First Programming Revisited. In: Kiselyov, Oleg; Garrigue, Jacques, eds.. Proceedings: ML Family/OCaml Users and Developers Workshops (ML/OCaml 2014); 2014 Sep 4–5; Gothenburg, Sweden. 2015. (Electronic Proceedings in Theoretical Computer Science; vol. 198). doi:10.4204/EPTCS.198.3.
Papers Proposed by Previous Reading Group Members
SYNTHESIS
Toward a Classification Approach to Design. Smith, 1996.
A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). Peter Pepper and Douglas R. Smith, 1997.
Program Derivation by Fixed Point Computation. Jiazhen Cai and Robert Paige, 1989
Constructing Specification Morphisms. ftp://ftp.kestrel.edu/pub/papers/jsc-93/jsc-93.ps
ABSTRACT INTERPRETATION
Abstract Interpretation and Application to Logic Programs. Cousot & Cousot, 1992.
Program Analysis as Model Checking of Abstract Interpretations. Schmidt & Steffen, 1998.
ORCHESTRATION
Structured Communication-Centred Programming for Web Serices Marco Carbone, Kohei Honda and Nobuko Yoshida ESOP'2007, 2007
PARTIAL EVALUATION
Deforestation: Transforming programs to eliminate trees. Philip Wadler.
AUTHORIZATION
Policy-Based Authorization. William Cook.
DOMAIN-SPECIFIC LANGUAGES
WebDSL: A Case Study in Domain-Specific Language Engineering. Eelco Visser.
POLYTYPIC AND GENERIC PROTRAMMING
Scrap your boilerplate: a practical design pattern for generic programming. 2003.
Generic Programming, Now!. Ralf Hinze and Andres Löh, 2006.
Comparing Approaches to Generic Programming. Ralf Hinze, Johan Jeuring and Andres Löh, 2006.
Clowns to the left of me, jokers to the right (pearl): dissecting data structures. Conor !McBride
MONADS FOR FUNCTIONAL PROGRAMMING
Comprehending Monads. Wadler, 1992.
Monads for functional programming. Wadler, 1995.
Building interpreters by composing monads. Steele, 1994.
Monadic Parsing in Haskell. Hutton & Meijer, 1998.
PROGRAM ANALYSIS
The Interprocedural Coincidence Theorem. Knoop & Steffan, 1992.
Background reading:
Monotone data flow analysis frameworks. Kam & Ullman, 1975.
A unified approach to global program optimization. Killdall, 1973.
SHAPE ANALYSIS
Solving shape-analysis problems in languages with destructive updating. Sagiv, Reps & Wilhelm, 1996.
CONTINUATIONS
Handling control. Dorai Sitaram, 1993.
Continuations and the nature of quantification. Chris Barker, 2002.
OTHER
F-Bounded polymorphism for object-oriented programming. Peter Canning, William R. Cook, Walt Hill, John C. Mitchell and Walter Olthoff, 1989.
Kleisli, a Functional Query System. Limsoon Wong
Some Highly Cited POPL/PLDI/OOPSLA Papers, for consideration
Nicholas Nethercote and Julian Seward. 2007. Valgrind: A framework for heavyweight dynamic binary instrumentation. In Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (PLDI '07). ACM, 89–100. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1250734.1250746
Xavier Leroy. 2006. Formal certification of a compiler back-end or: Programming a compiler with a proof assistant. In Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '06). ACM, 42–54. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1111037.1111042
Byron Cook, Andreas Podelski, and Andrey Rybalchenko. 2006. Termination proofs for systems code. In Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (PLDI '06). ACM, 415–426. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1133981.1134029
Madanlal Musuvathi and Shaz Qadeer. 2007. Iterative context bounding for systematic testing of multithreaded programs. In Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (PLDI '07). ACM, 446–455. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1250734.1250785
Ali-Reza Adl-Tabatabai, Brian T. Lewis, Vijay Menon, Brian R. Murphy, Bratin Saha, and Tatiana Shpeisman. 2006. Compiler and runtime support for efficient software transactional memory. In Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (PLDI '06). ACM, 26–37. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1133981.1133985
Tim Harris, Mark Plesko, Avraham Shinnar, and David Tarditi. 2006. Optimizing memory transactions. In Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (PLDI '06). ACM, 14–25. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1133981.1133984
Patrice Godefroid. 2007. Compositional dynamic test generation. In Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '07). ACM, 47–54. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1190216.1190226
Torbjörn Ekman and Görel Hedin. 2007. The jastadd extensible Java compiler. In Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications (OOPSLA '07). ACM, 1–18. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1297027.1297029
Feng Chen and Grigore Roşu. 2007. Mop: An efficient and generic runtime verification framework. In Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications (OOPSLA '07). ACM, 569–588. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1297027.1297069
Hans-J. Boehm and Sarita V. Adve. 2008. Foundations of the C++ concurrency memory model. In Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (PLDI '08). ACM, 68–78. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1375581.1375591
Zhendong Su and Gary Wassermann. 2006. The essence of command injection attacks in web applications. In Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '06). ACM, 372–382. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1111037.1111070
Cormac Flanagan and Stephen N. Freund. 2009. FastTrack: Efficient and precise dynamic race detection. In Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation (PLDI '09). ACM, 121–133. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1542476.1542490
Robert L. Bocchino, Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, and Mohsen Vakilian. 2009. A type and effect system for deterministic parallel Java. In Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA '09). ACM, 97–116. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1640089.1640097
Gary Wassermann and Zhendong Su. 2007. Sound and precise analysis of web applications for injection vulnerabilities. In Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (PLDI '07). ACM, 32–41. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1250734.1250739
Cristiano Calcagno, Dino Distefano, Peter O'Hearn, and Hongseok Yang. 2009. Compositional shape analysis by means of bi-abduction. In Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '09). ACM, 289–300. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1480881.1480917
Koushik Sen. 2008. Race directed random testing of concurrent programs. In Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (PLDI '08). ACM, 11–21. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1375581.1375584
Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, and Bratin Saha. 2007. Enforcing isolation and ordering in STM. In Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (PLDI '07). ACM, 78–88. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1250734.1250744
Douglas Gregor, Jaakko Järvi, Jeremy Siek, Bjarne Stroustrup, Gabriel Dos Reis, and Andrew Lumsdaine. 2006. Concepts: linguistic support for generic programming in C++. In Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA '06). ACM, 291–310. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1167473.1167499
Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks. 2006. LOCKSMITH: context-sensitive correlation analysis for race detection. In Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (PLDI '06). ACM, 320–331. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1133981.1134019
Dino Distefano and Matthew J. Parkinson J. 2008. jStar: Towards practical verification for Java. In Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (OOPSLA '08). ACM, 213–226. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1449764.1449782
Uday Bondhugula, Albert Hartono, J. Ramanujam, and P. Sadayappan. 2008. A practical automatic polyhedral parallelizer and locality optimizer. In Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (PLDI '08). ACM, 101–113. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1375581.1375595
Naiyana Sahavechaphan and Kajal Claypool. 2006. XSnippet: Mining for sample code. In Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA '06). ACM, 413–430. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1167473.1167508
Manu Sridharan and Rastislav Bodík. 2006. Refinement-based context-sensitive points-to analysis for Java. In Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (PLDI '06). ACM, 387–400. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1133981.1134027
Andy Georges, Dries Buytaert, and Lieven Eeckhout. 2007. Statistically rigorous Java performance evaluation. In Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications (OOPSLA '07). ACM, 57–76. http://doi.acm.org.ezproxy.lib.utexas.edu/10.1145/1297027.1297033