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 database1, Meng Wang authored at least 47 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Embedding by Unembedding.
Proc. ACM Program. Lang., August, 2023

Reflecting on Random Generation.
Proc. ACM Program. Lang., August, 2023

Exploring Better Black-Box Test Case Prioritization via Log Analysis.
ACM Trans. Softw. Eng. Methodol., May, 2023

Contract lenses: Reasoning about bidirectional programs via calculation.
J. Funct. Program., 2023

Ownership Guided C to Rust Translation.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study.
Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022
Staging with class: a specification for typed template Haskell.
Proc. ACM Program. Lang., 2022

Linked visualisations via Galois dependencies.
Proc. ACM Program. Lang., 2022

Modular probabilistic models via algebraic effects.
Proc. ACM Program. Lang., 2022

sf CircuitFlow: A Domain Specific Language for Dataflow Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2022

Bridging the Gap between Different Programming Paradigms in Coverage-based Fault Localization.
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.
IEEE Trans. Software Eng., 2021

Synbit: synthesizing bidirectional programs using unidirectional sketches.
Proc. ACM Program. Lang., 2021

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

2020
Sparcl: a language for partially-invertible computation.
Proc. ACM Program. Lang., 2020

2019
Composing bidirectional programs monadically (with appendices).
CoRR, 2019

Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness?
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Composing Bidirectional Programs Monadically.
Proceedings of the Programming Languages and Systems, 2019

2018
FliPpr: A System for Deriving Parsers from Pretty-Printers.
New Gener. Comput., 2018

Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization.
J. Funct. Program., 2018

Delta Debugging Type Errors with a Blackbox Compiler.
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

Embedding invertible languages with binders: a case of the FliPpr language.
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

HOBiT: Programming Lenses Without Using Lens Combinators.
Proceedings of the Programming Languages and Systems, 2018

Understanding formal specifications through good examples.
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 2018

2017
Un-preprocessing: Extended CPP that works with your tools.
Proceedings of the 9th Asia-Pacific Symposium on Internetware, 2017

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

Empirical Evaluation of Test Coverage for Functional Programs.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015
"Bidirectionalization for free" for monomorphic transformations.
Sci. Comput. Program., 2015

Applicative bidirectional programming with lenses.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Linking unit tests and properties.
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015

2014
Semantic bidirectionalization revisited.
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

2013
Refactoring pattern matching.
Sci. Comput. Program., 2013

Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins.
J. Funct. Program., 2013

Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

FliPpr: A Prettier Invertible Printing System.
Proceedings of the Programming Languages and Systems, 2013

2012
Feat: functional enumeration of algebraic types.
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

2011
Side-effect localization for lazy, purely functional languages via aspects.
High. Order Symb. Comput., 2011

Incremental updates for efficient bidirectional transformations.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010
Bidirectional programming and its applications.
PhD thesis, 2010

Type-directed weaving of aspects for polymorphically typed functional languages.
Sci. Comput. Program., 2010

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

Combining syntactic and semantic bidirectionalization.
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?
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009

2008
The visitor pattern as a reusable, generic, type-safe component.
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007
Aspect-oriented programming with type classes.
Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

2006
Type-directed weaving of aspects for higher-order functional languages.
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Modular generic programming with extensible superclasses.
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006


  Loading...