Manuel is a Doctoral Student in the Software Reliability Group at Imperial College London. He completed his MSc. in Computer Science from the University of Buenos Aires and joined the group after working in the industry for two years.
His research interests include software verification, software security and compilers.
Group Publications
-
Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing
Manuel Carrasco, Cristian Cadar, Alastair Donaldson
IEEE International Conference on Software Testing, Verification, and Validation (ICST 2025)
Talks
-
Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing
Conference talk @ International Conference on Software Testing, Verification and Validation (ICST 2025)