Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alexandre Pinazza
conf.researchr.org general profile
POPL 2026 profile
Registered user since Wed 21 Jan 2026
Name:
Alexandre Pinazza
Affiliation:
EPFL
Contributions
2026
POPL
Student Volunteer in Student Volunteers
Author of Interactive symbolic execution of concurrent programs in a theorem prover within the Student Research Competition-track
Share
x
Sun 8 Mar 04:25