Meng Wang

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 26

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

CoRR

Internetware

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Kazutaka Matsuda, Meng Wang
Sparcl: A language for partially invertible computation. J. Funct. Program. 34 (2024)
Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang
Reconciling Partial and Local Invertibility. ESOP (2) (2024)
Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce
Reflecting on Random Generation. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu
Contract lenses: Reasoning about bidirectional programs via calculation. J. Funct. Program. 33 (2023)
Zhichao Chen, Junjie Chen, Weijing Wang, Jianyi Zhou, Meng Wang, Xiang Chen, Shan Zhou, Jianmin Wang
Exploring Better Black-Box Test Case Prioritization via Log Analysis. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Ke Sun, Sheng Chen, Meng Wang, Dan Hao
What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study. APLAS (2023)
Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu
Embedding by Unembedding. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
Synbit: synthesizing bidirectional programs using unidirectional sketches. Formal Methods Syst. Des. 61 (2) (2022)
Feng Li, Meng Wang, Dan Hao
Bridging the Gap between Different Programming Paradigms in Coverage-based Fault Localization. Internetware (2022)
Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu
Modular probabilistic models via algebraic effects. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Riley Evans, Samantha Frohlich, Meng Wang
sf CircuitFlow: A Domain Specific Language for Dataflow Programming. PADL (2022)
Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang
Staging with class: a specification for typed template Haskell. Proc. ACM Program. Lang. 6 (POPL) (2022)
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches. CoRR (2021)
Jie M. Zhang, Feng Li, Dan Hao, Meng Wang, Hao Tang, Lu Zhang, Mark Harman
A Study of Bug Resolution Characteristics in Popular Programming Languages. IEEE Trans. Software Eng. 47 (12) (2021)
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
Synbit: synthesizing bidirectional programs using unidirectional sketches. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Riley Evans, Samantha Frohlich, Meng Wang
CircuitFlow: A Domain Specific Language for Dataflow Programming (with appendices). CoRR (2021)
Kazutaka Matsuda, Meng Wang
Sparcl: a language for partially-invertible computation. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Li-yao Xia, Dominic Orchard, Meng Wang
Composing Bidirectional Programs Monadically. ESOP (2019)
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang
Understanding formal specifications through good examples. Erlang Workshop (2018)
Kazutaka Matsuda, Meng Wang
FliPpr: A System for Deriving Parsers from Pretty-Printers. New Gener. Comput. 36 (3) (2018)
Kazutaka Matsuda, Meng Wang
Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization. J. Funct. Program. 28 (2018)
Kazutaka Matsuda, Meng Wang
HOBiT: Programming Lenses Without Using Lens Combinators. ESOP (2018)
Kazutaka Matsuda, Meng Wang
Embedding invertible languages with binders: a case of the FliPpr language. Haskell@ICFP (2018)
Yufeng Cheng, Meng Wang, Yingfei Xiong, Zhengkai Wu, Yiming Wu, Lu Zhang
Un-preprocessing: Extended CPP that works with your tools. Internetware (2017)
Yufeng Cheng, Meng Wang, Yingfei Xiong, Dan Hao, Lu Zhang
Empirical Evaluation of Test Coverage for Functional Programs. ICST (2016)
Anthony Anjorin, Zinovy Diskin, Meng Wang, Yingfei Xiong
Bidirectional Transformations, (NII Shonan Meeting 2016-13). NII Shonan Meet. Rep. 2016 (2016)
Kazutaka Matsuda, Meng Wang
"Bidirectionalization for free" for monomorphic transformations. Sci. Comput. Program. 111 (2015)
Kazutaka Matsuda, Meng Wang
Applicative bidirectional programming with lenses. ICFP (2015)
Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang
Linking unit tests and properties. Erlang Workshop (2015)
Meng Wang, Shayan Najd
Semantic bidirectionalization revisited. PEPM (2014)
Kazutaka Matsuda, Meng Wang
Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem. PPDP (2013)
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. J. Funct. Program. 23 (5) (2013)
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
Refactoring pattern matching. Sci. Comput. Program. 78 (11) (2013)
Kazutaka Matsuda, Meng Wang
FliPpr: A Prettier Invertible Printing System. ESOP (2013)
Jonas Duregård, Patrik Jansson, Meng Wang
Feat: functional enumeration of algebraic types. Haskell (2012)
Kung Chen, Shu-Chun Weng, Jia-Yin Lin, Meng Wang, Siau-Cheng Khoo
Side-effect localization for lazy, purely functional languages via aspects. High. Order Symb. Comput. 24 (1-2) (2011)
Meng Wang, Jeremy Gibbons, Nicolas Wu
Incremental updates for efficient bidirectional transformations. ICFP (2011)
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen
Type-directed weaving of aspects for polymorphically typed functional languages. Sci. Comput. Program. 75 (11) (2010)
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
Combining syntactic and semantic bidirectionalization. ICFP (2010)
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
Gradual Refinement. MPC (2010)
Meng Wang, Bruno C. d. S. Oliveira
What does aspect-oriented programming mean for functional programmers? WGP@ICFP (2009)
Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons
The visitor pattern as a reusable, generic, type-safe component. OOPSLA (2008)
Martin Sulzmann, Meng Wang
Aspect-oriented programming with type classes. FOAL (2007)
Meng Wang, Kung Chen, Siau-Cheng Khoo
Type-directed weaving of aspects for higher-order functional languages. PEPM (2006)
Martin Sulzmann, Meng Wang
Modular generic programming with extensible superclasses. ICFP-WGP (2006)

Meng Wang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Meng Wang