From: Sam Lindley <Sam.Lindley@ed.ac.uk>
To: <caml-list@inria.fr>
Subject: [Caml-list] PEPM 2021 - Call for Participation
Date: Fri, 8 Jan 2021 19:44:56 +0000 [thread overview]
Message-ID: <0b507edd-392f-3174-c711-25b125f48dc6@ed.ac.uk> (raw)
-- 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.
reply other threads:[~2021-01-08 19:45 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=0b507edd-392f-3174-c711-25b125f48dc6@ed.ac.uk \
--to=sam.lindley@ed.ac.uk \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox