Bruno C. d. S. Oliveira

ROSAEC Center Research Professor,
ROPAS Lab. Dept. of Computer Science & Engineering Seoul National University
Room 215, Building 138, Seoul National University
Gwanak _ 599 Gwanak-ro, Gwanak-gu, Seoul 151-742, Korea

Email: bruno |at| ropas.snu.ac.kr

Phone: +82-2-880-1532

Research Interests

My interests are centered around programming languages and methodologies. My existing research is mainly focused on lightweight generic programming techniques and the essence of (OO-style) design patterns. More generally, I am interested on the design of programming languages, functional programming, object-oriented programming, design patterns, aspect-oriented programming and concurrency.

Events

6th International Workshop on Generic Programming (WGP 2010) - Please submit a paper!
I am one of the co-chairs of the workshop. The event is co-located with ICFP and will be hold on 26th of September 2010 in Baltimore.
9th International Conference on Generative Programming and Component Engineering (GPCE 2010) - Please submit a paper!
I am a PC member. The event will happen in October 2010 (10th to 13th) in Eindhoven, The Netherlands. GPCE is co-located with SLE 2010.

Drafts

These are the drafts I have been working on; or that are currently submitted. Comments are welcome!

Typesafe Code Reuse Across ASTs via Code Generation (Draft paper)
[pdf]
Mikolas Janota, Bruno C. d. S. Oliveira and Viliam Holub
Submitted, see also the Rexastor tool, October 2009
Scala for Generic Programmers (Draft Paper)
[pdf]
Bruno C. d. S. Oliveira and Jeremy Gibbons
Extended version of the WGP'08 paper, Submitted, October 2009
Comparing Datatype Generic Libraries in Haskell (Draft Paper)
[pdf]
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
Extended version of the HS'08 paper, Submitted, October 2009
The Different Aspects of Monads and Mixins (Draft Paper)
[pdf]
Bruno C. d. S. Oliveira
Unpublished, March 2009
Objects to Unify Type Classes and GADTs (Draft Paper)
[pdf]
Bruno C. d. S. Oliveira and Martin Sulzmann
Unpublished, March 2008

Publications

EffectiveAdvice: Disciplined Advice with Explicit Effects
[pdf]
Bruno C. d. S. Oliveira, Tom Schrijvers and William R. Cook
To appear in ACM SIG Proceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD). March 2010.
A technical report can be found here.
What does Aspect-Oriented Programming mean for Functional Programmers?
[pdf]
Meng Wang and Bruno C. d. S. Oliveira
In Patrik Jansson, editor, Proceedings of the 5th ACM SIGPLAN Workshop on Generic Programming (WGP'09). August 2009.
The Essence of the Iterator Pattern
[pdf]
Jeremy Gibbons and Bruno C. d. S. Oliveira
Journal of Functional Programming, Vol. 19, pages 377-402. July 2009.
Modular Visitor Components: A Practical Solution to the Expression Families Problem
[pdf]
Bruno C. d. S. Oliveira
In Sophia Drossopoulou, editor, LNCS 5653, Proceedings of the 23rd European Conference on Object Oriented Programming (ECOOP). June 2009.
The Visitor Pattern as a Reusable, Generic, Type-Safe Component
[pdf]
Bruno C. d. S. Oliveira, Meng Wang and Jeremy Gibbons
In Gregor Kiczales, editor, Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). October 2008.
Scala for Generic Programmers
[pdf]
Bruno C. d. S. Oliveira and Jeremy Gibbons
In Ralf Hinze, editor, Proceedings of the 4th ACM SIGPLAN Workshop on Generic Programming (WGP'08). See also the extended version. September 2008.
Comparing Datatype Generic Libraries in Haskell
[pdf]
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
In Andy Gill, editor, ACM SIGPLAN Haskell Symposium. See also the extended version. September 2008.
Scalable Problem Localization for Distributed Systems: Principles and Practices
[pdf]
Rui Zhang, Bruno C. d. S. Oliveira, Alan Bivens, Steve McKeever
In ACM International Conference Proceedings of the Second International Conference on Scalable Information Systems (Infoscale'07). June 2007.
Extensible and Modular Generics for the Masses
[pdf]
Bruno C. d. S. Oliveira, Ralf Hinze and Andres Loeh
In Henrik Nilsson, editor, Trends in Functional Programming (TFP). Best student paper award. See also the EMGM Library maintained by Sean Leather. June 2007.
Generic and Indexed Programming
[pdf]
Jeremy Gibbons, Meng Wang and Bruno C. d. S. Oliveira
In Marco T. Morazan, Henrik Nilsson, editors, Draft Proceedings of Trends in Functional Programming (TFP). April 2007.
The Essence of the Iterator Pattern
[pdf]
Jeremy Gibbons and Bruno C. d. S. Oliveira
In Conor McBride, Tarmo Uustalu, editors, Workshop on Mathematically Structured Functional Programming (MSFP). See also the journal version. July 2006.
Generics as a Library
Bruno C. d. S. Oliveira, Ralf Hinze and Andres Loeh
In Henrik Nilsson, editor, Draft Proceedings of Trends in Functional Programming (TFP). Superseded by Extensible and Modular Generics for the Masses. April 2006.
"Scrap your Boilerplate" Reloaded
[Webpage]
Ralf Hinze, Andres Loeh and Bruno C. d. S. Oliveira
In Philip Wadler, Masami Hagiya, editors, LNCS 3945, Proceedings of the Functional and Logic Programming Symposium (FLOPS). April 2006.
TypeCase: A Design Pattern for Type-Indexed Functions
[pdf]
Bruno C. d. S. Oliveira and Jeremy Gibbons
In Daan Leijen, editor, ACM SIGPLAN Haskell Workshop (HW). September 2005.

Thesis

Genericity, extensibility and type-safety in the Visitor pattern
[pdf]
Bruno C. d. S. Oliveira
DPhil (PhD) thesis, Oxford University Computing Laboratory. 2007.