Login / Signup
Théo Barollet
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 4
Top Topics
Graph Patterns
Program Execution
Rewrite Rules
Neural Model
Top Venues
CoRR
CGO
EDM
</>
Publications
</>
Théo Barollet
,
Christophe Guillon
,
Manuel Selva
,
François Broquedis
,
Florent Bouchez-Tichadou
,
Fabrice Rastello
EasyTracker: A Python Library for Controlling and Inspecting Program Execution.
CGO
(2024)
Théo Barollet
,
Florent Bouchez-Tichadou
,
Fabrice Rastello
Do Common Educational Datasets contain Static Information? A Statistical Study.
EDM
(2021)
Steve Kommrusch
,
Théo Barollet
,
Louis-Noël Pouchet
Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models.
CoRR
(2021)
Steve Kommrusch
,
Théo Barollet
,
Louis-Noël Pouchet
Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model.
CoRR
(2020)