Manuel Serrano
Institut national de recherche en sciences et technologies du numérique(FR)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Embedded Systems Design Techniques, Software Testing and Debugging Techniques, Security and Verification in Computing
Most-Cited Works
- → Bigloo: a portable and optimizing compiler for strict functional languages(1995)50 cited
- → Wide Classes(1999)44 cited
- → Storage use analysis and its applications(1996)44 cited
- → A glimpse of Hopjs(2016)28 cited
- → Scheme fair threads(2004)25 cited
- → Understanding memory allocation of scheme programs(2000)24 cited
- → A multi-tier semantics for Hop(2010)23 cited