prg.html

---
layout: index
---
<h1>Paper Reading Group</h2>

<p>
Welcome to the web page of the Paper Reading Group organized by the Ostermann group.
The organization is done by <a href="mailto:giarrusso@informatik.uni-tuebingen.de">Paolo Giarrusso</a>.
</p>

<!--
<p><strong>Place:</strong> 05D15</p>
<p><strong>Time:</strong> every Thursday at 16:00, unless announced otherwise.</p>
<p><strong>Organizer:</strong> Paolo Giarrusso (giarrusso@informatik.uni-tuebingen.de)</p>
-->

<h2>How does our PRG work?</h2>

<p>We read and discuss one paper per meeting. One participant (the
<strong>discussion leader</strong>) will give a short summary and raise
a few points for discussion, but every participant is expected to read
the paper beforehand.</p>
<p>Guests are always welcome!</p>

<p>Please subscribe to our mailing list to be notified about upcoming meetings by mailing the organizer.</p>

<p>The schedule below for discussion leaders is tentative, beyond the next week.</p>

<p>For topics of high significance and technical depth, we might devote two meetings. </p>

<p>The role of discussion leader rotates among participants.</p>

<p>Feel free to propose candidates for future meetings by contacting <a href="mailto:giarrusso@informatik.uni-tuebingen.de">Paolo</a>. Modifying this webpage directly will not work reliably, as its content is auto-generated. </p>
<h3>Candidates for future meetings</h3>
<p ><a href="http://sunnyday.mit.edu/16.355/Hoare-CACM-69.pdf"><strong>An axiomatic basis for computer programming</strong></a>. C. A. R. Hoare. Commun. ACM 12(10): 576&mdash;580 (1969). Proposed by Klaus</p>
<p ><a href="http://leadinganswers.typepad.com/leading_answers/files/original_waterfall_paper_winston_royce.pdf"><strong>Managing the development of large software systems: Concepts and techniques</strong></a>. WW ROYCE. Proc. of Technical Papers of Western Electronic Show and Convention (WesCon)(Los Angeles, August 25-28, 1970) (1970). Proposed by Jonathan</p>
<p ><a href="http://www.math.pku.edu.cn/teachers/qiuzy/plan/lits/PLHistoryGoodDesign.PDF"><strong>On the design of programming languages</strong></a>. N. Wirth. Proc. of Proc. IFIP Congress (1974). Proposed by Cai</p>
<p ><a href="http://pdf.aminer.org/000/137/588/objects_and_classes_co_algebraically.pdf"><strong>Objects and Classes, Co-algebraically</strong></a>. Bart Jacobs. Proc. of Object Orientation with Parallelism and Persistence: 83&mdash;103 (1996). Proposed by Jonathan</p>
<p ><a href="http://sole.dimi.uniud.it/~marina.lenisa/csl01.pdf"><strong>Local Reasoning about Programs that Alter Data Structures</strong></a>. Peter O'Hearn, John Reynolds and Hongseok Yang. Proc. of Workshop on Computer Science Logic: 1&mdash;19 (2001). Proposed by Paolo</p>
<p ><a href="http://www.strictlypositive.org/IdiomLite.pdf"><strong>Applicative Programming with Effects</strong></a>. Conor McBride and Ross Paterson. J. Funct. Program. 18(1): 1&mdash;13 (2008). Proposed by Cai</p>
<h3>Previous meeting</h3>