Bruno C. d. S. Oliveira -

Registered user since Tue 13 Sep 2016

Name:Bruno C. d. S. Oliveira

Country:China

Affiliation:University of Hong Kong

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

Research interests:Programming Languages, Modularity

Contributions

SLE 2023	Committee Member in Program Committee within the SLE 2023-track
SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
ECOOP 2023	Author of Dependent Merges and First-Class Environments within the Research Papers-track
POPL 2023	Author of A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈ within the POPL-track Author of Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations within the POPL-track Author of Recursive Subtyping for All within the POPL-track
APLAS 2022	Author of A Calculus with Recursive Types, Record Concatenation and Subtyping within the APLAS-track Author of Applicative Intersection Types within the APLAS-track
SPLASH 2022	Author of Compositional Embeddings of Domain-Specific Languages within the OOPSLA-track Author of Revisiting Iso-Recursive Subtyping within the COVID Time Papers In Person-track
GPCE 2022	Committee Member in Program Committee within the GPCE -track
ECOOP 2022	Author of Union Types with Disjoint Switches within the Research Papers-track Committee Member in Program Committee within the Research Papers-track Author of Direct Foundations for Compositional Programming within the Research Papers-track Author of Elementary Type Inference within the Research Papers-track
SPLASH 2021	Committee Member in External Review Committee within the OOPSLA-track
SLE 2021	Steering Committee Member in Steering Committee within the SLE-track
ICFP 2021	Author of Distributing Intersection and Union Types with Splits and Duality (Functional Pearl) within the Research Papers-track
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
APLAS 2020	Program Chair in Organising Committee
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
GPCE 2020	Committee Member in Program Committee within the GPCE-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
POPL 2020	Author of Kind Inference for Datatypes within the Research Papers-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
SLE 2019	PC Co-Chair in Organizing Committee within the SLE 2019-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
ECOOP 2019	Committee Member in Program Committee within the Research Papers-track
Scala 2019	Committee Member in Steering Committee within the Scala 2019-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
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 2018	Committee Member in Program Committee within the Haskell 2018-track
Scala 2018	Session Chair of Keynote (part of Scala 2018) Program Chair in Organizing Committee within the Scala 2018-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
SLE 2017	Author of Type-Safe Modular Parsing within the SLE-track
SPLASH 2017	Committee Member in External Program Committee within the OOPSLA-track Author of Unifying Typing and Subtyping within the OOPSLA-track
GPCE 2017	Committee Member in Program Committee within the GPCE 2017-track
Scala 2017	Committee Member in Program Committee within the Scala 2017-track
Haskell 2017	Author of Quantified Class Constraints within the Haskell 2017-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
FOSD 2016	Committee Member in Program Committee within the FOSD-track
SPLASH 2016	ERC member in External Program Committee within the OOPSLA-track
GPCE 2016	Author of Classless Java within the GPCE-track
SLE 2016	Committee Member in Program Committee within the SLE-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 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
DSLDI 2015	Committee Member in Program Committee within the DSLDI-track
SPLASH 2014	Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2013	Committee Member in Program Committee within the OOPSLA-track
GPCE 2011	Committee Member in Program Committee within the GPCE 2011-track
SPLASH 2011	Committee Member in Program Committee within the OOPSLA-track