Bizarim
Menu

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-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

  3. 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

  4. 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

  5. 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

  6. 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

From research to product use

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

View technology