Bruno C. d. S. Oliveira -

Registered user since Tue 13 Sep 2016

Name:Bruno C. d. S. Oliveira

Affiliation:University of Hong Kong

Personal website:http://i.cs.hku.hk/~bruno/

Research interests:Programming Languages, Modularity

Contributions

ECOOP 2022	Committee Member in Program Committee within the Research Papers-track
WGT 2022	Committee Member in Program Committee within the WGT-track
SLE 2021	Steering Committee Member in Steering Committee within the SLE-track
SPLASH 2021	Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2010
APLAS 2020	Program Chair in Organising Committee
ECOOP 2021	Author of Compositional Programming within the ECOOP Technical Papers-track Author of A Dependently Typed Calculus with Polymorphic Subtyping within the ECOOP Technical Papers-track Author of Type-Directed Operational Semantics for Gradual Typing within the ECOOP Artifacts-track Author of Compositional Programming within the ECOOP Artifacts-track Author of Type-Directed Operational Semantics for Gradual Typing within the ECOOP Technical Papers-track
ECOOP and ISSTA 2021	Session Chair of Advances in Type Systems (part of Discussions with Experts) Author of Advances in Type Systems within the Discussions with Experts-track
GPCE 2020	Committee Member in Program Committee within the GPCE-track
ICFP 2021	Author of Distributing Intersection and Union Types with Splits and Duality (Functional Pearl) within the Research Papers-track
ECOOP 2020	Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Research Papers-track Author of The Duality of Subtyping (artifact) within the Artifacts-track Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Research Papers-track Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Artifacts-track Author of The Duality of Subtyping within the Research Papers-track Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Posters-track Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track
SPLASH 2020	Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Posters-track Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA Artifacts-track Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA-track Author of Resolution as Intersection Subtyping via Modus Ponens within the Posters-track Author of Revisiting Iso-Recursive Subtyping within the OOPSLA Artifacts-track Author of Revisiting Iso-Recursive Subtyping within the OOPSLA-track Author of Revisiting Iso-Recursive Subtyping within the Posters-track Committee Member in Review Committee within the OOPSLA-track
PEPM 2020	Committee Member in Program Committee within the PEPM 2020-track
META 2019	Committee Member in Program Committee within the META 2019-track
Scala 2019	Committee Member in Steering Committee within the Scala 2019-track
POPL 2020	Author of Kind Inference for Datatypes within the Research Papers-track
SLE 2019	PC Co-Chair in Organizing Committee within the SLE 2019-track
GPCE 2011	Committee Member in Program Committee within the GPCE 2011-track
ECOOP 2019	Committee Member in Program Committee within the Research Papers-track
ESOP 2019	Author of Distributive Disjoint Polymorphism for Compositional Programming within the ESOP 2019-track
ETAPS 2019	Author of Distributive Disjoint Polymorphism for Compositional Programming within the Posters-track
‹Programming› 2019	Author of Separating Use and Reuse to Improve Both within the Research Papers-track Author of Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality within the Research Papers-track
Scala 2018	Session Chair of Keynote (part of Scala 2018) Program Chair in Organizing Committee within the Scala 2018-track
Haskell 2018	Committee Member in Program Committee within the Haskell 2018-track
ICFP 2019	Committee Member in Program Committee within the Research Papers-track Author of A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference within the Research Papers-track
SLE 2018	Committee Member in Program Committee within the SLE 2018-track
GPCE 2018	Author of Pattern Matching in an Open World within the GPCE 2018-track
ICFP 2018	Committee Member in External Review Committee within the Research Papers-track Scala Symposium Program Chair in Organizing Committee
Haskell 2017	Author of Quantified Class Constraints within the Haskell 2017-track
Scala 2017	Committee Member in Program Committee within the Scala 2017-track
GPCE 2017	Committee Member in Program Committee within the GPCE 2017-track
SLE 2017	Author of Type-Safe Modular Parsing within the SLE-track
FOSD 2016	Committee Member in Program Committee within the FOSD-track
ECOOP 2018	Author of FHJ: A Formal Model for Hierarchical Dispatching and Overriding within the ECOOP Research Papers-track Author of The Essence of Nested Composition within the ECOOP Research Papers-track Author of Typed First-Class Traits within the ECOOP Research Papers-track
ECOOP and ISSTA 2018	Author of FHJ: A Formal Model for Hierarchical Dispatching and Overriding within the Posters-track Author of Typed First-Class Traits within the Posters-track Author of The Essence of Nested Composition within the Posters-track
SPLASH 2017	Committee Member in External Program Committee within the OOPSLA-track Author of Unifying Typing and Subtyping within the OOPSLA-track
ECOOP 2017	Committee Member in Program Committee within the ECOOP Research Papers-track Author of EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse within the ECOOP Research Papers-track
SLE 2016	Committee Member in Program Committee within the SLE-track
GPCE 2016	Author of Classless Java within the GPCE-track
ICFP 2016	Committee Member in External Review Committee within the Research Papers-track Author of Disjoint Intersection Types within the Research Papers-track
Modularity 2016	Author of Modular Architecture for Code and Metadata Sharing within the Modularity Visions-track Author of The Expression Problem, Trivially! within the Research Results-track Committee Member in Program Committee within the Research Results-track
SPLASH 2016	ERC member in External Program Committee within the OOPSLA-track
DSLDI 2015	Committee Member in Program Committee within the DSLDI-track
SPLASH 2015	Author of Scrap your Boilerplate with Object Algebras within the OOPSLA Artifacts-track Author of Scrap your Boilerplate with Object Algebras within the OOPSLA-track
ECOOP 2015	Committee Member in Programme Committee within the Research Track-track
SPLASH 2014	Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2013	Committee Member in Program Committee within the OOPSLA-track
SPLASH 2011	Committee Member in Program Committee within the OOPSLA-track