conf.researchr.org / Meng Wang
Meng Wang

Registered user since Tue 16 Feb 2016

Name:Meng Wang
Country:United Kingdom
Affiliation:University of Bristol
Personal website:https://mengwangoxf.github.io/
Research interests:Bidirectional Programming, Functional Programming, Testing, Types, Embedded Languages

Contributions

EASE 2023 Committee Member in Program Committee within the Research (Full Papers)-track
ICFP 2022 Author of Modular Probabilistic Models via Algebraic Effects within the ICFP Papers and Events-track
EASE 2022 University of Bristol in Program Committee within the Research-track
POPL 2022 Author of Linked Visualisations via Galois Dependencies within the POPL-track
Author of Staging with Class: A Specification for Typed Template Haskell within the POPL-track
PADL 2022 Author of CircuitFlow: : A Domain Specific Language for Dataflow Programming within the PADL 2022-track
SPLASH 2021 Author of Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches within the OOPSLA-track
EASE 2021 Committee Member in Program Committee within the EASE 2021-track
APLAS 2020 Committee Member in Program Committee
ICFP 2020 Author of Sparcl: A Language for Partially-Invertible Computation within the ICFP Program-track
ICSE 2020 Author of A Study of Bug Resolution Characteristics in Popular Programming Languages within the Journal First-track
ICSE 2019 Author of Graph Embedding based Familial Analysis of Android Malware using Unsupervised Learning within the Technical Track-track
ESOP 2019 Author of Composing bidirectional programs monadically within the ESOP 2019-track
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
Erlang 2018 Author of Understanding Formal Specifications through Good Examples within the Erlang 2018-track
Haskell 2018 Author of Embedding Invertible Languages with Binders: A Case of the FliPpr Language within the Haskell 2018-track
Bx 2018 Committee Member in Programme Committee within the Bx 2018-track
ICFP 2016 Committee Member in External Review Committee within the Research Papers-track