This is an old revision of the document!


Programming Languages Student Reading Group

The PL Reading Group provides a space for discussion and analysis of conference and journal papers related to Programming Languages practice and theory, serving also as a space for students to freely practice their English talking and reading skills. It is open to any university student with an interest in the field.

This is how cute we look when we meet.

Inaugural Meeting

November 26th marks the inaugural meeting of the Programming Languages Reading Group.

The meeting will be located at the 3rd floor meeting room of the Computer Science Department, CEC Building, Beaucheff Campus of the University of Chile.

If you plan to attend this meeting, we ask you to first read the paper appointed for that day in section Meeting Papers. To foster discussion, we will assume that everyone has already read the paper. Please do.

During the meeting we will also collect suggestions for future papers and project an internal communication channel (most likely a mailing list).

Meetings

The PL Reading Group meets every Tuesday at 13PM CLT, starting November 26, 2013, excepting holidays.

Meeting Papers

  • Dec 10th, 2013. Turing Award Lectures week Both Ken Thompson, Reflections on trusting trust and Alan Perlis, The Synthesis of Algorithmic Systems
  • Dec 18th, 2013. Gabriel Schrerer and Didier Rémy, GADTs meet subtyping

Paper suggestions for future meetings

Accessing papers from outside the University Network

You can directly access the ACM Digital Library, Springer Link and other scholarly providers from the University wi-fi networks (DCC-AIR, in-cec…). If you want to access/download the papers outside the University Network, you may follow one of the following procedures:

  1. Connect to the CEC VPN (es).
  2. Create a SOCKS proxy tunnel on ssh either to the dichato or anakena servers and configure your internet browser to direct traffic through it.

(An unmatched left parenthesis creates an unresolved tension that will stay with you all day.

Google Group