Registered user since Tue 21 Nov 2023
Name:Markus Schmidt
Country:Germany
Affiliation:Heinz Nixdorf Institut, Paderborn University
GitHub: https://github.com/swissiety
Research interests:static code analysis
Contributions
2024
Using general profile
PLDI 2024
Mon 24 - Sat 29 June 2024 Copenhagen, Denmark
- Attending
- Program
- Tracks
- PLDI 2024
- PLDI Misc
- Research Artifacts
- PLDI Research Papers
- Workshops and Tutorials
- SRC
- Tutorials
- - Algorithms and Applications for Provable Repair of Deep Neural Networks
- - Concurrent Algorithms in Kotlin Coroutines
- - Democratizing DSL development with the BuildIt Framework
- - Quick and dirty development of static analyses with LiSA
- - Static Code Analysis with SootUp
- Volunteering
- Organization
- PLDI 2024 Committees
- AV Committee
- Organizing Committee
- Track Committees
- Research Artifacts
- PLDI Research Papers
- SRC
- Contributors
- People Index
- Search
- Series