Publications

Peer-reviewed publications

2010

  • [pdf] Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, and José Pedro Magalhães. A lightweight approach to datatype-generic rewriting. Accepted for publication in Journal of Functional Programming, 2010.

2009

  • [pdf] Alexey Rodriguez Yakushev and Johan Jeuring. Enumerating Well-Typed Terms Generically. In Proceedings workshop on Approaches and Applications of Inductive Programming 2009.

  • [pdf] Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring Generic programming with fixed points for mutually recursive datatypes. International Conference on Functional Programming, 2009.

2008

  • [pdf] Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren. A Lightweight Approach to Datatype-Generic Rewriting. Proceedings of the ACM SIGPLAN Workshop on Generic Programming, Victoria, BC, Canada, September 20, 2008.

  • [pdf][updated report][original page] Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. D. S. Oliveira. Comparing Libraries for Generic Programming in Haskell. Proceedings of the ACM SIGPLAN Haskell Symposium 2008, Victoria, BC, Canada, September 25, 2008. Also available as Technical Report of Utrecht University UU-CS-2008-010.

  • [pdf] Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara Löh. Report on the Tenth ICFP Programming Contest. Proceedings of the International Conference on Functional Programming, 2008.

2007

  • [pdf] Simon Marlow, Alexey Rodriguez Yakushev and Simon Peyton Jones. Faster Laziness Using Dynamic Pointer Tagging. Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming.

2006

  • [pdf] Johan Jeuring, Alexey Rodriguez, Gideon Smeding. Generating Generic Functions. Ralf Hinze, editor, Proceedings of the ACM Sigplan Workshop on Generic Programming, Portland, September 16, 2006.

  • [pdf] Stefan Holdermans, Johan Jeuring, Andres Löh and Alexey Rodriguez. Generic Views on data types. In Tarmo Uustalu, editor, Proceedings 8th International Conference on Mathematics of Program Construction, MPC 2006, LNCS 4014, pages 209 – 234, 2006, Springer-Verlag.

Theses

  • Towards getting generic programming ready for prime-time. PhD thesis ISBN 978-90-393-5053-9 at Utrecht University.

  • Attribute Grammar Extensions: Higher order attribute grammars and views. Master thesis INF/SCR-04-33 at Utrecht University.

  • Model checking and model extraction. Bachelor thesis at Universidad Mayor de San Simon, based on a research project carried out at Philips Research Laboratories, Eindhoven.

Talks

  • Think sequential, Go Parallel. Systematic Approaches for the Analysis/Optimization of Applications, HiPEAC Computing Systems Week, Chamonix, France, April 2011.

  • Evolving the layout of serialized data. Functional programming day, Enschede, The Netherlands, January 2011.

  • [slides] Automatic datatype versioning, Functional programming day, Nijmegen, The Netherlands, 2010.

  • ACM SIGPLAN Haskell Symposium 2008, Victoria, BC, Canada, September 25, 2008.

  • ACM SIGPLAN International Conference on Functional Programming, Freiburg, Germany, 2007.

  • [slides] Run-time compilation of functional terms. Talk at Microsoft Research Cambridge, 2006.

  • International Conference on Mathematics of Program Construction, Estonia, 2006.

Program commitees

  • [url] ACM SIGPLAN 2009 Haskell Symposium.

Other publications

  • [pdf] Johan Jeuring, Sean Leather, José Pedro Magalhães, and Alexey Rodriguez Yakushev. Libraries for generic programming in Haskell. In Pieter Koopman, Rinus Plasmeijer, and Doaitse Swierstra, editors, Proceedings of the Sixth Advanced Functional Programming School, May 2008, The Netherlands, LNCS 5832, Springer-Verlag.

  • Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring. Generic programming with fixed points for mutually recursive datatypes. Technical Report UU-CS-2008-019, Utrecht University, 2008

  • Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriquez, John van Schie, and Clara Löh. Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming. Technical Report UU-CS-2007-029, Utrecht University, 2007.

  • [pdf][original page] Alexey Rodriguez, Johan Jeuring and Andres Löh. Type Inference for Generic Haskell. Technical Report UU-CS-2005-060, Utrecht University, 2005.

Advertisements