Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Manuel Carrasco
conf.researchr.org general profile
ECOOP 2022 profile
ICST 2025 profile
Registered user since Wed 20 Jul 2022
Name:
Manuel Carrasco
Country:
United Kingdom
Affiliation:
Imperial College London
Contributions
2025
ICST
Author of Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing within the Research Papers-track
2022
ECOOP
Author of Elevator Pitches within the Doctoral Symposium-track
Author of Portability Issues in C Programs within the Doctoral Symposium-track
Share
x
Mon 27 Oct 06:15
