Meng Wang - RankMe

74 papers A* 2A 10B 3C 7Journal 38Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Lenses for Partially-Specified States (Extended Version). CoRR Kazutaka Matsuda, Minh Nguyen, Meng Wang
2026	—	`conf`	Lenses for Partially-Specified States. ESOP (2) Kazutaka Matsuda, Minh Nguyen, Meng Wang
2026	A*	`conf`	VC-Soup: Value-Consistency Guided Multi-Value Alignment for Large Language Models. WWW Hefei Xu, Le Wu, Yu Wang, Min Hou, Han Wu, Zhen Zhang, Meng Wang
2026	J	`jnl`	Validated Code Translation for Projects with External Libraries. CoRR Hanliang Zhang, Arindam Sharma, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening, Wenjia Ye, Taro Sekiyama
2025	J	`jnl`	An Empirical Study of the Non-Determinism of ChatGPT in Code Generation. ACM Trans. Softw. Eng. Methodol. Shuyin Ouyang, Jie M. Zhang, Mark Harman, Meng Wang
2025	A*	`conf`	DFGAP: Towards Depth-Free Cross-Category GAParts Perception via Uncertainty-Quantified Modeling. ACM Multimedia Xueyu Yuan, Jiarui Zhang, Jiangqi Song, Liu Liu, Li Zhang, Dan Guo, Richang Hong, Meng Wang
2025	J	`jnl`	Introduction to the TASE 2023 Special Issue. Sci. Comput. Program. Neeraj Kumar Singh, Cristina David, Meng Sun, Meng Wang
2025	J	`jnl`	Scalable, Validated Code Translation of Entire Projects using Large Language Models. Proc. ACM Program. Lang. Hanliang Zhang, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening
2024	J	`jnl`	Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact). Dagstuhl Artifacts Ser. Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao
2024	A	`conf`	Formalizing, Mechanizing, and Verifying Class-Based Refinement Types. ECOOP Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao
2024	C	`ed.`	Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024 PEPM Gabriele Keller, Meng Wang
2024	—	`conf`	Reconciling Partial and Local Invertibility. ESOP (2) Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang
2024	J	`jnl`	Scalable, Validated Code Translation of Entire Projects using Large Language Models. CoRR Hanliang Zhang, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening
2024	J	`jnl`	Sparcl: A language for partially invertible computation. J. Funct. Program. Kazutaka Matsuda, Meng Wang
2024	J	`jnl`	Towards Translating Real-World Code with LLMs: A Study of Translating to Rust. CoRR Hasan Ferit Eniser, Hanliang Zhang, Cristina David, Meng Wang, Maria Christakis, Brandon Paulsen, Joey Dodds, Daniel Kroening
2023	J	`jnl`	Contract lenses: Reasoning about bidirectional programs via calculation. J. Funct. Program. Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu
2023	C	`conf`	Effect Handlers for Programmable Inference. Haskell Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay
2023	J	`jnl`	Effects and Effect Handlers for Programmable Inference. CoRR Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay
2023	J	`jnl`	Embedding by Unembedding. Proc. ACM Program. Lang. Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu
2023	J	`jnl`	Exploring Better Black-Box Test Case Prioritization via Log Analysis. ACM Trans. Softw. Eng. Methodol. Zhichao Chen, Junjie Chen, WeiJing Wang, Jianyi Zhou, Meng Wang, Xiang Chen, Shan Zhou, Jianmin Wang
2023	J	`jnl`	LLM is Like a Box of Chocolates: the Non-determinism of ChatGPT in Code Generation. CoRR Shuyin Ouyang, Jie M. Zhang, Mark Harman, Meng Wang
2023	—	`conf`	Ownership Guided C to Rust Translation. CAV (3) Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang
2023	J	`jnl`	Ownership guided C to Rust translation. CoRR Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang
2023	J	`jnl`	Reflecting on Random Generation. Proc. ACM Program. Lang. Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce
2023	B	`conf`	What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study. APLAS Ke Sun, Sheng Chen, Meng Wang, Dan Hao
2022	—	`conf`	Bridging the Gap between Different Programming Paradigms in Coverage-based Fault Localization. Internetware Feng Li, Meng Wang, Dan Hao
2022	J	`jnl`	Decomposition Without Regret. CoRR Weixin Zhang, Cristina David, Meng Wang
2022	J	`jnl`	Linked visualisations via Galois dependencies. Proc. ACM Program. Lang. Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang
2022	J	`jnl`	Modular Probabilistic Models via Algebraic Effects. CoRR Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu
2022	J	`jnl`	Modular probabilistic models via algebraic effects. Proc. ACM Program. Lang. Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu
2022	J	`jnl`	Staging with class: a specification for typed template Haskell. Proc. ACM Program. Lang. Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang
2022	J	`jnl`	Synbit: synthesizing bidirectional programs using unidirectional sketches. Formal Methods Syst. Des. Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
2022	C	`conf`	sf CircuitFlow: A Domain Specific Language for Dataflow Programming. PADL Riley Evans, Samantha Frohlich, Meng Wang
2021	J	`jnl`	A Study of Bug Resolution Characteristics in Popular Programming Languages. IEEE Trans. Software Eng. Jie M. Zhang, Feng Li, Dan Hao, Meng Wang, Hao Tang, Lu Zhang, Mark Harman
2021	J	`jnl`	CircuitFlow: A Domain Specific Language for Dataflow Programming (with appendices). CoRR Riley Evans, Samantha Frohlich, Meng Wang
2021	J	`jnl`	Linked visualisations via Galois dependencies. CoRR Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang
2021	J	`jnl`	Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches. CoRR Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
2021	J	`jnl`	Synbit: synthesizing bidirectional programs using unidirectional sketches. Proc. ACM Program. Lang. Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
2020	J	`jnl`	Sparcl: a language for partially-invertible computation. Proc. ACM Program. Lang. Kazutaka Matsuda, Meng Wang
2019	A	`conf`	Composing Bidirectional Programs Monadically. ESOP Li-yao Xia, Dominic Orchard, Meng Wang
2019	J	`jnl`	Composing bidirectional programs monadically (with appendices). CoRR Li-yao Xia, Dominic Orchard, Meng Wang
2019	A	`conf`	Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness? ICST Jie M. Zhang, Lingming Zhang, Dan Hao, Meng Wang, Lu Zhang
2018	J	`jnl`	Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization. J. Funct. Program. Kazutaka Matsuda, Meng Wang
2018	—	`conf`	Delta Debugging Type Errors with a Blackbox Compiler. IFL Joanna Sharrad, Olaf Chitil, Meng Wang
2018	—	`conf`	Embedding invertible languages with binders: a case of the FliPpr language. Haskell@ICFP Kazutaka Matsuda, Meng Wang
2018	J	`jnl`	FliPpr: A System for Deriving Parsers from Pretty-Printers. New Gener. Comput. Kazutaka Matsuda, Meng Wang
2018	A	`conf`	HOBiT: Programming Lenses Without Using Lens Combinators. ESOP Kazutaka Matsuda, Meng Wang
2018	J	`jnl`	How Does Bug-Handling Effort Differ Among Different Programming Languages? CoRR Jie Zhang, Feng Li, Dan Hao, Meng Wang, Lu Zhang
2018	—	`ed.`	Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers TFP Meng Wang, Scott Owens
2018	—	`conf`	Understanding formal specifications through good examples. Erlang Workshop Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang
2017	—	`conf`	Un-preprocessing: Extended CPP that works with your tools. Internetware Yufeng Cheng, Meng Wang, Yingfei Xiong, Zhengkai Wu, Yiming Wu, Lu Zhang
2016	J	`jnl`	Bidirectional Transformations, (NII Shonan Meeting 2016-13). NII Shonan Meet. Rep. Anthony Anjorin, Zinovy Diskin, Meng Wang, Yingfei Xiong
2016	A	`conf`	Empirical Evaluation of Test Coverage for Functional Programs. ICST Yufeng Cheng, Meng Wang, Yingfei Xiong, Dan Hao, Lu Zhang
2015	J	`jnl`	"Bidirectionalization for free" for monomorphic transformations. Sci. Comput. Program. Kazutaka Matsuda, Meng Wang
2015	A	`conf`	Applicative bidirectional programming with lenses. ICFP Kazutaka Matsuda, Meng Wang
2015	—	`conf`	Linking unit tests and properties. Erlang Workshop Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang
2014	C	`conf`	Semantic bidirectionalization revisited. PEPM Meng Wang, Shayan Najd
2013	C	`conf`	Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem. PPDP Kazutaka Matsuda, Meng Wang
2013	J	`jnl`	Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. J. Funct. Program. Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
2013	A	`conf`	FliPpr: A Prettier Invertible Printing System. ESOP Kazutaka Matsuda, Meng Wang
2013	J	`jnl`	Refactoring pattern matching. Sci. Comput. Program. Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
2012	C	`conf`	Feat: functional enumeration of algebraic types. Haskell Jonas Duregård, Patrik Jansson, Meng Wang
2011	A	`conf`	Incremental updates for efficient bidirectional transformations. ICFP Meng Wang, Jeremy Gibbons, Nicolas Wu
2011	J	`jnl`	Side-effect localization for lazy, purely functional languages via aspects. High. Order Symb. Comput. Kung Chen, Shu-Chun Weng, Jia-Yin Lin, Meng Wang, Siau-Cheng Khoo
2010	—	`—`	Bidirectional programming and its applications. Meng Wang
2010	A	`conf`	Combining syntactic and semantic bidirectionalization. ICFP Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
2010	B	`conf`	Gradual Refinement. MPC Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
2010	J	`jnl`	Type-directed weaving of aspects for polymorphically typed functional languages. Sci. Comput. Program. Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen
2009	—	`conf`	What does aspect-oriented programming mean for functional programmers? WGP@ICFP Meng Wang, Bruno C. d. S. Oliveira
2008	A	`conf`	The visitor pattern as a reusable, generic, type-safe component. OOPSLA Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons
2007	B	`conf`	A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. SAS Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen
2007	—	`conf`	Aspect-oriented programming with type classes. FOAL Martin Sulzmann, Meng Wang
2006	—	`conf`	Modular generic programming with extensible superclasses. ICFP-WGP Martin Sulzmann, Meng Wang
2006	C	`conf`	Type-directed weaving of aspects for higher-order functional languages. PEPM Meng Wang, Kung Chen, Siau-Cheng Khoo