Henrique Ferreiro

According to our database, Henrique Ferreiro authored at least 4 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Kindergarten cop: dynamic nursery resizing for GHC.

Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond

Proceedings of the 25th International Conference on Compiler Construction, 2016

2013

Automatic Generation of Test Models for Web Services Using WSDL and OCL.

Macías López, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Turning web services descriptions into quickcheck models for automatic testing.

Miguel A. Francisco, Macías López, Henrique Ferreiro, Laura M. Castro

Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013

2012

Repeating History: Execution Replay for Parallel Haskell Programs.

Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012