PLDI 2024 - Tutorials

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

About
Program

The following tutorials will be co-located with PLDI:

Accepted Tutorials

	Title
	Algorithms and Applications for Provable Repair of Deep Neural Networks Tutorials Aditya V. Thakur
	Concurrent Algorithms in Kotlin Coroutines Tutorials Nikita Koval
	Democratizing DSL development with the BuildIt Framework Tutorials Ajay Brahmakshatriya, Saman Amarasinghe Link to publication
	PODELSKI Tutorials Thomas Wies, Martin Schäf, Andrey Rybalchenko
	Quick and dirty development of static analyses with LiSA Tutorials Luca Negrini, Pietro Ferrara Link to publication Pre-print
	Static Code Analysis with SootUp Tutorials Eric Bodden, Markus Schmidt, Jonas Klauke, Kadiray Karakaya, Stefan Schott Link to publication

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect 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 24 Jun
Displayed time zone: Windhoek change

09:00 - 10:10	SootUpTutorials at Directors

09:00 70m Tutorial		Static Code Analysis with SootUp Tutorials Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Markus Schmidt Heinz Nixdorf Institut, Paderborn University, Jonas Klauke Paderborn University, Kadiray Karakaya Heinz Nixdorf Institut, Paderborn University, Stefan Schott Heinz Nixdorf Institut, Paderborn University Link to publication

09:00 - 10:10	RepairDNNTutorials at Stockholm

09:00 70m Tutorial		Algorithms and Applications for Provable Repair of Deep Neural Networks Tutorials Aditya V. Thakur University of California at Davis

09:00 - 10:10	LiSATutorials at Sweden

09:00 70m Tutorial		Quick and dirty development of static analyses with LiSA Tutorials Luca Negrini Ca’ Foscari University of Venice, Pietro Ferrara Università Ca' Foscari, Venezia, Italy Link to publication Pre-print

10:40 - 12:20	SootUpTutorials at Directors

10:40 1h40m Tutorial		Static Code Analysis with SootUp Tutorials Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Markus Schmidt Heinz Nixdorf Institut, Paderborn University, Jonas Klauke Paderborn University, Kadiray Karakaya Heinz Nixdorf Institut, Paderborn University, Stefan Schott Heinz Nixdorf Institut, Paderborn University Link to publication

10:40 - 12:20	RepairDNNTutorials at Stockholm

10:40 1h40m Tutorial		Algorithms and Applications for Provable Repair of Deep Neural Networks Tutorials Aditya V. Thakur University of California at Davis

10:40 - 12:20	LiSATutorials at Sweden

10:40 1h40m Tutorial		Quick and dirty development of static analyses with LiSA Tutorials Luca Negrini Ca’ Foscari University of Venice, Pietro Ferrara Università Ca' Foscari, Venezia, Italy Link to publication Pre-print

13:40 - 15:20	Kotlin CoroutinesTutorials at Directors

13:40 1h40m Tutorial		Concurrent Algorithms in Kotlin Coroutines Tutorials Nikita Koval JetBrains

13:40 - 15:20	BuildItTutorials at Stockholm

13:40 1h40m Tutorial		Democratizing DSL development with the BuildIt Framework Tutorials Ajay Brahmakshatriya Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology Link to publication

16:00 - 17:40	Kotlin CoroutinesTutorials at Directors

16:00 1h40m Tutorial		Concurrent Algorithms in Kotlin Coroutines Tutorials Nikita Koval JetBrains

16:00 - 17:40	BuildItTutorials at Stockholm

16:00 1h40m Tutorial		Democratizing DSL development with the BuildIt Framework Tutorials Ajay Brahmakshatriya Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology Link to publication

Unscheduled Events

Not scheduled
Other

PODELSKI

Tutorials

Thomas Wies New York University, Martin Schäf Amazon Web Services, Andrey Rybalchenko Microsoft Research

TutorialsPLDI 2024

Accepted Tutorials

Mon 24 Jun
Displayed time zone: Windhoek change

Unscheduled Events

Tracks

Co-hosted Conferences

Workshops

TutorialsPLDI 2024

Accepted Tutorials

Program Display Configuration

Mon 24 JunDisplayed time zone: Windhoek change

Unscheduled Events

Mon 24 Jun
Displayed time zone: Windhoek change