Registered user since Fri 10 Jul 2020
Name:Artjoms Šinkarovs
Affiliation:University of Southampton
Personal website: http://ashinkarov.github.io/
GitHub: https://github.com/ashinkarov
Using general profile
PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
- Attending
- Tracks
- PLDI 2025
- Research Artifacts
- PLDI Research Papers
- Workshops and Tutorials
- Tutorials
- - BINSEC: Adapting Symbolic Execution for Binary-level Security
- - Building DSLs made easy with the BuildIt Framework
- - Formal Analysis and Verification in Quantum Programming
- - Perfect Decompilation of Python Bytecode with PyLingual
- - Unlocking Optimizations with egglog: Equality Saturation Meets Datalog
- Organization
- PLDI 2025 Committees
- Organizing Committee
- Track Committees
- Research Artifacts
- PLDI Research Papers
- Contributors
- People Index
- Search
- Series