POPL 2017
Sun 15 - Sat 21 January 2017

0 results

People (2 results)
Isil Dillig

Isil Dillig

UT Austin

… Isil Dillig is an assistant professor of computer science at UT Austin. She obtained all her degrees (BS, MS, PhD) in computer science from Stanford University. Prior to joining UT Austin, she was a researcher at Microsoft Research …

Roberto Giacobazzi

Roberto Giacobazzi

University of Verona, Italy

… protection, and in malware analysis. In all these fields I am interested in studying …

Events (30 results)

Detecting All High-Level Dataraces in an RTOS Kernel.

VMCAI When: Tue 17 Jan 2017 16:30 - 17:00 People: Suvam Mukherjee, Arunkumar S, Deepak D'Souza

… for detecting all high-level dataraces in a system library like the kernel API …

Keynote talk: Varieties of Programming Experience

OBT When: Sat 21 Jan 2017 14:00 - 15:00 People: Alan Blackwell

… in all these styles. This talk therefore takes a “synchronic” approach … to all people and all tasks. All of these languages are primarily intended …

Abductive Reasoning in Deductive Verification

PLMW When: Tue 17 Jan 2017 09:30 - 10:00 People: Isil Dillig

… and a recipient of the NSF CAREER award. She obtained all her degrees (BS, MS, and PhD) from …

The Curse of Knowledge

PLMW When: Tue 17 Jan 2017 16:30 - 17:00 People: Benjamin C. Pierce

… Writing well is hard for many reasons, but perhaps the hardest of all is what Pinker calls “The Curse of Knowledge” — the difficulty of imagining ourselves inside the mind of someone who does not know something that we do know. We’ll …

Attending Information (3 results)

Students

… covers:

  • Access to all workshops and the main conference,
  • Daily lunches and coffee breaks,
  • Access to all social events, including the banquet … to Dec 20 for all applicants)

Positive notifications given in the first round …

Visas

… letters, refer all requests to supportletters@acm.org.
Those requesting a letter should allow 7-10 business days to receive it. All requests are handled …

Practical information

… .) but they are all inside Paris, directly connected to the subway system: see [RATP …, with some trains not stopping at some stations. However, all trains stop at stations …

Tracks (10 results)

CPP 2017

… CPP is an international forum on theoretical and practical topics in all areas … is an international forum on theoretical and practical topics in all areas …).

Papers should should not exceed 12 pages including all tables, figures …

Off the Beaten Track 2017

… , algorithms and abstractions to solve all kinds of problems, in all areas … those that lie outside the typical core PL problems we all know and love, can … EasyChair:

https://easychair.org/conferences/?conf=obt2017

All submissions should …

Programming Languages Mentoring Workshop

… , January 17. PLMW 2017 is open for registration to all students interested … Accommodation for all funded students will be provided at the Kellermann Centre … their application.

The workshop registration is open to all. Students …

Homepage (12 results)

PLMW Homepage

… Programming Languages Mentoring Workshop 2017 Welcome to the website of the Programming Languages Mentoring Workshop 2017 conference. We are working hard to fill the website with all related information. Please check back soon …

CPP 2017 Homepage

… Certified Programs and Proofs 2017 Welcome to the website of the Certified Programs and Proofs 2017 conference. We are working hard to fill the website with all related information. Please check back soon …

CoqPL 2017 Homepage

… Coq for PL 2017 Welcome to the website of the Coq for PL 2017 conference. We are working hard to fill the website with all related information. Please check back soon! aeaf5b9e-763a-469f-b587-226c99174338 …