Skip to content

Languages, Models and Verification

Presentation
Members
- Defended Theses
Projects
Publications
Software
Seminar
Jobs

[Jun. 2019]Parallel Matching of Regular Expressions with BSP Automata (accepted paper).

Parallel Matching of Regular Expressions with BSP Automata. Thibaut Tachon. HPCS 2019.

Author lmvadmPosted on 24 June 201916 March 2022

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Comment

Name *

Email *

Website

Post navigation

Previous Previous post: [Jun. 2019] Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules (accepted paper).

Next Next post: [Sep. 2020] Jules Chouquet joins LMV

News

[April 2024] Two new WG: Lambda and LL
[April 2024] Kostia Chardonnet’s talk
[April 2024] Marine Delvallez & Julien Glorian join the team
[April 2024] Téo Bernier presents his work at FASE
[March 2024] Armaël Gueneau’s talk

Lastest publications

Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021
Combining Deductive Verification with Shape Analysis
Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey

Archives

April 2024 (4)
March 2024 (1)
January 2024 (2)
December 2023 (1)
November 2023 (2)
September 2023 (1)
August 2023 (1)
July 2023 (2)
June 2023 (2)
May 2023 (3)
April 2023 (3)
February 2023 (4)
January 2023 (1)
December 2022 (2)
November 2022 (1)
October 2022 (1)
April 2022 (1)
March 2022 (2)
February 2022 (1)
December 2021 (2)
October 2021 (1)
June 2021 (1)
May 2021 (1)
March 2021 (2)
December 2020 (2)
November 2020 (1)
September 2020 (1)
June 2019 (4)

Presentation
Members
- Defended Theses
Projects
Publications
Software
Seminar
Jobs

LMV Team Proudly powered by WordPress