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