Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Maria Garcia de la Banda
conf.researchr.org general profile
ISSTA 2019 profile
PLDI 2024 profile
Not registered as user
Name:
Maria Garcia de la Banda
Affiliation:
Monash University
Contributions
2024
PLDI
Author of SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques within the PLDI Research Papers-track
2019
ISSTA
Author of Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers within the Technical Papers-track
Share
x
Sat 25 Oct 12:19