Bruno C. d. S. Oliveira

Senior Research Fellow,
Department of Computer Science National University of Singapore

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

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.

I am a member of the IFIP Working Group 2.1 (Algorithmic Languages and Calculi), a steering committee member of the Workshop on Generic Programming and a steering committee member of the Haskell Symposium.

Other Resources about my research

It can be tricky to search for information about my research because of my 5 word, ``unconventional'' yet somewhat common name. Thus, here are a few helpful links:

Google Scholar - A list of my papers/drafts at google scholar.
ACM - A complete, but unsound list of my ACM publications.
DBLP - The quickest way to get a bibtex file for citing my papers :).
Microsoft Academic - Another cool academic website from Microsoft.

Application Materials: cv, research statement, teaching statement.

Events

Upcoming

PC member - 13th International Conference on Modularity (MODULARITY 2014) Please submit a paper!
PC member - 11th Asian Symposium on Programming Languages and Systems (APLAS 2013). Please submit a paper!
PC member - Scala Workshop (SW 2013). Please submit a paper!
PC member - 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013). Please submit a paper!
PC member - 5th International Workshop on Feature-Oriented Software Development (FOSD 2013). Please submit a paper!
PC member - 28th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2013). Please submit a paper!

Past

PC member - Foundations of Aspect Oriented Languages (FOAL 2013).
PC member - 24th Symposium on Implementation and Application of Functional Languages (IFL 2012).
PC member - Scala Days 2012.
PC member - Foundations of Aspect Oriented Languages (FOAL 2012).
PC member - 11th ACM International Conference on Aspect Oriented Software Development: Perspectives on Modularity (AOSD 2012).
PC member - 26th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2011).
PC member - 4th Haskell Symposium (HS 2011).
PC member - 4th International Conference on Software Language Engineering (SLE 2011).
PC member - 10th International Conference on Generative Programming and Component Engineering (GPCE 2011).
PC member - Foundations of Aspect Oriented Languages (FOAL 2011).
Co-Chair - 6th International Workshop on Generic Programming (WGP 2010)
PC member - 9th International Conference on Generative Programming and Component Engineering (GPCE 2010)

Interesting Stuff

Microsoft Academic Software Engineering and Programming Languages Conference Ranking - In my opinion, the best ranking for SE&PL conferences out there. It is automated, so it still has a few glitches, but the conferences seem to be ranked quite fairly and objectively.
An analysis of venue impact ratings from CiteSeer provides another interesting ranking of computer science conferences.

Publications

Feature-Oriented Programming with Object Algebras
[pdf] [code]
Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh and William R. Cook
To appear in the 27th European Conference on Object-Oriented Programming (ECOOP 2013). April 2013.
Partition-based Regression Verification
[pdf]
Marcel Boehme, Bruno C. d. S. Oliveira and Abhik Roychoudhury
To appear in the 35th ACM/IEEE International Conference on Software Engineering (ICSE 2013). February 2013
Abstract syntax graphs for domain specific languages
Bruno C. d. S. Oliveira, Andres Löh
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation, 2013

frames are not supported
[code from the paper]
Meta-theory à la carte
Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2013

frames are not supported
Note: See also the project's web page here. This page contains MTC: a Coq framework based on the ideas presented in the paper.
MRI: Modular Reasoning about Interference in Incremental Programming
[pdf]
Bruno C. d. S. Oliveira, Tom Schrijvers and William R. Cook
Journal of Functional Programming, Vol. 22, issue 06, pages 797-852. November 2012.
Functional programming with structured graphs
Bruno C.d.S. Oliveira, William R. Cook
ICFP '12 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming, 2012

frames are not supported
Rational Term Equality, Functionally
[pdf]
Tom Schrijvers and Bruno C. d. S. Oliveira
In 24th Draft Proceedings of the Symposium on Implementation of Functional Languages (IFL 2012). August 2012.
Extensibility for the Masses: Practical Extensibility with Object Algebras
[pdf]
Bruno C. d. S. Oliveira and William R. Cook
In 26th European Conference on Object-Oriented Programming (ECOOP 2012). Best paper award. June 2012.
Note: There is a web page dedicated to documenting object-algebras based solutions to the expression problem in various languages here. Please contribute a solution in your favourite language, and I'll add it to the page!
The implicit calculus: a new foundation for generic programming
Bruno C.d.S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
PLDI '12 Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation, 2012

frames are not supported
GMeta: A Generic Formal Metatheory Framework for First-Order Representations
[pdf]
Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho and Kwangkeun Yi
In 22nd European Symposium on Programming (ESOP 2012). See also the GMeta webpage, March 2012.
Monads, zippers and views: virtualizing the monad stack
Tom Schrijvers, Bruno C.d.S. Oliveira
ACM SIGPLAN Notices - ICFP '11, 2011

frames are not supported
Type classes as objects and implicits
Bruno C.d.S. Oliveira, Adriaan Moors, Martin Odersky
OOPSLA '10 Proceedings of the ACM international conference on Object oriented programming systems languages and applications, 2010

frames are not supported
Scala for Generic Programmers
[pdf]
Bruno C. d. S. Oliveira and Jeremy Gibbons
Journal of Functional Programming, Vol. 20, pages 303-352. October 2010.
Note: This is an extended version of the WGP'08 paper.
6th ACM Proceedings of the ICFP Workshop on Generic Programming (WGP 2010)
[url]
Bruno C. d. S. Oliveira and Marcin Zalewski
September 2010.
Modular Components with Monadic Effects
[pdf]
Tom Schrijvers and Bruno C. d. S. Oliveira
In 22nd Draft Proceedings of the Symposium on Implementation of Functional Languages (IFL). September 2010.
EffectiveAdvice: disciplined advice with explicit effects
Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook
AOSD '10 Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

frames are not supported
A technical report can be found here.
What does aspect-oriented programming mean for functional programmers?
Meng Wang, Bruno C. d. S. Oliveira
WGP '09 Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009

frames are not supported
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. If you are a Scala programmer you may want to look at Eric Torreborre's nice blog post about the paper.
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
Bruno C.d.S. Oliveira, Meng Wang, Jeremy Gibbons
OOPSLA '08 Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, 2008

frames are not supported
Scala for generic programmers
Bruno C.d.S. Oliveira, Jeremy Gibbons
WGP '08 Proceedings of the ACM SIGPLAN workshop on Generic programming, 2008

frames are not supported
See also the extended version. September 2008.
Comparing libraries for generic programming in haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
Haskell '08 Proceedings of the first ACM SIGPLAN symposium on Haskell, 2008

frames are not supported
See also the extended technical report. 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
Bruno C. d. S. Oliveira, Jeremy Gibbons
Haskell '05 Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, 2005

frames are not supported

Drafts

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

Modular Monadic Meta-Theory (Draft paper)
[pdf]
Benjamin Delaware, Steven Keuchel, Tom Schrijvers and Bruno C. d. S. Oliveira
Submitted, March 2013
Functional Pearl: The Monad Zipper (Draft paper)
[pdf]
Tom Schrijvers and Bruno C. d. S. Oliveira
Unpublished, April 2010
Typesafe Code Reuse Across ASTs via Code Generation (Draft paper)
[pdf]
Mikolas Janota, Bruno C. d. S. Oliveira and Viliam Holub
Unpublished, see also the Rexastor tool, 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

Thesis

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