The following tutorials will be co-located with PLDI:
Accepted Tutorials
This program is tentative and subject to change.
Mon 24 JunDisplayed time zone: Windhoek change
Mon 24 Jun
Displayed time zone: Windhoek change
09:00 - 10:10 | |||
09:00 70mTutorial | 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 | |||
09:00 70mTutorial | 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 | ||
09:00 - 10:10 | |||
09:00 70mTutorial | 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 1h40mTutorial | 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 | |||
10:40 1h40mTutorial | 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 1h40mTutorial | Algorithms and Applications for Provable Repair of Deep Neural Networks Tutorials Aditya V. Thakur University of California at Davis | ||
13:40 - 15:20 | |||
13:40 1h40mTutorial | Concurrent Algorithms in Kotlin Coroutines Tutorials Nikita Koval JetBrains | ||
13:40 - 15:20 | |||
13:40 1h40mTutorial | 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 | |||
16:00 1h40mTutorial | Concurrent Algorithms in Kotlin Coroutines Tutorials Nikita Koval JetBrains | ||
16:00 - 17:40 | |||
16:00 1h40mTutorial | 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 |