Modular generic programming with extensible superclasses. - Martin Sulzmann; Meng Wang 002 (ICFP-WGP, 2006)

Type-directed weaving of aspects for higher-order functional languages. - Meng Wang 002; Kung Chen; Siau-Cheng Khoo (PEPM, 2006)

Aspect-oriented programming with type classes. - Martin Sulzmann; Meng Wang 002 (FOAL, 2007)

A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. - Kung Chen; Shu-Chun Weng; Meng Wang 002; Siau-Cheng Khoo; Chung-Hsin Chen (SAS, 2007)

The visitor pattern as a reusable, generic, type-safe component. - Bruno C. d. S. Oliveira; Meng Wang 002; Jeremy Gibbons (OOPSLA, 2008)

What does aspect-oriented programming mean for functional programmers? - Meng Wang 002; Bruno C. d. S. Oliveira (WGP@ICFP, 2009)

Combining syntactic and semantic bidirectionalization. - Janis Voigtländer; Zhenjiang Hu; Kazutaka Matsuda; Meng Wang 002 (ICFP, 2010)

Gradual Refinement. - Meng Wang 002; Jeremy Gibbons; Kazutaka Matsuda; Zhenjiang Hu (MPC, 2010)

Type-directed weaving of aspects for polymorphically typed functional languages. - Kung Chen; Shu-Chun Weng; Meng Wang 002; Siau-Cheng Khoo; Chung-Hsin Chen (Sci. Comput. Program., 2010)

Bidirectional programming and its applications. - Meng Wang 002 (2010)

Incremental updates for efficient bidirectional transformations. - Meng Wang 002; Jeremy Gibbons; Nicolas Wu (ICFP, 2011)

Side-effect localization for lazy, purely functional languages via aspects. - Kung Chen; Shu-Chun Weng; Jia-Yin Lin; Meng Wang 002; Siau-Cheng Khoo (High. Order Symb. Comput., 2011)

Feat: functional enumeration of algebraic types. - Jonas Duregård; Patrik Jansson; Meng Wang 002 (Haskell, 2012)

FliPpr: A Prettier Invertible Printing System. - Kazutaka Matsuda; Meng Wang 002 (ESOP, 2013)

Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem. - Kazutaka Matsuda; Meng Wang 002 (PPDP, 2013)

Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. - Janis Voigtländer; Zhenjiang Hu; Kazutaka Matsuda; Meng Wang 002 (J. Funct. Program., 2013)

Refactoring pattern matching. - Meng Wang 002; Jeremy Gibbons; Kazutaka Matsuda; Zhenjiang Hu (Sci. Comput. Program., 2013)

Semantic bidirectionalization revisited. - Meng Wang 002; Shayan Najd (PEPM, 2014)

Linking unit tests and properties. - Alex Gerdes; John Hughes 001; Nicholas Smallbone; Meng Wang 002 (Erlang Workshop, 2015)

Applicative bidirectional programming with lenses. - Kazutaka Matsuda; Meng Wang 002 (ICFP, 2015)

"Bidirectionalization for free" for monomorphic transformations. - Kazutaka Matsuda; Meng Wang 002 (Sci. Comput. Program., 2015)

Empirical Evaluation of Test Coverage for Functional Programs. - Yufeng Cheng; Meng Wang 002; Yingfei Xiong 001; Dan Hao 001; Lu Zhang 023 (ICST, 2016)

Bidirectional Transformations, (NII Shonan Meeting 2016-13). - Anthony Anjorin; Zinovy Diskin; Meng Wang 002; Yingfei Xiong 001 (NII Shonan Meet. Rep., 2016)

Un-preprocessing: Extended CPP that works with your tools. - Yufeng Cheng; Meng Wang 002; Yingfei Xiong 001; Zhengkai Wu; Yiming Wu; Lu Zhang 023 (Internetware, 2017)

Understanding formal specifications through good examples. - Alex Gerdes; John Hughes 001; Nicholas Smallbone; Stefan Hanenberg; Sebastian Ivarsson; Meng Wang 002 (Erlang Workshop, 2018)

HOBiT: Programming Lenses Without Using Lens Combinators. - Kazutaka Matsuda; Meng Wang 002 (ESOP, 2018)

Embedding invertible languages with binders: a case of the FliPpr language. - Kazutaka Matsuda; Meng Wang 002 (Haskell@ICFP, 2018)

Delta Debugging Type Errors with a Blackbox Compiler. - Joanna Sharrad; Olaf Chitil; Meng Wang 002 (IFL, 2018)

How Does Bug-Handling Effort Differ Among Different Programming Languages? - Jie Zhang 050; Feng Li 037; Dan Hao 001; Meng Wang 002; Lu Zhang 023 (CoRR, 2018)

Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization. - Kazutaka Matsuda; Meng Wang 002 (J. Funct. Program., 2018)

FliPpr: A System for Deriving Parsers from Pretty-Printers. - Kazutaka Matsuda; Meng Wang 002 (New Gener. Comput., 2018)

Composing Bidirectional Programs Monadically. - Li-yao Xia; Dominic Orchard; Meng Wang 002 (ESOP, 2019)

Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness? - Jie M. Zhang; Lingming Zhang 001; Dan Hao 001; Meng Wang 002; Lu Zhang 023 (ICST, 2019)

Composing bidirectional programs monadically (with appendices). - Li-yao Xia; Dominic Orchard; Meng Wang 002 (CoRR, 2019)

Sparcl: a language for partially-invertible computation. - Kazutaka Matsuda; Meng Wang 002 (Proc. ACM Program. Lang., 2020)

CircuitFlow: A Domain Specific Language for Dataflow Programming (with appendices). - Riley Evans; Samantha Frohlich; Meng Wang 002 (CoRR, 2021)

Synbit: synthesizing bidirectional programs using unidirectional sketches. - Masaomi Yamaguchi; Kazutaka Matsuda; Cristina David; Meng Wang 002 (Proc. ACM Program. Lang., 2021)

A Study of Bug Resolution Characteristics in Popular Programming Languages. - Jie M. Zhang; Feng Li 037; Dan Hao 001; Meng Wang 002; Hao Tang; Lu Zhang 023; Mark Harman (IEEE Trans. Software Eng., 2021)

Bridging the Gap between Different Programming Paradigms in Coverage-based Fault Localization. - Feng Li 037; Meng Wang 002; Dan Hao 001 (Internetware, 2022)

sf CircuitFlow: A Domain Specific Language for Dataflow Programming. - Riley Evans; Samantha Frohlich; Meng Wang 002 (PADL, 2022)

Modular probabilistic models via algebraic effects. - Minh Nguyen; Roly Perera; Meng Wang 002; Nicolas Wu (Proc. ACM Program. Lang., 2022)

Linked visualisations via Galois dependencies. - Roly Perera; Minh Nguyen; Tomas Petricek 001; Meng Wang 002 (Proc. ACM Program. Lang., 2022)

Staging with class: a specification for typed template Haskell. - Ningning Xie; Matthew Pickering; Andres Löh; Nicolas Wu; Jeremy Yallop; Meng Wang 002 (Proc. ACM Program. Lang., 2022)

What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study. - Ke Sun 017; Sheng Chen 008; Meng Wang 002; Dan Hao 001 (APLAS, 2023)

Ownership Guided C to Rust Translation. - Hanliang Zhang; Cristina David; Yijun Yu; Meng Wang 002 (CAV (3), 2023)

Effect Handlers for Programmable Inference. - Minh Nguyen; Roly Perera; Meng Wang 002; Steven Ramsay (Haskell, 2023)

Effects and Effect Handlers for Programmable Inference. - Minh Nguyen; Roly Perera; Meng Wang 002; Steven Ramsay (CoRR, 2023)

LLM is Like a Box of Chocolates: the Non-determinism of ChatGPT in Code Generation. - Shuyin Ouyang; Jie M. Zhang; Mark Harman; Meng Wang 002 (CoRR, 2023)

Contract lenses: Reasoning about bidirectional programs via calculation. - Hanliang Zhang; Wenhao Tang; Ruifeng Xie; Meng Wang 002; Zhenjiang Hu (J. Funct. Program., 2023)

Reflecting on Random Generation: Reflective Generators Development and Experiments. - Harrison Goldstein; Samantha Frohlich; Meng Wang 002; Benjamin C. Pierce (Zenodo, 2023)

Exploring Better Black-Box Test Case Prioritization via Log Analysis. - Zhichao Chen; Junjie Chen 003; Weijing Wang; Jianyi Zhou; Meng Wang 002; Xiang Chen 005; Shan Zhou; Jianmin Wang 015 (ACM Trans. Softw. Eng. Methodol., 2023)

Reflecting on Random Generation. - Harrison Goldstein; Samantha Frohlich; Meng Wang 002; Benjamin C. Pierce (Proc. ACM Program. Lang., 2023)

Embedding by Unembedding. - Kazutaka Matsuda; Samantha Frohlich; Meng Wang 002; Nicolas Wu (Proc. ACM Program. Lang., 2023)

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types. - Ke Sun 017; Di Wang 017; Sheng Chen 008; Meng Wang 002; Dan Hao 001 (ECOOP, 2024)

Reconciling Partial and Local Invertibility. - Anders Ågren Thuné; Kazutaka Matsuda; Meng Wang 002 (ESOP (2), 2024)

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust. - Hasan Ferit Eniser; Hanliang Zhang; Cristina David; Meng Wang 002; Maria Christakis; Brandon Paulsen; Joey Dodds; Daniel Kroening (CoRR, 2024)

Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact). - Ke Sun 017; Di Wang 017; Sheng Chen 008; Meng Wang 002; Dan Hao 001 (Dagstuhl Artifacts Ser., 2024)

Scalable, Validated Code Translation of Entire Projects using Large Language Models. - Hanliang Zhang; Cristina David; Meng Wang 002; Brandon Paulsen; Daniel Kroening (Proc. ACM Program. Lang., 2025)

An Empirical Study of the Non-Determinism of ChatGPT in Code Generation. - Shuyin Ouyang; Jie M. Zhang; Mark Harman; Meng Wang 002 (ACM Trans. Softw. Eng. Methodol., 2025)