Write a Blog >>

0 results

People (6 results)
Mark Jones

Mark Jones

… …

Isil Dillig

Isil Dillig

… …

Michael James

Michael James

… …

Events (29 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

… …

Hermes: Implementing Cryptography without Side-channels

Principles of Secure Compilation 2020 People: Ken Friis Larsen, Torben Mogensen, Michael Kirkedal Thomsen

… ensures that all variables are cleared after use, thus avoiding state information …

Exorcising Spectres with Secure Compilers

Principles of Secure Compilation 2020 People: Marco Patrignani, Marco Guarnieri

… Speculative execution attacks like Spectre can be used to violate confidentiality in all modern general-purpose CPUs. Recently, many compiler-level countermeasures have been proposed to mitigate the impact of Spectre-style attacks. However …

Trace-Relating Compiler Correctness and Secure Compilation

Principles of Secure Compilation 2020 People: Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Cătălin Hriţcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

… Compiler correctness is, in its simplest form, defined as the inclusion of the set of traces of the compiled program into the set of traces of the original program, which is equivalent to the preservation of all trace properties. Here …

Attending Information (5 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 (14 results)

Programming Languages for Quantum Computing

… interested in attending all of POPL (particularly those interested in volunteering …

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

… on practical and theoretical topics in all areas that consider certification … subsidized) conference dinner. This is all possible thanks to our generous … International Conference on Certified Programs and Proofs (CPP) covers all areas …

: 22nd Symposium on Practical Aspects of Declarative Languages

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

All submissions must be original work written …

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 …