Bruno C. d. S. Oliveira

Associate Professor,
The University of Hong Kong. Dept. of Computer Science

Office: CB420, Chow Yei Chin Building, The University of Hong Kong, Pokfulam Road, Hong Kong

Telephone: (+852) 2219 4800

Fax: (+852) 2559 8447

Email: bruno at cs.hku.hk

Research Interests

My interests are centered around programming languages. My existing research is mainly focused on type systems for modularity and the combination of Object-Oriented and Functional Paradigms.

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.

HKU PL Group

I lead the HKU PL group. Please visit our group web page for more information!

PhD Positions: I am always interested to hear about potential candidates with a strong motivation to pursue further studies in Programming Languages. I usually have positions available every academic year. If you're interested please drop me an email.

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.

Teaching

(CSIS0258 and COMP3258) - Functional Programming (2014/2015, 2015/2016, 2016/2017, 2017/2018)
(CSIS0259 and COMP3259) - Principles of Programming Languages (2013/2014, 2014/2015, 2015/2016, 2016/2017, 2017/2018)

Events

Upcoming

PC Chair - 17th Asian Symposium on Programming Languages and Systems (APLAS 2020). Please submit a paper!
PC Member - 35th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2020). Please submit a paper!

Past

PC Chair - 12th International Conference on Software Language Engineering (SLE 2018). Please submit a paper!
PC Member - 24th ACM SIGPLAN International Conference on Functional Programming (ICFP 2019). Please submit a paper!
PC Member - 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Please submit a paper!
PC Chair - 9th ACM SIGPLAN Symposium on Scala (Scala'18).
PC member - Haskell Symposium (HS 2018).
ERC Member - 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018).
PC member - 11th International Conference on Software Language Engineering (SLE 2018).
ERC member – 32nd ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications.
PC member -14th Asian Symposium on Programming Languages and Systems (APLAS 2017).
PC member – 31st European Conference on Object-Oriented Programming (ECOOP 2017).
PC member – 26th European Symposium on Programming (ESOP 2017) .
PC member -14th Asian Symposium on Programming Languages and Systems (APLAS 2016).
PC member - 9th International Conference on Software Language Engineering (SLE 2016).
ERC Member - 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016).
PC member – 31st ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2016).
PC member - 15th International Conference on Modularity (Modularity 2016).
PC member - 24th Symposium on Implementation and Application of Functional Languages (IFL 2015).
PC member -11th International Workshop on Generic Programming (WGP 2015)
PC member - 29th European Conference on Object-Oriented Programming (ECOOP 2015).
PC member - 14th International Conference on Modularity (Modularity 2015).
PC member - Mathematics of Program Construction (MPC 2015).
PC member - 6th International Workshop on Feature-Oriented Software Development (FOSD 2014).
PC member - 29th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2014).
PC member - 13th International Conference on Generative Programming and Component Engineering (GPCE 2014).
PC member - Haskell Symposium (HS 2014).
PC member -Scala Workshop (SW 2014).
PC member -Object Oriented Programming Languages and Systems track of the ACM Symposium on Applied Computing (SAC 2014)
PC member -PL track of the ACM Symposium on Applied Computing (SAC 2014)
PC member -13th International Conference on Modularity (MODULARITY 2014)
PC member -11th Asian Symposium on Programming Languages and Systems (APLAS 2013).
PC member -5th International Workshop on Feature-Oriented Software Development (FOSD 2013).
PC member -28th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2013).
PC member -15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013).
PC member -Foundations of Aspect Oriented Languages (FOAL 2013).
PC member -Scala Workshop (SW 2013).
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)

Publications

Elucidating Type Conversions in SQL Engines