Program - SPLASH 2024

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30	Opening SessionJENSFEST at Pasadena

09:00 10m Day opening		Welcome from Todd Millstein JENSFEST Todd Millstein University of California at Los Angeles
09:10 20m Keynote		Coccinelle: Program transformation in the real world JENSFEST Julia Lawall Inria
09:30 25m Talk		Lost and Found in the Fog of Trust JENSFEST Özgür Kesim Freie Universität Berlin, Christian Grothoff Bern University of Applied Sciences
09:55 25m Talk		MiniJava on RISC-V: A Game of Global Compilers Domination JENSFEST Jack Forden Marquette University, Alexander Gebhard Marquette University, Maverick Berner Marquette University, Dennis Brylow Marquette University

11:00 - 12:30	Morning Paper SessionJENSFEST at Pasadena

11:00 25m Talk		Towards Verification of a Denotational Semantics of Inheritance JENSFEST Peter D. Mosses Delft University of Technology and Swansea University DOI File Attached
11:25 25m Talk		Correct Compilation of Concurrent C Code JENSFEST John Bender Sandia National Laboratories
11:50 25m Talk		Unboxing Virgil ADTs For Fun and Profit JENSFEST Bradley Wei Jie Teo Jane Street, Ben L. Titzer Carnegie Mellon University

14:00 - 15:30	Afternoon Paper SessionJENSFEST at Pasadena

14:00 20m Keynote		Jens, the Ultimate PL Renaissance man! JENSFEST Vivek Sarkar Rice University, USA
14:20 25m Talk		The Essence of the Flyweight Design Pattern JENSFEST Fernando Magno Quintão Pereira Federal University of Minas Gerais, Caio Raposo Universidade Federal de Minas Gerais
14:45 25m Talk		The Normalization Barrier Revisited JENSFEST Shuo Ding Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology
15:10 20m Talk		Input Reduction with Reduction Trees JENSFEST Christian Gram Kalhauge Technical University of Denmark

16:00 - 17:30	Final SessionJENSFEST at Pasadena

16:00 20m Talk		Stories of Jens Palsberg for Fun and Profit JENSFEST V Krishna Nandivada IIT Madras
16:20 20m Talk		Dennis's talk JENSFEST Dennis Brylow Marquette University
16:40 10m Talk		Automated Repairs for Resource Leak Warnings JENSFEST Akshay Utture Uber Technologies Inc.
16:50 25m Talk		Nested Summations JENSFEST Olivier Danvy Yale-NUS College and School of Computing, Singapore DOI File Attached
17:15 15m Talk		Closing Remarks from Jens JENSFEST Jens Palsberg University of California, Los Angeles (UCLA)

JENSFEST 2024 Program

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

JENSFEST 2024 Program

Switch Program View

Program Display Configuration

Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change

Get Calendar (iCal)

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change