0 results

People (2 results)
Isil Dillig

Isil Dillig

UT Austin

all her degrees (BS, MS, and PhD) from Stanford University. …

Mathias Payer

Mathias Payer

Purdue University

… . All implementation prototypes from his group are open-source. …

Events (62 results)

The Curse of Knowledge

PLMW When: Tue 9 Jan 2018 14:30 - 15:00 People: Benjamin C. Pierce

… Writing well is hard for many reasons, but perhaps the hardest of all is what Steven 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 …

SweetPea: A Language for Designing Experiments

Off the Beaten Track 2018 When: Sat 13 Jan 2018 14:00 - 14:30 People: Annie Cherkaev, Sebastian Musslick, Jonathan Cohen, Vivek Srikumar, Matthew Flatt

… of all valid solutions. …

Explaining Type Errors

Off the Beaten Track 2018 When: Sat 13 Jan 2018 11:30 - 12:00 People: Brent Yorgey, Richard A. Eisenberg, Harley D. Eades III

… ", but ought to have all the tools of programming language theory and practice …

INVITED TALK: ``Safe'' Languages Require Sequential Consistency

PADL 2018 When: Mon 8 Jan 2018 14:00 - 14:30 People: Todd Millstein

… Almost all languages today are memory safe, thereby providing simple and strong guarantees to all programs. Yet the concurrency semantics of these “safe” languages causes similar problems as arise in memory-unsafe languages: small program …

Attending Information (4 results)

Childcare

… about Westside Nannies:**

TEMPORARY NANNIES

All … the signature WN Vetting Process. In additional all of our temporary nannies … Temporary Nanny is well-equipped to provide quality childcare!

All nannies undergo …

Students

… .

The Student Volunteer registration covers:

  • Access to all workshops, tutorials and the main conference,
  • Daily lunches and coffee breaks,
  • Access to all social … to make an early registration**: it will be extended to Dec 20 for all applicants …

Visa Support Letter

… ### Getting a Visa Support Letter

The ACM does not issue formal invitation letters for visas to attend POPL. We can however issue a visa support letter.

For visa support letters, please send all requests to the Office of SIG Services …

Tracks (11 results)

CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs

… on theoretical and practical topics in all areas, including computer science, mathematics … in all areas, including computer science, mathematics, and education, that consider … and relevance to the conference, all phrased for the non-specialist. Technical …

Off the Beaten Track 2018

… to solve all kinds of problems, in all areas of computer science. However, identifying … core PL problems we all know and love, can be a significant challenge … submit talk proposals via HotCRP.

All

Programming Languages Mentoring Workshop

… POPL on Tuesday, January 9. PLMW 2018 is open for registration to all students … and social activities

Accommodation for all funded students will be provided ….

The workshop registration is open to all. Students with alternative sources …

General (12 results)

PriSC 2018 Homepage

… PrisSC 2018 Welcome to the website of the PrisSC 2018 conference. We are working hard to fill the website with all related information. Please check back soon! 9ca4c639-292f-43cb-a6a5-539028fdf2d6 …

Off the Beaten Track 2018 Homepage

… Off the Beaten Track 2018 Welcome to the website of the Off the Beaten Track 2018 conference. We are working hard to fill the website with all related information. Please check back soon! fac8c7b4-74b2-4a52-ad01-f0490fb8df78 …

PLMW 2018 Homepage

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

Proceedings

… …