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

2023

SPLASH

Author of Initializing Global Objects: Time and Order within the OOPSLA-track
Author of A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model within the OOPSLA-track

LCTES

Programme Committee in Program Committee within the LCTES 2023-track

CC

Committee Member in Program Committee within the Research Papers-track

2022

SPLASH

Author of A Conceptual Framework for Safe Object Initialization within the OOPSLA-track

LCTES

Author of Implicit State Machines within the LCTES 2022-track

Scala

Committee Member in Program Committee within the Scala 2022-track

2021

Scala

Author of Safe Object Initialization, Abstractly within the Scala-track

2020

SPLASH

Scala

Committee Member in Program Committee within the Scala-track

2019

ICFP

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2018

ICFP

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

Scala

Author of Initialization Patterns in Dotty within the Scala 2018-track

ECOOP

Author of Theory and Practice of Coroutines with Snapshots within the ECOOP Research Papers-track

ECOOP/ISSTA

Author of Theory and Practice of Coroutines with Snapshots within the Posters-track

PLDI

Committee Member in Artifact Evaluation Committee

POPL

2016

Scala

Author of A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper) within the Scala-track

HOPE

Author of Effects as Capabilities within the HOPE-track