[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
-- 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.
