Meng Wang

View Scopus Profile

Dr Meng Wang

BSc, MSc, PhD

 https://orcid.org/0000-0001-7780-630X

  • BS8 1UB

  • 29 Conference Contribution (Conference Proceeding)
  • 18 Article (Academic Journal)
Filter
Conference Contribution (Conference Proceeding)

Search results

  • 2024

    Reconciling Partial and Local Invertibility

    Thuné, A. Å., Matsuda, K. & Wang, M., 5 Apr 2024, Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. Weirich, S. (ed.). Switzerland: Springer, Cham, p. 59-89 31 p. (Lecture Notes in Computer Science (LNCS)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
  • 2023

    Effect Handlers for Programmable Inference

    Nguyen, M. H., Perera, R. N. T., Wang, M. & Ramsay, S., 31 Aug 2023, Haskell 2023: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium. McDonell, T. L. & Vazou, N. (eds.). Association for Computing Machinery (ACM), p. 44–58 15 p. (Proceedings of the ACM SIGPLAN ... Haskell Symposium).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    1 Citation (Scopus)

  • Ownership guided C to Rust translation

    Zhang, H., David, C., Yu, Y. & Wang, M., 17 Jul 2023, Proceedings of the International Conference on Computer Aided Verification. Enea, C. & Lal, A. (eds.). Springer, Cham, Vol. III. p. 459-482 24 p. (Lecture Notes in Computer Science (CAV: International Conference on Computer Aided Verification)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    5 Citations (Scopus)

  • What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study

    Sun, K., Chen, S., Wang, M. & Hao, D., 21 Nov 2023, Asian Symposium on Programming Languages and Systems. (Lecture Notes in Computer Science (LNCS)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    1 Citation (Scopus)
  • 2022

    CircuitFlow: A Domain Specific Language for Dataflow Programming

    Frohlich, S., Wang, M. & Evans, R., 31 Jan 2022, Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings. Cheney, J. & Perri, S. (eds.). Springer Nature, p. 79-98 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13165 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    6 Citations (Scopus)
    78 Downloads (Pure)
  • 2021

    Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches

    Yamaguchi, M., Matsuda, K., David, C. & Wang, M., 20 Oct 2021, ACM on Programming Languages: OOPSLA. OOPSLA ed. Association for Computing Machinery (ACM), Vol. 5. p. 1-31 31 p. 105. (Proceedings of the ACM on Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    3 Citations (Scopus)
    77 Downloads (Pure)
  • 2020

    Sparcl: A Language for Partially-Invertible Computation

    Matsuda, K. & Wang, M., 1 Aug 2020, Proceedings of the ACM on Programming Languages. New York, Vol. 4. p. 1-31 31 p. 118. (2475-1421).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    8 Citations (Scopus)
    151 Downloads (Pure)
  • 2019

    An Extensive Study on the Threat of Test Suites in Measuring Coverage Criteria Effectiveness

    Zhang, J., Zhang, L., Hao, D., Wang, M. & Zhang, L., 2019, ICST 2019 Main Technical Research Track.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

  • Composing Bidirectional Programs Monadically

    Xia, L.-Y., Orchard, D. & Wang, M., 6 Apr 2019, Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. Caires, L. (ed.). Springer, Cham, p. 147-175 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11423 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    4 Citations (Scopus)
    221 Downloads (Pure)
  • 2018

    Embedding Invertible Languages with Binders - A Case of the FliPpr Language: St. Louis, MO, USA — September 27 - 28, 2018

    Matsuda, K. & Wang, M., 2018, Haskell 2018 Proceedings of the 11th ACM SIGPLAN: International Symposium on Haskell. Association for Computing Machinery (ACM), p. 158-171 (ACM SIGPLAN Notices; vol. 53, no. 7).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    1 Citation (Scopus)
    358 Downloads (Pure)

  • HOBiT: Programming Lenses without using Lens Combinators

    Matsuda, K. & Wang, M., 14 Apr 2018, Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Springer, Cham, p. 31-59 19 p. ( Lecture Notes in Computer Science; vol. 10801).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    18 Citations (Scopus)
    316 Downloads (Pure)

  • Understanding Formal Specifications through Good Examples

    Gerdes, A., Hughes, J., Smallbone, N., Hanenberg, S., Ivarsson, S. & Wang, M., 29 Sept 2018, 17th ACM Erlang Workshop 2018: Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang. Association for Computing Machinery (ACM), p. 13-24

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    4 Citations (Scopus)
    397 Downloads (Pure)
  • 2017

    Un-preprocessing: Extended CPP that works with your tools

    Cheng, Y., Wang, M., Xiong, Y., Wu, Z., Wu, Y. & Zhang, L., 23 Sept 2017, Internetware '17: Proceedings of the 9th Asia-Pacific Symposium on Internetware. Association for Computing Machinery (ACM), 10 p. 3

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    402 Downloads (Pure)
  • 2016

    Empirical evaluation of test coverage for functional programs

    Cheng, Y., Wang, M., Xiong, Y., Hao, D. & Zhang, L., 2016, ICST '16 IEEE International Conference on Software Testing, Verification and Validation. IEEE Computer Society, p. 255-265 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    9 Citations (Scopus)
    204 Downloads (Pure)

  • Modular generic programming with extensible superclasses

    Sulzmann, M. & Wang, M., 16 Sept 2016, WGP '06 Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery (ACM), p. 55-65 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    2 Citations (Scopus)
    220 Downloads (Pure)
  • 2015

    Applicative Bidirectional Programming with Lenses

    Matsuda, K. & Wang, M., 1 Aug 2015, ICFP '15 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming. Association for Computing Machinery (ACM), p. 62-74 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    15 Citations (Scopus)
    6 Downloads (Pure)

  • Linking unit tests and properties

    Gerdes, A., Hughes, J., Smallbone, N. & Wang, M., 2015, Erlang '15 Proceedings of the 14th ACM SIGPLAN Workshop on Erlang. Association for Computing Machinery (ACM), p. 19-26

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    5 Citations (Scopus)
    7 Downloads (Pure)
  • 2014

    Semantic bidirectionalization revisited

    Wang, M. & Najd, S., 2014, PEPM '14 Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery (ACM), p. 51-61

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    5 Citations (Scopus)
    6 Downloads (Pure)
  • 2013

    Bidirectionalization for Free with Runtime Recording: A light-weight approach to the view-update problem

    Matsuda, K. & Wang, M., 2013, PPDP '13 Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery (ACM), p. 297-308

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    10 Citations (Scopus)
    6 Downloads (Pure)

  • FliPpr: A Prettier Invertible Printing System

    Matsuda, K. & Wang, M., 2013, ESOP '13 European conference on Programming Languages and Systems. Springer Berlin Heidelberg, Vol. 7792. p. 101-120

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    17 Citations (Scopus)
    6 Downloads (Pure)
  • 2012

    Feat: functional enumeration of algebraic types

    Duregård, J., Jansson, P. & Wang, M., 2012, Haskell '12 Proceedings of the 2012 symposium on Haskell. Association for Computing Machinery (ACM), p. 61-72

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    37 Citations (Scopus)
    6 Downloads (Pure)
  • 2011

    Incremental updates for efficient bidirectional transformations

    Wang, M., Gibbons, J. & Wu, N., 2011, ICFP '11 Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery (ACM), p. 392-403

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    8 Downloads (Pure)
  • 2010

    Combining syntactic and semantic bidirectionalization

    Voigtländer, J., Matsuda, K., Hu, Z. & Wang, M., 2010, ICFP '10 Proceedings of the 15th ACM SIGPLAN international conference on Functional programming. p. 181-192

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    20 Citations (Scopus)
    6 Downloads (Pure)

  • Gradual Refinement: Blending Pattern Matching with Data Abstraction

    Wang, M., Gibbons, J., Matsuda, K. & Hu, Z., 2010, MPC '10 Proceedings of 10th International Conference on Mathematics of Program Construction. Springer Berlin Heidelberg, p. 397-425

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    6 Downloads (Pure)
  • 2009

    What does aspect-oriented programming mean for functional programmers?

    Wang, M. & Oliveira, B., 2009, WGP '09 Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery (ACM), p. 37-48

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    4 Citations (Scopus)
    6 Downloads (Pure)
  • 2008

    The visitor pattern as a reusable, generic, type-safe component

    Oliveira, B., Wang, M. & Gibbons, J., 2008, OOPSLA '08 Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications . Association for Computing Machinery (ACM), p. 439 456 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    22 Citations (Scopus)
    6 Downloads (Pure)
  • 2007

    A compilation model for aspect-oriented polymorphically typed functional languages

    Chen, K., Weng, S.-C., Wang, M., Khoo, S.-C. & Chen, C.-H., 2007, SAS '07 Proceedings of the 14th International Symposium on Static Analysis. Springer Berlin Heidelberg, p. 34-51

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    5 Citations (Scopus)
    6 Downloads (Pure)

  • Aspect-oriented programming with type classes

    Wang, M. & Sulzmann, M., 2007, FOAL '07 Proceedings of the 6th workshop on Foundations of aspect-oriented languages. Association for Computing Machinery (ACM), p. 65-74

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    4 Citations (Scopus)
    6 Downloads (Pure)
  • 2006

    Type-directed weaving of aspects for higher-order functional languages

    Wang, M., Chen, K. & Khoo, S.-C., 2006, PEPM '06 Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. Association for Computing Machinery (ACM), p. 78-87

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    13 Citations (Scopus)
    6 Downloads (Pure)