Registered user since Mon 19 Aug 2024
Name:Alexander Bakst
Country:United States
Affiliation:Certora
Personal website: https://abakst.github.io
Contributions
PLDI 2025-profile
View general profile
View general profile
PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
- Attending
- Program
- Tracks
- PLDI 2025
- Diversity, Equity and Inclusion
- PLDI Events
- Research Artifacts
- PLDI Research Papers
- Workshops and Tutorials
- Student Research Competition
- 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
- - Verifying Cyber-Physical Systems with IsaVODEs
- Volunteering
- Co-hosted Conferences
- ISMM
- LCTES
- Workshops
- ARRAY
- EGRAPHS
- PLMW @ PLDI
- RPLS : Real-World Programming Language Specification
- SOAP State Of the Art in Program Analysis
- Sparse
- WQS
- Organization
- PLDI 2025 Committees
- AV Committee
- Organizing Committee
- Track Committees
- Research Artifacts
- PLDI Research Papers
- Student Research Competition
- Contributors
- People Index
- Search
- Series