Research library

Search papers on equipment connectivity, quality inspection, production analysis, and manufacturing work.

Search and filter

Paper list

T14. Industrial protocol translation, code generation, and program synthesis

Research on generating and checking the code that talks to plant equipment.

  1. T14-5Structural parallelSince 2025

    Training LLMs for Generating IEC 61131-3 Structured Text with Online Feedback

    Authors
    Aaron Haag, Bertram Fuchs, Altay Kacan, Oliver Lohse
    Year
    2025
    Venue
    LLM4Code Workshop @ ICSE 2025

    Korean review of T14-5

  2. T14-1Similar problem

    Evaluating Large Language Models Trained on Code

    Authors
    Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde de Oliveira Pinto, Jared Kaplan (58 authors in total, OpenAI)
    Year
    2021

    Korean review of T14-1

  3. T14-2Similar problem

    ChatGPT for PLC/DCS Control Logic Generation

    Authors
    Heiko Koziolek, Sten Gruener, Virendra Ashiwal (ABB)
    Year
    2023
    Venue
    arXiv, pp. 8 6

    Korean review of T14-2

  4. T14-3Structural parallel

    LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems

    Authors
    Mohamad Fakih, Rahul Dharmaji, Yasamin Moghaddas, Gustavo Quiros Araya, Oluwatosin Ogundare, Mohammad Abdullah Al Faruque
    Year
    2024
    Venue
    ICSE 2024 SEIP

    Korean review of T14-3

  5. T14-4Candidate approach

    Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents

    Authors
    Zihan Liu, Ruinan Zeng, Dongxia Wang, Gengyun Peng, Jingyi Wang, Qiang Liu, Peiyu Liu, Wenhai Wang
    Year
    2024
    Venue
    arXiv, pp. 12

    Korean review of T14-4

  6. T14-6Similar problem

    Automated Control Logic Test Case Generation using Large Language Models

    Authors
    Heiko Koziolek, Virendra Ashiwal, Soumyadip Bandyopadhyay, Chandrika K R
    Year
    2024
    Venue
    IEEE ETFA 2024 (29th IEEE International Conference on Emerging Technologies and Factory Automation), pp. 1-8

    Korean review of T14-6

  7. T14-7Similar problem

    Automated generation of OPC UA information models - A review and outlook

    Authors
    Axel Busboom
    Year
    2024
    Venue
    Journal of Industrial Information Integration (Elsevier), vol. 39, 100602

    Korean review of T14-7

  8. T14-8Candidate approach

    Discoverer: Automatic Protocol Reverse Engineering from Network Traces

    Authors
    Weidong Cui (Microsoft Research), Jayanthkumar Kannan (UC Berkeley), Helen J. Wang (Microsoft Research)
    Year
    2007
    Venue
    16th USENIX Security Symposium, 2007

    Korean review of T14-8

  9. T14-9Candidate approach

    NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces

    Authors
    Yapeng Ye, Zhuo Zhang, Fei Wang, Xiangyu Zhang, Dongyan Xu (Purdue University)
    Year
    2021
    Venue
    NDSS 2021

    Korean review of T14-9

  10. T14-10Structural parallel

    Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents

    Authors
    Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, Cristina Nita-Rotaru
    Year
    2022
    Venue
    IEEE Symposium on Security and Privacy (S&P) 2022

    Korean review of T14-10

  11. T14-11Structural parallel

    Syntax-Guided Synthesis

    Authors
    Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
    Year
    2013
    Venue
    FMCAD 2013 (Formal Methods in Computer-Aided Design), pp. 1-8

    Korean review of T14-11

  12. T14-12Structural parallel

    Automating string processing in spreadsheets using input-output examples

    Authors
    Sumit Gulwani (Microsoft Research)
    Year
    2011
    Venue
    POPL 2011 (38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages), pp. 317-330

    Korean review of T14-12

  13. T14-13Structural parallel

    Combinatorial Sketching for Finite Programs

    Authors
    Armando Solar-Lezama, Liviu Tancau, Rastislav Bodik, Vijay Saraswat, Sanjit Seshia
    Year
    2006
    Venue
    ASPLOS 2006 (12th International Conference on Architectural Support for Programming Languages and Operating Systems), pp. 404-415

    Korean review of T14-13

  14. T14-14Candidate approach

    Polyglot: Automatic Extraction of Protocol Message Format using Dynamic Binary Analysis

    Authors
    Juan Caballero, Heng Yin, Zhenkai Liang, Dawn Song
    Year
    2007
    Venue
    ACM CCS 2007 (14th ACM Conference on Computer and Communications Security), pp. 317-329

    Korean review of T14-14

  15. T14-15Similar problem

    Program Synthesis with Large Language Models

    Authors
    Jacob Austin, Augustus Odena, Maxwell Nye, Maarten Bosma, Henryk Michalewski, David Dohan, Ellen Jiang, Carrie Cai, Michael Terry, Quoc Le, Charles Sutton (11 authors in total, Google Research)
    Year
    2021

    Korean review of T14-15

From research to product use

Operating capabilities, pilots, and technologies in development are identified separately.

View technology