default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMeng Wang 0002
Person information
- affiliation: University of Bristol, UK
- affiliation (former): University of Kent, School of Computing, Canterbury, UK
- affiliation (former): Chalmers University of Technology, Computer Science and Engineering, Gothenburg, Sweden
- affiliation (PhD 2011): University of Oxford, UK
Other persons with the same name
- Meng Wang — disambiguation page
- Meng Wang 0001
![[0000-0002-3094-7735]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-3094-7735")
— Hefei University of Technology, China (and 4 more) - Meng Wang 0003 — Rensselaer Polytechnic Institute, Troy, NY, USA (and 1 more)
- Meng Wang 0004 — Fujian Normal University, Key Lab of Network Security and Cryptography, Fuzhou, China
- Meng Wang 0005 — The Hong Kong Polytechnic University, Department of Computing, Hong Kong
- Meng Wang 0006 — South China University of Technology, Guangzhou, China
- Meng Wang 0007 — Stanford University, Department of Genetics, CA, USA (and 1 more)
- Meng Wang 0008 — Nankai University, Institute of Robotics and Automatic Information System, Tianjin, China
- Meng Wang 0009 — Tongji University, Shanghai, China (and 2 more)
- Meng Wang 0010 — Henan Normal University, School of Electronic and Electrical Engineering, Xinxiang, China (and 1 more)
- Meng Wang 0011 — China University of Geosciences, School of Geophysics and Information Technology, Beijing, China
- Meng Wang 0012 — Shaanxi Huanghe Group Co., Ltd., Xi'an, China
- Meng Wang 0013 — City University of Hong Kong, Department of Mechanical and Biomedical Engineering, Hong Kong (and 2 more)
- Meng Wang 0014 — Beijing University of Technology, Faculty of Information Technology, China
- Meng Wang 0015 — Xidian University, School of Computer Science and Technology, Xi'an, China
- Meng Wang 0016 — Zhejiang University, Hangzhou, China
- Meng Wang 0017 — City University of Hong Kong, Department of Computer Science (and 1 more)
- Meng Wang 0018 — Beijing University of Posts and Telecommunications, State Key Laboratory of Networking and Switching Technology, China
- Meng Wang 0019 — Tsinghua University, Department of Electrical Engineering, Beijing, China
- Meng Wang 0020 — TU Dresden, Institute of Traffic Telematics, Germany (and 1 more)
- Meng Wang 0021 — Hebei University, Cyberspace Security and Computer College, China (and 1 more)
- Meng Wang 0022 — Qufu Normal University, School of Geography and Tourism, Rizhao, China
- Meng Wang 0023 — Harbin University of Science and Technology, Department of Automation, China
- Meng Wang 0024 — Kunming University of Science and Technology, Faculty of Information Engineering and Automation / Yunnan Key Laboratory of Artificial Intelligence, China
- Meng Wang 0025 — Central University of Finance and Economics, School of Information, Beijing, China
- Meng Wang 0026 — Beijing University of Posts and Telecommunications, State Key Laboratory of Information Photonics and Optical Communications / School of Science, China
- Meng Wang 0027 — Jiangsu University of Science and Technology, School of Computer Science, Zhenjiang, China
- Meng Wang 0028 — Dalian Maritime University, College of Information Science and Technology, China
- Meng Wang 0029 — Northeastern University, Software College, Shenyang, China
- Meng Wang 0030 — Chang'an University, School of Information Engineering, Xi'an, China
- Meng Wang 0031 — Sun Yat-Sen University, School of Information Management, Guangzhou, China
- Meng Wang 0032 — East China Jiaotong University, School of Information Engineering, Nanchang, China
- Meng Wang 0033 — University of British Columbia, Vancouver, BC, Canada
- Meng Wang 0034 — Sun Yat-sen University, School of Intelligent Systems Engineering, Shenzhen, China
- Meng Wang 0035 — Army Engineering University of PLA, College of Communications Engineering, Nanjing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2010
[b1]Meng Wang:
Bidirectional programming and its applications. University of Oxford, UK, 2010
Journal Articles
- 2024
- [j20]Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao:
Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact). Dagstuhl Artifacts Ser. 10(2): 22:1-22:3 (2024) - [j19]Kazutaka Matsuda, Meng Wang:
Sparcl: A language for partially invertible computation. J. Funct. Program. 34 (2024) - 2023
- [j18]Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu:
Contract lenses: Reasoning about bidirectional programs via calculation. J. Funct. Program. 33 (2023) - [j17]Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu:
Embedding by Unembedding. Proc. ACM Program. Lang. 7(ICFP): 1-47 (2023) - [j16]Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce:
Reflecting on Random Generation. Proc. ACM Program. Lang. 7(ICFP): 322-355 (2023) - [j15]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): 72:1-72:32 (2023) - 2022
- [j14]Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang:
Synbit: synthesizing bidirectional programs using unidirectional sketches. Formal Methods Syst. Des. 61(2): 198-247 (2022) - [j13]Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu:
Modular probabilistic models via algebraic effects. Proc. ACM Program. Lang. 6(ICFP): 381-410 (2022) - [j12]Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang:
Linked visualisations via Galois dependencies. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022) - [j11]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): 1-30 (2022) - 2021
- [j10]Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang:
Synbit: synthesizing bidirectional programs using unidirectional sketches. Proc. ACM Program. Lang. 5(OOPSLA): 1-31 (2021) - [j9]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): 2684-2697 (2021) - 2020
- [j8]Kazutaka Matsuda, Meng Wang:
Sparcl: a language for partially-invertible computation. Proc. ACM Program. Lang. 4(ICFP): 118:1-118:31 (2020) - 2018
- [j7]Kazutaka Matsuda, Meng Wang:
Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization. J. Funct. Program. 28: e15 (2018) - [j6]Kazutaka Matsuda, Meng Wang:
FliPpr: A System for Deriving Parsers from Pretty-Printers. New Gener. Comput. 36(3): 173-202 (2018) - 2015
- [j5]Kazutaka Matsuda, Meng Wang:
"Bidirectionalization for free" for monomorphic transformations. Sci. Comput. Program. 111: 79-109 (2015) - 2013
- [j4]Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang:
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. J. Funct. Program. 23(5): 515-551 (2013) - [j3]Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu:
Refactoring pattern matching. Sci. Comput. Program. 78(11): 2216-2242 (2013) - 2011
- [j2]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): 151-189 (2011) - 2010
- [j1]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): 1048-1076 (2010)
Conference and Workshop Papers
- 2024
- [c30]Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao:
Formalizing, Mechanizing, and Verifying Class-Based Refinement Types. ECOOP 2024: 39:1-39:30 - [c29]Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang:
Reconciling Partial and Local Invertibility. ESOP (2) 2024: 59-89 - 2023
- [c28]Ke Sun, Sheng Chen, Meng Wang, Dan Hao:
What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study. APLAS 2023: 24-45 - [c27]Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang:
Ownership Guided C to Rust Translation. CAV (3) 2023: 459-482 - [c26]Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay:
Effect Handlers for Programmable Inference. Haskell 2023: 44-58 - 2022
- [c25]Feng Li, Meng Wang, Dan Hao:
Bridging the Gap between Different Programming Paradigms in Coverage-based Fault Localization. Internetware 2022: 75-84 - [c24]Riley Evans, Samantha Frohlich, Meng Wang:
sf CircuitFlow: A Domain Specific Language for Dataflow Programming. PADL 2022: 79-98 - 2019
- [c23]Li-yao Xia, Dominic Orchard, Meng Wang:
Composing Bidirectional Programs Monadically. ESOP 2019: 147-175 - [c22]Jie M. Zhang, Lingming Zhang, Dan Hao, Meng Wang, Lu Zhang:
Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness? ICST 2019: 252-263 - 2018
- [c21]Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang:
Understanding formal specifications through good examples. Erlang Workshop 2018: 13-24 - [c20]Kazutaka Matsuda, Meng Wang:
HOBiT: Programming Lenses Without Using Lens Combinators. ESOP 2018: 31-59 - [c19]Kazutaka Matsuda, Meng Wang:
Embedding invertible languages with binders: a case of the FliPpr language. Haskell@ICFP 2018: 158-171 - [c18]Joanna Sharrad, Olaf Chitil, Meng Wang:
Delta Debugging Type Errors with a Blackbox Compiler. IFL 2018: 13-24 - 2017
- [c17]Yufeng Cheng, Meng Wang, Yingfei Xiong, Zhengkai Wu, Yiming Wu, Lu Zhang:
Un-preprocessing: Extended CPP that works with your tools. Internetware 2017: 3:1-3:10 - 2016
- [c16]Yufeng Cheng, Meng Wang, Yingfei Xiong, Dan Hao, Lu Zhang:
Empirical Evaluation of Test Coverage for Functional Programs. ICST 2016: 255-265 - 2015
- [c15]Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang:
Linking unit tests and properties. Erlang Workshop 2015: 19-26 - [c14]Kazutaka Matsuda, Meng Wang:
Applicative bidirectional programming with lenses. ICFP 2015: 62-74 - 2014
- [c13]Meng Wang, Shayan Najd:
Semantic bidirectionalization revisited. PEPM 2014: 51-62 - 2013
- [c12]Kazutaka Matsuda, Meng Wang:
FliPpr: A Prettier Invertible Printing System. ESOP 2013: 101-120 - [c11]Kazutaka Matsuda, Meng Wang:
Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem. PPDP 2013: 297-308 - 2012
- [c10]Jonas Duregård, Patrik Jansson, Meng Wang:
Feat: functional enumeration of algebraic types. Haskell 2012: 61-72 - 2011
- [c9]Meng Wang, Jeremy Gibbons, Nicolas Wu:
Incremental updates for efficient bidirectional transformations. ICFP 2011: 392-403 - 2010
- [c8]Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang:
Combining syntactic and semantic bidirectionalization. ICFP 2010: 181-192 - [c7]Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu:
Gradual Refinement. MPC 2010: 397-425 - 2009
- [c6]Meng Wang, Bruno C. d. S. Oliveira:
What does aspect-oriented programming mean for functional programmers? WGP@ICFP 2009: 37-48 - 2008
- [c5]Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons:
The visitor pattern as a reusable, generic, type-safe component. OOPSLA 2008: 439-456 - 2007
- [c4]Martin Sulzmann, Meng Wang:
Aspect-oriented programming with type classes. FOAL 2007: 65-74 - [c3]Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen:
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. SAS 2007: 34-51 - 2006
- [c2]Martin Sulzmann, Meng Wang:
Modular generic programming with extensible superclasses. ICFP-WGP 2006: 55-65 - [c1]Meng Wang, Kung Chen, Siau-Cheng Khoo:
Type-directed weaving of aspects for higher-order functional languages. PEPM 2006: 78-87
Editorship
- 2024
- [e2]Gabriele Keller, Meng Wang:
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024. ACM 2024 [contents] - 2018
- [e1]Meng Wang, Scott Owens:
Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10788, Springer 2018, ISBN 978-3-319-89718-9 [contents]
Data and Artifacts
- 2023
- [d1]Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce:
Reflecting on Random Generation: Reflective Generators Development and Experiments. Zenodo, 2023
Informal and Other Publications
- 2023
- [i9]Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay:
Effects and Effect Handlers for Programmable Inference. CoRR abs/2303.01328 (2023) - [i8]Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang:
Ownership guided C to Rust translation. CoRR abs/2303.10515 (2023) - [i7]Shuyin Ouyang, Jie M. Zhang, Mark Harman, Meng Wang:
LLM is Like a Box of Chocolates: the Non-determinism of ChatGPT in Code Generation. CoRR abs/2308.02828 (2023) - 2022
- [i6]Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu:
Modular Probabilistic Models via Algebraic Effects. CoRR abs/2203.04608 (2022) - 2021
- [i5]Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang:
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches. CoRR abs/2108.13783 (2021) - [i4]Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang:
Linked visualisations via Galois dependencies. CoRR abs/2109.00445 (2021) - [i3]Riley Evans, Samantha Frohlich, Meng Wang:
CircuitFlow: A Domain Specific Language for Dataflow Programming (with appendices). CoRR abs/2111.12420 (2021) - 2019
- [i2]Li-yao Xia, Dominic Orchard, Meng Wang:
Composing bidirectional programs monadically (with appendices). CoRR abs/1902.06950 (2019) - 2016
- [i1]Anthony Anjorin, Zinovy Diskin, Meng Wang, Yingfei Xiong:
Bidirectional Transformations, (NII Shonan Meeting 2016-13). NII Shonan Meet. Rep. 2016 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
