[TYPES/announce] PEPM 2021 - Call for Participation

Sam Lindley Sam.Lindley at ed.ac.uk
Fri Jan 8 14:45:44 EST 2021


                         -- CALL FOR PARTICIPATION --

ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021
===============================================================================

   * Website : https://popl21.sigplan.org/home/pepm-2021
   * Time    : 18th--19th January 2021
   * Place   : Online (co-located with POPL 2021)


Registration
------------

   https://popl21.sigplan.org/attending/Registration

The registration fee for POPL and all associated events (including
PEPM) is a nominal US$10 (or optionally, if you are willing and able
to pay more, some other amount based on your status).

Early registration deadline: **Sunday 10th January, 2021**


Keynote speakers
----------------

Pat Hanrahan (Stanford)
   TBC

Julia Lawall (Inria)
   Program manipulation of C code: from partial evaluation to semantic
   patches for the Linux kernel

Matúš Tejiščák (Chordify)
   Erasure in dependently typed programming


Preliminary Schedule
--------------------

(All talks are live. All times are CET, i.e. UTC+1.)

Monday 18th January 2021

   1000--1030
     A functional Abstraction of Type Trails
       Kenichi Asai, *Youyou Cong*, Chiaki Ishio
   1030--1100
     A Text-based Syntax Completion Method Using LR Parsing
       *Isao Sasano*, Kwanghoon Choi

   1100--1130 break

   1130--1200
     Coq to C Translation with Partial Evaluation
       Akira Tanaka
   1200--1230
     Counterexample Generation for Program Verification based on
     Ownership Refinement Types
       *Hideto Ueno*, John Toman, Naoki Kobayashi, Takeshi
        Tsukada

   1230--1330 break

   1330--1400
     Control Flow Obfuscation for Featherweight Java using
     Continuation Passing
       Kenny Zhuo Ming Lu
   1400--1430
     Efficient Fair Conjunction for Structurally-Recursive
     Relations
       Petr Lozov, Dmitri Boulytchev

   1430--1500 break

   1500--1600 keynote 1
     Program manipulation of C code: from partial evaluation to
     semantic patches for the Linux kernel
       Julia Lawall (Inria)

Tuesday 19th January 2021

   1500--1600 keynote 2
     Erasure in dependently typed programming
       Matúš Tejiščák (Chordify)

   1600--1630 break

   1630--1700
     Staged Effects and Handlers for Modular Languages with
     Abstraction
       *Casper Bach Poulsen*, Cas van der Rest, Tom Schrijvers
   1700--1730
     Automatic Differentiation via Effects and Handlers: An
     Implementation in Frank
       Jesse Sigal

   1730--1800 break

   1800--1830
     A Type-Safe Structure Editor Calculus
       Christian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel
       Korup Lauridsen, Iman Owliaie
   1830--1900
     Strictly Capturing Non-Strict Closures
       Zachary Sullivan, Paul Downen, Zena M. Ariola

   1900--1930 break

   1930--2030 keynote 3
     TBC
       Pat Hanrahan (Stanford)


Best paper award
----------------

PEPM 2021 continues the tradition of a Best Paper award. The winner
will be announced at the workshop.
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.


More information about the Types-announce mailing list