publications

List of publications

2026

  1. FSE
    feng2026llm.png
    LLM-Assisted Repository-Level Generation with Structured Spec-Driven Engineering
    Shuzhao Feng, Boqi Chen, Brett Meyer , and 1 more author
    In Companion Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering (FSE Companion), Ideas, Visions and Reflections Track, 2026, Montreal, Canada, July 5-9 , 2026
    PDF
  2. FSE
    chen2026projectional.png
    Projectional Decoding: Towards Semantic-Aware LLM Generation
    Boqi Chen, José Antonio Hernández López, and Aren Babikian
    In Companion Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering (FSE Companion), Ideas, Visions and Reflections Track, 2026, Montreal, Canada, July 5-9 , 2026
    PDF
  3. arXiv
    abdulkarim2026structure.png
    Structure-and Event-Driven Frameworks for State Machine Modeling with Large Language Models
    Samer Abdulkarim, Evan Boyd, Karl Bridi , and 3 more authors
    arXiv preprint arXiv:2604.00275, 2026
    PDF
  4. SANER
    saad2026grounding.png
    Grounding Generative AI in Software Engineering: Are We There Yet?
    Mootez Saad, José Antonio Hernández López, Boqi Chen , and 3 more authors
    In IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2026, Limassol, Cyprus March 17-20 , 2026
    PDF
  5. DMKD
    chen2024certifying.jpg
    Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation
    Boqi Chen, Kristóf Marussy, Oszkár Semeráth , and 2 more authors
    Data Mining Knowledge Discovery, 2026
    PDF

2025

  1. MODELS
    chen2025sherpa.png
    SHERPA: A Model-Driven Framework for Large Language Model Execution
    Boqi Chen, Kua Chen, José Antonio Hernández López , and 3 more authors
    In ACM / IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2025, Grand Rapids, USA, October 5-10, 2025 , 2025
    PDF Slides
  2. MODELS
    ahmed2025mcet.png
    MCeT: Behavioral Model Correctness Evaluation using Large Language Models
    Khaled Ahmed, Jialing Song, Boqi Chen , and 2 more authors
    In ACM / IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2025, Grand Rapids, USA, October 5-10, 2025 , 2025
    Distinguished Paper PDF
  3. MODELS
    chen2025accurate.png
    Accurate and Consistent Graph Model Generation from Text with Large Language Models
    Boqi Chen, Ou Wei, Bingzhou Zheng , and 1 more author
    In ACM / IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2025, Grand Rapids, USA, October 5-10, 2025 , 2025
    PDF Slides
  4. RE
    chen2025llm.png
    LLM-based Requirements Verification Through Consistent Text Data and Checker Generation
    Boqi Chen, Aren A. Babikian, Shuzhao Feng , and 2 more authors
    In 33rd IEEE International Requirements Engineering Conference, RE 2025, Valencia, Spain, September 1-5, 2025 , 2025
    PDF
  5. FSE
    saad2025adaptive.png
    An Adaptive Language-Agnostic Pruning Method for Greener Language Models for Code
    Mootez Saad, José Antonio Hernández López, Boqi Chen , and 2 more authors
    In Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering , 2025
    PDF
  6. ICSE
    chen2025power.jpg
    The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
    Boqi Chen, José Antonio Hernández López, Gunter Mussbacher , and 1 more author
    In Proceedings of the 2025 IEEE/ACM 47th International Conference on Software Engineering , 2025
    PDF Slides
  7. ICSE-SRC
    chen2025consistent.jpg
    Consistent Graph Model Generation with Large Language Models
    Boqi Chen
    In Proceedings of the 2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings , 2025
    Bronze Medal PDF Poster Slides
  8. ICSE-MO2RE
    babikian2025exploring.jpg
    Exploring Large Language Models for Requirements on String Values
    Aren A Babikian, Boqi Chen, and Gunter Mussbacher
    In Proceedings of the 3nd IEEE/ACM Workshop on Multi-disciplinary, Open, and RElevant Requirements Engineering , 2025
    PDF
  9. TSE
    lopez2024inter.jpg
    On inter-dataset code duplication and data leakage in large language models
    José Antonio Hernández López, Boqi Chen, Mootez Saad , and 2 more authors
    IEEE Transactions on Software Engineering, 2025
    PDF

2024

  1. MODELS-C
    chen2024embedding.jpg
    Embedding-based Automated Assessment of Domain Models
    Kua Chen, Boqi Chen, Yujing Yang , and 2 more authors
    In 2024 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) , 2024
    PDF Slides
  2. MODELS-C
    yang2024multi.jpg
    Multi-step Iterative Automated Domain Modeling with Large Language Models
    Yujing Yang, Boqi Chen, Kua Chen , and 2 more authors
    In 2024 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) , 2024
    PDF Slides

2023

  1. MODELS
    chen2023automated.jpg
    Automated domain modeling with large language models: A comparative study
    Kua Chen, Yujing Yang, Boqi Chen , and 3 more authors
    In 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS) , 2023
    PDF
  2. MODELS-C
    chen2023prompting.jpg
    Prompting or Fine-tuning? A Comparative Study of Large Language Models for Taxonomy Construction
    Boqi Chen, Fandi Yi, and Dániel Varró
    In 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) , 2023
    PDF Slides
  3. REW
    chen2023use.jpg
    On the use of GPT-4 for creating goal models: an exploratory study
    Boqi Chen, Kua Chen, Shabnam Hassani , and 6 more authors
    In 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW) , 2023
    PDF

2022

  1. TrustLog-CIKM
    chen2023towards.jpg
    Towards improving the explainability of text-based information retrieval with knowledge graphs
    Boqi Chen, Kua Chen, Yujing Yang , and 6 more authors
    1st Workshop on Trustworthy Learning on Graphs, 2022
    PDF
  2. ASE
    chen2022consistent.jpg
    Consistent scene graph generation by constraint optimization
    Boqi Chen, Kristóf Marussy, Sebastian Pilarski , and 2 more authors
    In Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering , 2022
    PDF Slides

2021

  1. SoSyM
    semerath2021automated.jpg
    Automated generation of consistent, diverse and structurally realistic graph models
    Oszkár Semeráth, Aren A Babikian, Boqi Chen , and 4 more authors
    Software and Systems Modeling, 2021
    PDF Slides
  2. TSE
    khan2021empirical.jpg
    An empirical study of type-related defects in python projects
    Faizan Khan, Boqi Chen, Daniel Varro , and 1 more author
    IEEE Transactions on Software Engineering, 2021
    PDF

2020

  1. MODELS-C
    chen2020automated.jpg
    Automated video game world map synthesis by model-based techniques
    Boqi Chen, Dylan Havelock, Connor Plante , and 3 more authors
    In Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings , 2020
    PDF