PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

This program is tentative and subject to change.

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
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
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
10:40 - 12:20
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
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
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
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
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

Not scheduled yet

Not scheduled yet
Other
PODELSKI
Tutorials
Thomas Wies New York University, Martin Schäf Amazon Web Services, Andrey Rybalchenko Microsoft Research