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
-
When You Have a Fuzzer, Everything Looks Like a Reachability Problem
Alastair Donaldson, Cristian Cadar, Manuel Carrasco, Dan Iorga, Daniel Liew, John Wickerson
International Conference on Reachability Problems
-
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)