Stories of Jens Palsberg for Fun and Profit (JENSFEST 2024) - SPLASH 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

Track

This program is tentative and subject to change.

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

When

Tue 22 Oct 2024 16:00 - 16:20 at Pasadena - Final Session

This program is tentative and subject to change.

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

Session Program

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

	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
	17:15 15m Talk		Closing Remarks from Jens JENSFEST Jens Palsberg University of California, Los Angeles (UCLA)

Hide past events

V Krishna Nandivada

V Krishna Nandivada

IIT Madras