Write a Blog >>

0 results

People (6 results)
Mark Jones

Mark Jones

Portland State University

… I am a Professor in the Department of Computer Science in the Maseeh College of Engineering & Computer Science at Portland State University in Portland, Oregon, USA.

My research interests include all aspects of programming language design …

Isil Dillig

Isil Dillig

University of Texas Austin

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

Michael James

Michael James

University of California, San Diego

… to help other engineers and make programming easier for all. …

Events (37 results)

Invited Talk: We Are All Poor Schmucks: On the Value of Gradual Types

PADL 2020 When: Tue 21 Jan 2020 15:30 - 16:00 People: Philip Wadler

… …

How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond

PLMW 2020 When: Tue 21 Jan 2020 15:40 - 16:40 People: Kenny Foner

… , but I also want all listeners to be empowered to choose (either before or at any …

Gradual Verification of Recursive Heap Data Structures

WGT When: Sat 25 Jan 2020 15:35 - 16:07 People: Jenna Wise, Johannes Bader, Jonathan Aldrich, Éric Tanter, Joshua Sunshine

… , if at all. It draws from research on gradual typing to produce a verification system …

Blame tracking at higher fidelity

WGT When: Sat 25 Jan 2020 16:50 - 17:20 People: Jakub Zalewski, James McKinna, J. Garrett Morris, Philip Wadler

… This paper introduces λdB, a blame calculus with dependent types. It supports dependent functions, predicate refinement at all types, the dynamic type, and full blame tracking. It is inspired by and extends previous work on hybrid types …

Attending Information (6 results)

Mentoring Events

… ### [See all mentoring events in the program](https://popl20.sigplan.org … in their workplaces and communities. This includes women of all races, people of color, people with disabilities, LGBTQ folks, parents, caregivers of all sorts …

Supporting POPL

… from all over the world, does so at a considerable environmental expense. We … and underrepresented minority students to attend both POPL and PLMW. All funds designated … on your needs and interests.

Carbon Offset Support: $20,000

  • All

Information for Students

… .

The Student Volunteer registration covers:

  • Access to all workshops, tutorials and the main conference,
  • Daily lunches and coffee breaks,
  • Access to all
Tracks (16 results)

Programming Languages for Quantum Computing

… /POPL-2020-tutorialfest/2/Verified-Quantum-Computing).

All of the recorded talks … interested in attending all of POPL (particularly those interested …

The 22nd International Symposium on Practical Aspects of Declarative Languages

… and implementation techniques for all forms of declarative programming, including functional …/conferences/?conf=padl2020

All submissions must be original work written …) will be granted to all conference participants for 4 weeks through the following …

The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs

… on practical and theoretical topics in all areas that consider certification … Grill](https://www.redfishgrill.com/) – sold out!

This is all possible … Conference on Certified Programs and Proofs (CPP) covers all areas that consider …

General (13 results)

CPP 2020 Homepage

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

WGT 2020 Homepage

… Workshop on Gradual Typing 2020 Welcome to the website of the Workshop on Gradual Typing 2020 conference. We are working hard to fill the website with all related information. Please check back soon! 977ae8d5-5953-4971-bbf9-b88aeb398677 …

LAFI 2020 Homepage

… LAFI 2020 Welcome to the website of the LAFI 2020 conference. We are working hard to fill the website with all related information. Please check back soon! d787dba7-2221-441e-ab42-7f369c224abe …