publications

listed in reverse chronological order

2023

  1. Generating proof certificates for a language-agnostic deductive program verifier
    Lin, Zhengyao, Chen, Xiaohong, Trinh, Minh-Thai, Wang, John, and Roşu, Grigore
    In Proceedings of OOPSLA (To Appear) 2023

2022

  1. Capturing constrained constructor patterns in matching logic
    Chen, Xiaohong, Lucanu, Dorel, and Roşu, Grigore
    Journal of Logical and Algebraic Methods in Programming 2022
  2. Towards a unifying logical framework for neural networks
    Zhang, Xiyue, Chen, Xiaohong, and Sun, Meng
    In Proceedings of ICTAC 2022
  3. Mechanizing matching logic in Coq
    Bereczky, Péter, Chen, Xiaohong, Horpácsi, Dániel, Peña, Lucas, and Tušil, Jan
    In Proceedings of Working Formal Methods Symposium (FROM) 2022
  4. Rewriting-based computer-interpretable clinical practice guidelines
    Saxena, Manasvi, Chen, Xiaohong, Song, Shuang, Meng, Shaoyu, Sha, Lui, and Roşu, Grigore
    Technical Report 2022

2021

  1. Towards a trustworthy semantics-based language framework via proof generation
    Chen, Xiaohong, Lin, Zhengyao, Trinh, Minh-Thai, and Roşu, Grigore
    In Proceedings of CAV 2021
  2. The K vision for the future of programming language design and analysis
    Chen, Xiaohong, and Roşu, Grigore
    Formal Methods in Outer Space 2021
  3. Matching logic explained
    Chen, Xiaohong, Lucanu, Dorel, and Roşu, Grigore
    Journal of Logical and Algebraic Methods in Programming 2021
  4. Making formal verification trustworthy via proof generation
    Lin, Zhengyao, Chen, Xiaohong, Trinh, Minh-Thai, Wang, John, and Roşu, Grigore
    Technical Report 2021
  5. An interactive theorem prover for matching logic with proof object generation
    Lin, Zhengyao, Chen, Xiaohong, and Roşu, Grigore
    Technical Report 2021

2020

  1. A general approach to define binders using matching logic
    Chen, Xiaohong, and Roşu, Grigore
    In Proceedings of ICFP 2020
  2. Towards A unified proof framework for automated fixpoint reasoning using matching logic
    Chen, Xiaohong, Trinh, Minh-Thai, Rodrigues, Nishant, Peña, Lucas, and Roşu, Grigore
    In Proceedings of OOPSLA 2020
  3. K—A semantic framework for programming languages and formal analysis
    Chen, Xiaohong, and Roşu, Grigore
    In Lecture Notes of the International School on Engineering Trustworthy Software Systems 2020
  4. Initial algebra semantics in matching logic
    Chen, Xiaohong, Lucanu, Dorel, and Roşu, Grigore
    Technical Report 2020

2019

  1. Matching μ-logic
    Chen, Xiaohong, and Roşu, Grigore
    In Proceedings of LICS 2019

2018

  1. A language-independent program verification framework
    Chen, Xiaohong, and Roşu, Grigore
    In Proceedings of ISoLA 2018
  2. A language-independent approach to smart contract verification
    Chen, Xiaohong, Park, Daejun, and Roşu, Grigore
    In Proceedings of ISoLA 2018

2017

  1. Improving probability estimation through active probabilistic model learning
    Wang, Jingyi, Chen, Xiaohong, Sun, Jun, and Qin, Shengchao
    In Proceedings of ICFEM 2017

2016

  1. Component-based modelling for scalable smart city systems interoperability: A case study on integrating energy demand response systems
    Palomar, Esther, Chen, Xiaohong, Liu, Zhiming, Maharjan, Sabita, and Bowen, Jonathan
    Sensors 2016
  2. Towards concolic testing for hybrid systems
    Kong, Pingfan, Li, Yi, Chen, Xiaohong, Sun, Jun, Sun, Meng, and Wang, Jingyi
    In Proceedings of FM 2016
  3. Model-driven design of object and component systems
    Liu, Zhiming, and Chen, Xiaohong
    In Lecture Notes of the International School on Engineering Trustworthy Software Systems 2016

2015

  1. A framework for off-line conformance testing of timed connectors
    Li, Shaodong, Chen, Xiaohong, Wang, Yiwu, and Sun, Meng
    In Proceedings of TASE 2015

2014

  1. A hybrid model of connectors in cyber-physical systems
    Chen, Xiaohong, Sun, Jun, and Sun, Meng
    In Proceedings of ICFEM 2014