Meng Wang

Orcid: 0000-0001-7780-630X

Affiliations:

University of Bristol, UK
University of Kent, School of Computing, Canterbury, UK (former)
Chalmers University of Technology, Computer Science and Engineering, Gothenburg, Sweden (former)
University of Oxford, UK (PhD 2011)

According to our database¹, Meng Wang authored at least 55 papers between 2006 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2024

Reconciling Partial and Local Invertibility.

[BibT_eX]

[DOI]

Anders Ågren Thuné

Kazutaka Matsuda

Meng Wang

Proceedings of the Programming Languages and Systems, 2024

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types.

[BibT_eX]

[DOI]

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Embedding by Unembedding.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., August, 2023

Reflecting on Random Generation.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., August, 2023

Exploring Better Black-Box Test Case Prioritization via Log Analysis.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., May, 2023

Reflecting on Random Generation: Reflective Generators Development and Experiments.

[BibT_eX]

[DOI]

Dataset, May, 2023

Contract lenses: Reasoning about bidirectional programs via calculation.

[BibT_eX]

[DOI]

J. Funct. Program., 2023

LLM is Like a Box of Chocolates: the Non-determinism of ChatGPT in Code Generation.

[BibT_eX]

[DOI]

CoRR, 2023

Effects and Effect Handlers for Programmable Inference.

[BibT_eX]

[DOI]

CoRR, 2023

Effect Handlers for Programmable Inference.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

Ownership Guided C to Rust Translation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

Staging with class: a specification for typed template Haskell.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Linked visualisations via Galois dependencies.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Modular probabilistic models via algebraic effects.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

sf CircuitFlow: A Domain Specific Language for Dataflow Programming.

[BibT_eX]

[DOI]

Riley Evans

Samantha Frohlich

Meng Wang

Proceedings of the Practical Aspects of Declarative Languages, 2022

Bridging the Gap between Different Programming Paradigms in Coverage-based Fault Localization.

[BibT_eX]

[DOI]

Feng Li

Meng Wang

Dan Hao

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

2021

A Study of Bug Resolution Characteristics in Popular Programming Languages.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Synbit: synthesizing bidirectional programs using unidirectional sketches.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

CircuitFlow: A Domain Specific Language for Dataflow Programming (with appendices).

[BibT_eX]

[DOI]

Riley Evans

Samantha Frohlich

Meng Wang

CoRR, 2021

2020

Sparcl: a language for partially-invertible computation.

[BibT_eX]

[DOI]

Kazutaka Matsuda

Meng Wang

Proc. ACM Program. Lang., 2020

2019

Composing bidirectional programs monadically (with appendices).

[BibT_eX]

[DOI]

Li-yao Xia

Dominic Orchard

Meng Wang

CoRR, 2019

Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness?

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Composing Bidirectional Programs Monadically.

[BibT_eX]

[DOI]

Li-yao Xia

Dominic Orchard

Meng Wang

Proceedings of the Programming Languages and Systems, 2019

2018

FliPpr: A System for Deriving Parsers from Pretty-Printers.

[BibT_eX]

[DOI]

Kazutaka Matsuda

Meng Wang

New Gener. Comput., 2018

Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization.

[BibT_eX]

[DOI]

Kazutaka Matsuda

Meng Wang

J. Funct. Program., 2018

Delta Debugging Type Errors with a Blackbox Compiler.

[BibT_eX]

[DOI]

Joanna Sharrad

Olaf Chitil

Meng Wang

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

Embedding invertible languages with binders: a case of the FliPpr language.

[BibT_eX]

[DOI]

Kazutaka Matsuda

Meng Wang

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

HOBiT: Programming Lenses Without Using Lens Combinators.

[BibT_eX]

[DOI]

Kazutaka Matsuda

Meng Wang

Proceedings of the Programming Languages and Systems, 2018

Understanding formal specifications through good examples.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 2018

2017

Un-preprocessing: Extended CPP that works with your tools.

[BibT_eX]

[DOI]

Proceedings of the 9th Asia-Pacific Symposium on Internetware, 2017

2016

Bidirectional Transformations, (NII Shonan Meeting 2016-13).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2016

Empirical Evaluation of Test Coverage for Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015

"Bidirectionalization for free" for monomorphic transformations.

[BibT_eX]

[DOI]

Kazutaka Matsuda

Meng Wang

Sci. Comput. Program., 2015

Applicative bidirectional programming with lenses.

[BibT_eX]

[DOI]

Kazutaka Matsuda

Meng Wang

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Linking unit tests and properties.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015

2014

Semantic bidirectionalization revisited.

[BibT_eX]

[DOI]

Meng Wang

Shayan Najd

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

2013

Refactoring pattern matching.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins.

[BibT_eX]

[DOI]

J. Funct. Program., 2013

Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem.

[BibT_eX]

[DOI]

Kazutaka Matsuda

Meng Wang

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

FliPpr: A Prettier Invertible Printing System.

[BibT_eX]

[DOI]

Kazutaka Matsuda

Meng Wang

Proceedings of the Programming Languages and Systems, 2013

2012

Feat: functional enumeration of algebraic types.

[BibT_eX]

[DOI]

Jonas Duregård

Patrik Jansson

Meng Wang

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

2011

Side-effect localization for lazy, purely functional languages via aspects.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2011

Incremental updates for efficient bidirectional transformations.

[BibT_eX]

[DOI]

Meng Wang

Jeremy Gibbons

Nicolas Wu

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Bidirectional programming and its applications.

[BibT_eX]

[DOI]

Meng Wang

PhD thesis, 2010

Type-directed weaving of aspects for polymorphically typed functional languages.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

Gradual Refinement.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Combining syntactic and semantic bidirectionalization.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

What does aspect-oriented programming mean for functional programmers?

[BibT_eX]

[DOI]

Meng Wang

Bruno C. d. S. Oliveira

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009

2008

The visitor pattern as a reusable, generic, type-safe component.

[BibT_eX]

[DOI]

Bruno C. d. S. Oliveira

Meng Wang

Jeremy Gibbons

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 14th International Symposium, 2007

Aspect-oriented programming with type classes.

[BibT_eX]

[DOI]

Martin Sulzmann

Meng Wang

Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

2006

Type-directed weaving of aspects for higher-order functional languages.

[BibT_eX]

[DOI]

Meng Wang

Kung Chen

Siau-Cheng Khoo

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Modular generic programming with extensible superclasses.

[BibT_eX]

[DOI]

Martin Sulzmann

Meng Wang

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006

Meng Wang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...