[Caml-list] PEPM 2021 - Call for Participation

-- 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.