Flowers Room - POPL 2024

VenueInstitution of Engineering and Technology

Room nameFlowers Room

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect 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

Mon 15 Jan
Displayed time zone: London change

09:00 - 10:30	Morning Track 3TutorialFest at Flowers Room

09:00 90m Tutorial		Foundations of Type-Driven Probabilistic Modelling TutorialFest Ohad Kammar University of Edinburgh Pre-print

11:00 - 12:30	Morning Track 3TutorialFest at Flowers Room

11:00 90m Tutorial		Foundations of Type-Driven Probabilistic Modelling TutorialFest Ohad Kammar University of Edinburgh Pre-print

14:00 - 15:30	Afternoon Track 3TutorialFest at Flowers Room

14:00 90m Tutorial		Verified Message-Passing Concurrency in Iris: Separation Logic Meets Session Types TutorialFest Jonas Kastberg Hinrichsen Aarhus University, Denmark, Jules Jacobs Radboud University Nijmegen, Robbert Krebbers Radboud University Nijmegen File Attached

16:00 - 17:30	Afternoon Track 3TutorialFest at Flowers Room

16:00 90m Tutorial		Verified Message-Passing Concurrency in Iris: Separation Logic Meets Session Types TutorialFest Jonas Kastberg Hinrichsen Aarhus University, Denmark, Jules Jacobs Radboud University Nijmegen, Robbert Krebbers Radboud University Nijmegen File Attached

Tue 16 Jan
Displayed time zone: London change

09:00 - 10:30	Session 1POCL at Flowers Room Chair(s): Peter Sewell University of Cambridge

09:00 40m Talk		The state of Morello and CHERI POCL Robert N. M. Watson University of Cambridge
09:45 15m Talk		The state of Morello software and projects POCL Konrad Witaszczyk University of Cambridge, UK
10:00 15m Talk		The Morello ISA semantics, proof, and test generation POCL Thomas Bauereiss University of Cambridge, Brian Campbell University of Edinburgh
10:15 15m Talk		Morello Cerise: proving secure encapsulation (work in progress) POCL Angus Hammond University of Cambridge, Ricardo Almeida University of Edinburgh

11:00 - 12:30	Session 2POCL at Flowers Room Chair(s): Ian Stark The University of Edinburgh

11:00 22m Talk		Compartmentalisation models POCL Dapeng Gao University of Cambridge
11:22 23m Talk		Proving capability safety in the presence of indirect sentries POCL June Rousseau Aarhus University, Aina Linn Georges Max Planck Institute for Software Systems (MPI-SWS), Dominique Devriese KU Leuven, Jean Pichon-Pharabod Aarhus University, Lars Birkedal Aarhus University
11:45 22m Talk		Sealed with a Library Call: Memory Allocators Should Track Capability Seal Operations POCL Jeremy Singer University of Glasgow File Attached
12:08 22m Talk		Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress) POCL Elias Storme KU Leuven, Sander Huyghebaert Vrije Universiteit Brussel, Steven Keuchel Vrije Universiteit Brussel, Thomas Van Strydonck KULeuven, Dominique Devriese KU Leuven

14:00 - 15:30	Session 3POCL at Flowers Room Chair(s): Simon W. Moore University of Cambridge

14:00 22m Talk		Morello software and compilers POCL Jessica Clarke University of Cambridge
14:22 22m Talk		CHERI C semantics POCL Vadim Zaliva University of Cambridge, UK
14:45 22m Talk		CHERI static analysis POCL Irina Dudina University of Edinburgh
15:07 22m Talk		ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESBMC POCL Franz Brausse The University of Manchester, Kunjian Song The University of Manchester, Fedor Shmarov The University of Manchester, Rafael Menezes University of Manchester, Mikhail R. Gadelha Igalia, Konstantin Korovin University of Manchester, Giles Reger University of Manchester, Lucas C. Cordeiro University of Manchester, UK

16:00 - 17:30	Session 4POCL at Flowers Room Chair(s): Brian Campbell University of Edinburgh

16:00 22m Talk		Rust on Morello POCL Sarah Harris University of Kent, Simon Cooksey NVIDIA, Michael Vollmer University of Kent, Mark Batty University of Kent
16:22 22m Talk		Capabilities for safe cross-language interoperability POCL David Chisnall SCI Semiconductor
16:45 22m Talk		Concurrent Mutation must go POCL Matthew J. Parkinson Microsoft Azure Research, Sylvan Clebsch Microsoft Azure Research, Tobias Wrigstad Uppsala University, Sophia Drossopoulou Imperial College London, Elias Castegren KTH Royal Institute of Technology, Ellen Arvidsson Uppsala University, Luke Cheeseman Imperial College London
17:07 22m Talk		Object Capabilities POCL Sophia Drossopoulou Imperial College London, Susan Eisenbach Imperial College London, Julian Mackay Victoria University of Wellington, James Noble Creative Research & Programming

Sat 20 Jan
Displayed time zone: London change

09:00 - 10:30	KeynotePROPL at Flowers Room Chair(s): Anil Madhavapeddy University of Cambridge, UK

09:00 45m Keynote		Setting the stage for AI for biodiversity PROPL Drew Purves Google DeepMind
09:45 45m Keynote		Building Open Source Software for Climate Change Research — Lessons Learned from Mimi.jlRemote PROPL Lisa Rennels University of California at Berkeley

11:00 - 12:30	Modelling and analysis / Energy and efficiencyPROPL at Flowers Room Chair(s): Ryan Gibb

11:00 20m Talk		The programming challenges of climate data analysis PROPL Ezequiel Cimadevilla Instituto de Fisica de Cantabria
11:20 20m Talk		Categorical Composition of Discrete Exterior Calculus Climate ModelsRemote PROPL Luke Morris University of Florida, George Rauta University of Florida, James Fairbanks University of Florida
11:40 20m Talk		Formal Methods to Save the Earth PROPL Hongyi Huang National University of Singapore, Jialin Li National University of Singapore, Singapore, Umang Mathur National University of Singapore
12:00 20m Talk		Kepler Watt Store: Kepler Software Watt Watcher StoreRemote PROPL PARUL SINGH RED HAT, Huamin Chen RED HAT, Christophe Laprun RED HAT
12:20 10m Other		Discussion PROPL

14:00 - 15:30	Software engineering and ecosystemsPROPL at Flowers Room Chair(s): Michael Dales University of Cambridge, UK

14:00 20m Talk		Assessing the availability, reproducibility and reuseability of research software PROPL Vashti Galpin University of Edinburgh
14:20 20m Talk		Fluid: towards transparent, self-explanatory research outputs PROPL Joe Bond University of Bristol, UK, Cristina David University of Bristol, Minh Nguyen University of Bristol, Roly Perera University of Cambridge/University of Bristol Pre-print
14:40 20m Talk		Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine PROPL Alexander Bandukwala Unaffiliated, Andrew Blinn University of Michigan, Cyrus Omar University of Michigan
15:00 30m Other		Discussion on multidisciplinary PROPL-work PROPL Patrick Ferris University of Cambridge, UK, Michael Dales University of Cambridge, UK

16:00 - 17:30	Policy and decision making / BrainstormingPROPL at Flowers Room Chair(s): Vashti Galpin University of Edinburgh

16:00 20m Talk		Scalable agent-based models for optimized policy design: applications to the economics of biodiversity and carbon PROPL Sharan Agrawal University of Cambridge, UK Link to publication
16:20 20m Talk		Can computer science help climate policy making?Remote PROPL Nicola Botta Potsdam Institute for Climate Impact Research (PIK), Patrik Jansson Chalmers University of Technology and University of Gothenbrug
16:40 50m Other		Discussion and brain storming: How can the CS/PL community help address the current planetary crises? PROPL Dominic Orchard University of Kent, UK and University of Cambridge, UK, Anil Madhavapeddy University of Cambridge, UK

Mon 15 Jan
Displayed time zone: London change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Flowers Room	TutorialFest Morning Track 3																								TutorialFest Morning Track 3																																				TutorialFest Afternoon Track 3																								TutorialFest Afternoon Track 3

Tue 16 Jan
Displayed time zone: London change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Flowers Room	POCL Session 1																								POCL Session 2																																				POCL Session 3																								POCL Session 4

Sat 20 Jan
Displayed time zone: London change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Flowers Room	PROPL Keynote																								PROPL Modelling and analysis / Energy and efficiency																																				PROPL Software engineering and ecosystems																								PROPL Policy and decision making / Brainstorming

Mon 15 Jan
Displayed time zone: London change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Flowers Room	POPL TutorialFest Foundations of Type-Driven Probabilistic Modelling 09:00 - 10:30																								POPL TutorialFest Foundations of Type-Driven Probabilistic Modelling 11:00 - 12:30																																				POPL TutorialFest Verified Message-Passing Concurrency in Iris: Separation Logic Meets Se ... 14:00 - 15:30																								POPL TutorialFest Verified Message-Passing Concurrency in Iris: Separation Logic Meets Se ... 16:00 - 17:30

Tue 16 Jan
Displayed time zone: London change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Flowers Room	POCL The state of Morello and CHERI 09:00 - 09:40									POCL The state of Morello software and projects 09:45 - 10:00			POCL The Morello ISA semantics, proof, and test generation 10:00 - 10:15			POCL Morello Cerise: proving secure encapsulation (work in progress) 10:15 - 10:30									POCL Compartmentalisation models 11:00 - 11:22				POCL Proving capability safety in the presence of indirect sentries 11:22 - 11:45					POCL Sealed with a Library Call: Memory Allocators Should Track Capability S ... 11:45 - 12:07					POCL Secure Calling Conventions for CHERI Capability Machines in Practice (W ... 12:08 - 12:30																						POCL Morello software and compilers 14:00 - 14:22				POCL CHERI C semantics 14:22 - 14:45					POCL CHERI static analysis 14:45 - 15:07				POCL ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms ... 15:07 - 15:30											POCL Rust on Morello 16:00 - 16:22				POCL Capabilities for safe cross-language interoperability 16:22 - 16:45					POCL Concurrent Mutation must go 16:45 - 17:07				POCL Object Capabilities 17:07 - 17:30

Sat 20 Jan
Displayed time zone: London change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Flowers Room	PROPL Setting the stage for AI for biodiversity 09:00 - 09:45									PROPLRemote Building Open Source Software for Climate Change Research — Lessons Lea ... 09:45 - 10:30															PROPL The programming challenges of climate data analysis 11:00 - 11:20				PROPLRemote Categorical Composition of Discrete Exterior Calculus Climate Models 11:20 - 11:40				PROPL Formal Methods to Save the Earth 11:40 - 12:00				PROPLRemote Kepler Watt Store: Kepler Software Watt Watcher Store 12:00 - 12:20				PROPL Discussion 12:20 - 12:30																				PROPL Assessing the availability, reproducibility and reuseability of researc ... 14:00 - 14:20				PROPL Fluid: towards transparent, self-explanatory research outputs 14:20 - 14:40				PROPL Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine 14:40 - 15:00				PROPL Discussion on multidisciplinary PROPL-work 15:00 - 15:30												PROPL Scalable agent-based models for optimized policy design: applications t ... 16:00 - 16:20				PROPLRemote Can computer science help climate policy making? 16:20 - 16:40				PROPL Discussion and brain storming: How can the CS/PL community help address ... 16:40 - 17:30

Room information: Flowers Room

Mon 15 Jan
Displayed time zone: London change

Tue 16 Jan
Displayed time zone: London change

Sat 20 Jan
Displayed time zone: London change

Mon 15 Jan
Displayed time zone: London change

TutorialFest

TutorialFest

TutorialFest

TutorialFest

Tue 16 Jan
Displayed time zone: London change

POCL

POCL

POCL

POCL

Sat 20 Jan
Displayed time zone: London change

PROPL

PROPL

PROPL

PROPL

Mon 15 Jan
Displayed time zone: London change

Tue 16 Jan
Displayed time zone: London change

Sat 20 Jan
Displayed time zone: London change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: Flowers Room

Program Display Configuration

Mon 15 JanDisplayed time zone: London change

Tue 16 JanDisplayed time zone: London change

Sat 20 JanDisplayed time zone: London change

Mon 15 JanDisplayed time zone: London change

TutorialFest

TutorialFest

TutorialFest

TutorialFest

Tue 16 JanDisplayed time zone: London change

POCL

POCL

POCL

POCL

Sat 20 JanDisplayed time zone: London change

PROPL

PROPL

PROPL

PROPL

Mon 15 JanDisplayed time zone: London change

Tue 16 JanDisplayed time zone: London change

Sat 20 JanDisplayed time zone: London change

Mon 15 Jan
Displayed time zone: London change

Tue 16 Jan
Displayed time zone: London change

Sat 20 Jan
Displayed time zone: London change

Mon 15 Jan
Displayed time zone: London change

Tue 16 Jan
Displayed time zone: London change

Sat 20 Jan
Displayed time zone: London change

Mon 15 Jan
Displayed time zone: London change

Tue 16 Jan
Displayed time zone: London change

Sat 20 Jan
Displayed time zone: London change