Publications

publications by categories in reversed chronological order.

2025

  1. ISCA
    RAP: Reconfigurable Automata Processor
    Ziyuan Wen, Alexis Le Glaunec, Konstantinos Mamouras, and 1 more author
    In Proceedings of the 52nd Annual International Symposium on Computer Architecture, 2025
    DOI PDF
  2. PLDI
    Membership Testing for Semantic Regular Expressions
    Yifei Huang, Matin Amini, Alexis Le Glaunec, and 2 more authors
    Proc. ACM Program. Lang., Jun 2025
    DOI PDF Video

2024

  1. OOPSLA
    HybridSA: GPU Acceleration of Multi-pattern Regex Matching using Bit Parallelism
    Alexis Le Glaunec, Lingkun Kong, and Konstantinos Mamouras
    Proc. ACM Program. Lang., Oct 2024
    DOI PDF Video
  2. PLDI
    Static Analysis for Checking the Disambiguation Robustness of Regular Expressions
    Konstantinos Mamouras, Alexis Le Glaunec, Wu Angela Li, and 1 more author
    Proc. ACM Program. Lang., Jun 2024
    Distinguished Paper DOI PDF Video
  3. ASPLOS
    BVAP: Energy and Memory Efficient Automata Processing for Regular Expressions with Bounded Repetitions
    Ziyuan Wen, Lingkun Kong, Alexis Le Glaunec, and 2 more authors
    In Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, La Jolla, CA, USA, Jun 2024
    DOI PDF Video

2023

  1. OOPSLA
    Regular Expression Matching using Bit Vector Automata
    Alexis Le Glaunec, Lingkun Kong, and Konstantinos Mamouras
    Proc. ACM Program. Lang., Apr 2023
    DOI PDF Video

2022

  1. PLDI
    Software-hardware codesign for efficient in-memory regular pattern matching
    Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, and 4 more authors
    In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, Apr 2022
    DOI PDF Video