Fengyun Liu

Registered user since Tue 16 Aug 2016

Name:Fengyun Liu
Country:Switzerland
Affiliation:Oracle Labs
Research interests:programming languages, type systems, program analysis, and DSL

Contributions

LCTES 2023 Programme Committee in Program Committee within the LCTES 2023-track
CC 2023 Committee Member in Program Committee within the Research Papers-track
SPLASH 2022 Author of A Conceptual Framework for Safe Object Initialization within the OOPSLA-track
LCTES 2022 Author of Implicit State Machines within the LCTES 2022-track
Scala 2022 Committee Member in Program Committee within the Scala 2022-track
Scala 2021 Author of Safe Object Initialization, Abstractly within the Scala-track
SPLASH 2020 Author of A Type-and-Effect System for Object Initialization within the OOPSLA Artifacts-track
Author of A Type-and-Effect System for Object Initialization within the OOPSLA-track
Scala 2020 Committee Member in Program Committee within the Scala-track
ICFP 2019 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ICFP 2018 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Scala 2018 Author of Initialization Patterns in Dotty within the Scala 2018-track
ECOOP 2018 Author of Theory and Practice of Coroutines with Snapshots within the ECOOP Research Papers-track
ECOOP and ISSTA 2018 Author of Theory and Practice of Coroutines with Snapshots within the Posters-track
PLDI 2018 Committee Member in Artifact Evaluation Committee
POPL 2018 Author of Simplicitly: Foundations and Applications of Implicit Function Types within the Research Papers-track
Author of Simplicitly: Foundations and Applications of Implicit Function Types within the Artifact Evaluation-track
Scala 2016 Author of A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper) within the Scala-track
HOPE 2016 Author of Effects as Capabilities within the HOPE-track