caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
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;
as well as URLs for NNTP newsgroup(s).