Meng Wang

Registered user since Tue 16 Feb 2016

Name:Meng Wang
Country:United Kingdom
Affiliation:University of Bristol
Research interests:Bidirectional Programming, Functional Programming, Testing, Types, Embedded Languages

Contributions

EASE 2021 Committee Member in Program Committee within the EASE 2021-track
POPL 2022 Author of Linked visualisations via Galois dependencies within the POPL-track
Author of Staging with Class within the POPL-track
SPLASH 2021 Author of Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches within the OOPSLA-track
APLAS 2020 Committee Member in Program Committee
ICFP 2020 Author of Sparcl: A Language for Partially-Invertible Computation within the ICFP Program-track
ESOP 2019 Author of Composing bidirectional programs monadically within the ESOP 2019-track
Haskell 2018 Author of Embedding Invertible Languages with Binders: A Case of the FliPpr Language within the Haskell 2018-track
Erlang 2018 Author of Understanding Formal Specifications through Good Examples within the Erlang 2018-track
ICSE 2020 Author of A Study of Bug Resolution Characteristics in Popular Programming Languages within the Journal First-track
Bx 2018 Committee Member in Programme Committee within the Bx 2018-track
ICSE 2019 Author of Graph Embedding based Familial Analysis of Android Malware using Unsupervised Learning within the Technical Track-track
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
ICFP 2016 Committee Member in External Review Committee within the Research Papers-track