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