From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id A97285D5 for ; Fri, 8 Jan 2021 19:45:06 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,332,1602540000"; d="scan'208";a="486173979" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Jan 2021 20:45:05 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 878EEE00C7; Fri, 8 Jan 2021 20:45:05 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 1506CE00A6 for ; Fri, 8 Jan 2021 20:45:01 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Sam.Lindley@ed.ac.uk; spf=Pass smtp.mailfrom=Sam.Lindley@ed.ac.uk; spf=Pass smtp.helo=postmaster@seine.is.ed.ac.uk IronPort-PHdr: =?us-ascii?q?9a23=3AGs8IjxUUDtFUJgAdtLVHgkBKJjTV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBGEt8tkgFKBZ4jH8fUM07OQ7/m/HzZcvN3d7TgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrrwjdrNcajIRiJ6o+xRbEomZDdv?= =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?= =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?= =?us-ascii?q?sLOjgk+2zRl8d+jr9UoAi5qhJhw4DafYKbOvRwcazBct0aRGVOU91NVyxYGI6w?= =?us-ascii?q?c5cDAuQDMOtesoLzp0EOrRy7BQS0Ge3g0DpIjWLw06071eQuDAXG0xIgHtkTt3?= =?us-ascii?q?nasc/6NKIIXe6zzanIyyjMb/dI1jb984XHbA0ureuWUr1sa8bR1EovGhrDg16N?= =?us-ascii?q?poPrIymb2f4Rs2iH8eVgT+SvhnYppgxsrDWj2NoghIfUio8X11zI6Dh0zJg6K9?= =?us-ascii?q?O3SEB2btCpHYZNuyyUNoZ7Qs0sTmB2tCg1xLMLtp+2cSYXxZklwRPUdvKJc4+N?= =?us-ascii?q?4h35VeaRJy91hGlkeLKwnxay9VKvyuvmWsmzylZKoSxImcTPuHAVzxHf99aLR/?= =?us-ascii?q?9n8ku/xDqC1xrf5vxGLEwui6bXN4AtzqYzm5cQq0jOGi37lF/0gaKWbEkp+uql?= =?us-ascii?q?5uL6abv8vJCcLZV7igTmP6QuhMO/BeM4PxAVX2eF+OS80qPs8Vf4QLVRlPE5jL?= =?us-ascii?q?TWvIrAKssHvKK5HgxV3p4i6xa5ETimzMwVkWQZIF9BYh6LkZXlNlHULPzlD/qz?= =?us-ascii?q?mUqgnCt1y/zeO73uGJTNLnzNkLf7erZ97lZRxhcpwtBa/Z5aDLABIPTuVU/1qt?= =?us-ascii?q?PZDgQ0PBKpzOr9EtpyypkSWX+MAqOBKqPdrUeI5v4zI+mLfIIapCzyK/0h5/L3?= =?us-ascii?q?iX85mEQdfbWy0JsMaHG4G+xmLF+DbXrthNcBC2YKsRAkQOzkkl3RGQJUMiK5Vq?= =?us-ascii?q?c4ozU6E56ODIHZR4nrjqbXjwmhGZgDXWlDQnSNF3vsepTMD8wFbWS2I8ltljEV?= =?us-ascii?q?fbWtDYYqkwyt4lypg4F7J/bZr3VL/ano08J4srWKxEMCsAdsBsHY6FmjCmR9n2?= =?us-ascii?q?cGXTgzhfgtrEA7w1zFzKsq2qUER+wW3OtAV0IBDbCZ1/ZzUoigVw6Hd9zPVVX0?= =?us-ascii?q?Goz7UwF0dco4xpo1W2g4G9imiUmSjTGnArkY0b2QQpE4tKvXmWXydZ9w?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A8BADotPhfh8oR14FigQmBT4FTUX1bL?= =?us-ascii?q?y4KhDWDSAOFOYgJCCWZE4EugXwCCQEDAQsBASMKAgQBAYUBgTsCHgYBBDIHDgI?= =?us-ascii?q?QAQEFAQEBAgEDAwQBEwEBAQENCwkIKYVoDII4IoM9BhUIAQERHwIGGBwCJgI0K?= =?us-ascii?q?w0IAQGDIgGDBgEDC5IIkGsCixuBMoMEAQEGgTcFgRCDAyEWgTkDBoEOKo1ggU0?= =?us-ascii?q?/gREnDAOEJYQHgkuCYIN/gQUKCgMykGMIqBcsB4J5gRwLiAOSKQUpkwuPU4Ydm?= =?us-ascii?q?QqWKQIEAgQFAg4BAQUBgV0KggBNNIMoUBcCDVeNYgKIa4Jmgl50NwIGAQkBAQM?= =?us-ascii?q?JWyGKQAGBEAEB?= X-IPAS-Result: =?us-ascii?q?A0A8BADotPhfh8oR14FigQmBT4FTUX1bLy4KhDWDSAOFOYg?= =?us-ascii?q?JCCWZE4EugXwCCQEDAQsBASMKAgQBAYUBgTsCHgYBBDIHDgIQAQEFAQEBAgEDA?= =?us-ascii?q?wQBEwEBAQENCwkIKYVoDII4IoM9BhUIAQERHwIGGBwCJgI0Kw0IAQGDIgGDBgE?= =?us-ascii?q?DC5IIkGsCixuBMoMEAQEGgTcFgRCDAyEWgTkDBoEOKo1ggU0/gREnDAOEJYQHg?= =?us-ascii?q?kuCYIN/gQUKCgMykGMIqBcsB4J5gRwLiAOSKQUpkwuPU4YdmQqWKQIEAgQFAg4?= =?us-ascii?q?BAQUBgV0KggBNNIMoUBcCDVeNYgKIa4Jmgl50NwIGAQkBAQMJWyGKQAGBEAEB?= X-IronPort-AV: E=Sophos;i="5.79,332,1602540000"; d="scan'208";a="369468145" X-MGA-submission: =?us-ascii?q?MDFOdq/QY5/tRUCBoWwJlVx1oeBn58BuNpoj6G?= =?us-ascii?q?P5irA8ub9/SjXDa3osQRC8jakYJMLlOrQMiyCy1BzXBWfcFOzce3dpQg?= =?us-ascii?q?eAKJ9oPpxrupr8Kq0bcg9EwckdzZwcINnNdFrgpjdxfSfxz9Hn5La9Uy?= =?us-ascii?q?bhn+cqWsscVKguaELo50+9uA=3D=3D?= Received: from seine.is.ed.ac.uk ([129.215.17.202]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Jan 2021 20:44:59 +0100 Received: from exseed.ed.ac.uk (hbdkb3.is.ed.ac.uk [129.215.235.37]) by seine.is.ed.ac.uk (8.14.7/8.14.7) with ESMTP id 108Jix7L002542 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Fri, 8 Jan 2021 19:44:59 GMT Received: from hbdat3.is.ed.ac.uk (129.215.235.38) by hbdkb3.is.ed.ac.uk (129.215.235.37) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2106.2; Fri, 8 Jan 2021 19:44:58 +0000 Received: from EUR03-DB5-obe.outbound.protection.outlook.com (104.47.10.57) by hbdat3.is.ed.ac.uk (129.215.235.38) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2106.2 via Frontend Transport; Fri, 8 Jan 2021 19:44:58 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=kSkMlFXKCUBO8jK2e8sPusb5fiKdMUKn80tTw7CfcaM037CxMiIIXnmNKNNO1PISuCk/T9wX45rpRi8ya3PwatYGLdryPFvJoFFlPsRBZDGehKykIZqx9SYNjIKM1QzKfLbhmgMg6NtRt3tPgcG1sE3pLIWIiUOwjHhbVeFS2CtJCoruN8f3TXqysiexuAITFfltlFFrE16DlL1nl3hV+sSCM0AfVTnyV1iizHsoB3aML9Xb0vzLmiv4/0FZ3okUnjaeH1cDbz2BuwD7CM7cLVN7AQhfdakj78MPo4D1TzBu65tQogJJ+6VtiXwRchm4asFk1Q9122FS8l8paDGCGg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=OigLDyf+cX2O4wGAuNbf+6PArx258Bb2TZ3eOsa5pfk=; b=QlH+6AGCn00A5jfVQEUMmJCccOYJ2UIG8qwZz5hM/zucSiroeaJ2gfaOfr0AF5/7lBFu5OpB2hvWkNv84s27J/RsVpiU0m+QQM0wnX5n80suY+UG3wt4KvIcF2pyVNmOItqTu4t5L/JpD2hJUTtoZbP9kvcc1F9QSQ5nOmHDex4FqmDZ6da24+bUdyer2yHlxfsIRifd7zxOiVgz3yti6Eowt5d/DzrYPxIhbkR22+//E25OXv/jZEtmF4FQV5Ezc9nFJwCgSUWIRO9gwTmUD4xEZODxLPZ4CKpPO9wh9Wu0T/erBW9WI1fu0UhRQs0pcaXEG3LbCWaHFClsJIeW2g== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ed.ac.uk; dmarc=pass action=none header.from=ed.ac.uk; dkim=pass header.d=ed.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ed.ac.uk; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=OigLDyf+cX2O4wGAuNbf+6PArx258Bb2TZ3eOsa5pfk=; b=38rSrkRcM69ibEB6yFdTAyvqL2FXp8ManVjnEC+0PX3alTkzMhrAMCuhfKOTfq/C/pxgEacLrELQHYgMQRRmntw/Dbky/f/v+V0IREpZQ18hMvL8kEtv4QB0+R0/4tmYqrFussvHzeoyu6+ep2S8Wtvw99iuucSaltahpStlbS8qz2qLlpZH0E9OMy/5CSivEBE2Zk2/YAMFCL1o43wfjiC9H57Vc5nkYbxm2r/alL3l4+1MOZ7InH4k3hNWourbufnJtpfQOfIt+mMg4H73/q+DXKA4D9T4ljUQZmhmcMIIv+8i6Rx1eZQbEn+8+/1xRGaLgrSBmxfBcV5D8B1SWw== Received: from PR1PR05MB5450.eurprd05.prod.outlook.com (2603:10a6:102:5::30) by PA4PR05MB7773.eurprd05.prod.outlook.com (2603:10a6:102:f4::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3742.6; Fri, 8 Jan 2021 19:44:58 +0000 Received: from PR1PR05MB5450.eurprd05.prod.outlook.com ([fe80::dcbd:a746:11eb:89d7]) by PR1PR05MB5450.eurprd05.prod.outlook.com ([fe80::dcbd:a746:11eb:89d7%7]) with mapi id 15.20.3721.024; Fri, 8 Jan 2021 19:44:58 +0000 To: From: Sam Lindley Message-ID: <0b507edd-392f-3174-c711-25b125f48dc6@ed.ac.uk> Date: Fri, 8 Jan 2021 19:44:56 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-GB Content-Transfer-Encoding: quoted-printable X-Originating-IP: [88.97.75.57] X-ClientProxiedBy: LO2P265CA0493.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:13a::18) To PR1PR05MB5450.eurprd05.prod.outlook.com (2603:10a6:102:5::30) MIME-Version: 1.0 X-MS-Exchange-MessageSentRepresentingType: 1 Received: from [192.168.1.99] (88.97.75.57) by LO2P265CA0493.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:13a::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3742.6 via Frontend Transport; Fri, 8 Jan 2021 19:44:57 +0000 X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 246bfc65-efd4-44d7-cc60-08d8b40de178 X-MS-TrafficTypeDiagnostic: PA4PR05MB7773: X-Microsoft-Antispam-PRVS: X-MS-Oob-TLC-OOBClassifiers: OLM:8273; X-MS-Exchange-SenderADCheck: 1 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: i+PuPppl6Vp4eKyvt7x19z8RgVk7LDmehoEWD7ym4Iv7opD81p9ZgIhi+6bKN9OrmVKp9kSM1mHvVwPhFWRhxuJ4jF9oeSAAoDc4TYveqcUg+lFy96cA5RXTqnM+J4m3Yz9810N9s1mNnYg0Boy2qNDR9z/54cmeRTax52azqZ8AwniZok9BA0lfXC5qC98otCcl6r5TpOs/UERfCD/WjUXkBN3JPbwuBoccj28MDZAFb/FMjBpcjsjiffOFO2o1F2CsXg8FiM2vnNnIYPYSYWEOMszlQb42I3dnIQ4bjBPumR/B9VJqkX2WJYKcaxinbT/+4lL6fvmoGiF8drmSm73LIM8kZBTtrnlOdiQQvcyVp7mqyryur0jcHmasvqu4BswtlRuC6vqPqeDhY0DN1xa+LZSou/O6rJH3TXlAj8CmkSAA2ywJlacU4Y1i+spwtmul8BgDZpz/ctAa91Spr3C8sF+7m2Yh/rRAzD2Yxx/G8KMbewnbNA23yIDMXAuMTQyMpTFuo9ZanyCjIO4yguOsI3/qO2UnUUyNx8u9bKOiShEJdzO9h3bKSVLEy5LW X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:PR1PR05MB5450.eurprd05.prod.outlook.com;PTR:;CAT:NONE;SFS:(136003)(39860400002)(396003)(376002)(346002)(366004)(52116002)(83380400001)(478600001)(5660300002)(966005)(8936002)(31686004)(6916009)(16526019)(8676002)(66946007)(66476007)(66556008)(36756003)(6486002)(66574015)(26005)(86362001)(2616005)(956004)(31696002)(16576012)(2906002)(186003)(316002)(786003)(43740500002)(45980500001);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData: =?utf-8?B?aS94Rk83ei9kMkZDZXptZnNNcitnV1A3NEtGcDVobUpuSmdOamU2cDlrSjE4?= =?utf-8?B?ZUdxSjJVMDRtdERHQXY3TXh1eHRWMmdRRndKZDZtNjdnVXk0UEJTZllDRDUz?= =?utf-8?B?OEgwUGh0QVpiRFRaQ0MwMTdPOEJjR2g2L2VlZ1ZrMzE0c3Z1cHJuSmpzNFN2?= =?utf-8?B?VDRHK1grT0ZrYUNYUUtVRUJ2ak1Zc0FFai91NEgyLzFSUjdCSUtBT3crbkpC?= =?utf-8?B?K2gyZ1FTcEl2b3RTdDMrRTdXZlB4QzJla1AzQXcwVm8ycHR6eElkeEZLSXNU?= =?utf-8?B?V2Z4MUtreUJtMFM0b3pmdzIxYTdDVDRGZkY2VmpHSkJicFdUYk5DRGQzL2Rl?= =?utf-8?B?RWpMWWMxcGpIQmY4amVnZkxpbEdSL3hCdjFEcWJvRXZEeVZWU25RVWNkTXA3?= =?utf-8?B?TXdZeEdyY0ZpZVJkK1NoNVVndkt3eUNuWnBicmtGY1JyVHRjSjJhODFldGox?= =?utf-8?B?TlEwODRGVk45Q1VLSFhDZ0tsbG9QaHpWV2hrdFEycWJGaEU5eEJxMHpJMVpQ?= =?utf-8?B?ZjZtYkh2dTJkcis1dWxsWmRsblNjR202M3ZITkZPYlhCbzRyT0VUbjdzbFBx?= =?utf-8?B?ajNUMmptYmxjUXlCSnp6RTdFZlhxRGVhbFF5K3lNYnk2Uld3ZkFHZ3F6aGw5?= =?utf-8?B?ODlWWW9qRXNYY0k0cnRMOERyc0I0a2t2RytCdWhSUmdPV21kK25IM3YzcFNQ?= =?utf-8?B?OEozMmhhNmVtYjI2RU51YWJTSGtubHBkbW9iOVBKdHN0KzNzRnZMbHlLelpC?= =?utf-8?B?SDIvRTZsSXBoMWRRd3poUldOMjFEN0k0bmhoK0RxQWZlanEzU2U1STlFNXVp?= =?utf-8?B?R1Y3djZHcmlMVFoxU3NKbUZnNHhEKzdjZ3ZEb0g5RzRIRTdqU1lJbHpKQWFk?= =?utf-8?B?OEhrS05ueTBNTTNhUG5UUjQyYmJoclN4VmtnYWZnK0JaWEszMG4xZUxLdUFs?= =?utf-8?B?Z3liNHcwSENURWliUVdha0NUQ2VTVDFSNzQ4UWdyd2ZwU0pXejc5NnVtNjc4?= =?utf-8?B?N0FYS1N2T3l1akZQd1BlTGszWEczaFU0L0dweE43dUFIcncwYXV6eFZ4TDVm?= =?utf-8?B?YitFSE5YSU9nckZkcHAxb2tDME1NMTB2aCt5dHZobUMvelFIUFRXNGhobWQ5?= =?utf-8?B?bGQ4SHNxZy9GaUsyZ0NTRFFLVG0wYnlwb2lxUGdYbFZxU1VNN0ZKeE8vKzBs?= =?utf-8?B?b25Ebis3OERFdEtZVVo3VVNhYUVtUDA1cmhxbHhZbTVGUFFOSk14WnljVDJ3?= =?utf-8?B?a1VKbk43QUdZeU02RW5QazkvRWJHL0N3b3VodTI3MW9WOGZub0dKaFY1MVp0?= =?utf-8?Q?CVBEPqo3l3Rzo=3D?= X-MS-Exchange-CrossTenant-AuthSource: PR1PR05MB5450.eurprd05.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 08 Jan 2021 19:44:58.2000 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 2e9f06b0-1669-4589-8789-10a06934dc61 X-MS-Exchange-CrossTenant-Network-Message-Id: 246bfc65-efd4-44d7-cc60-08d8b40de178 X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: o+ZxcnO3li5y7sFiGnTiLIi30HBOCaVxkqz8s/p3255Fy507b9fNc+KgXBaXsKvcg3knuG8IjvCVzK8oimc3aw== X-MS-Exchange-Transport-CrossTenantHeadersStamped: PA4PR05MB7773 X-OriginatorOrg: ed.ac.uk X-Edinburgh-Scanned: at seine.is.ed.ac.uk Subject: [Caml-list] PEPM 2021 - Call for Participation Reply-To: Sam Lindley X-Loop: caml-list@inria.fr X-Sequence: 18350 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: -- CALL FOR PARTICIPATION -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) = 2021 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D * 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=C3=BA=C5=A1 Teji=C5=A1=C4=8D=C3=A1k (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=C3=BA=C5=A1 Teji=C5=A1=C4=8D=C3=A1k (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=C3=BCttel, 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, w= ith registration number SC005336.