C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Felix Suchert
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 5
Top Topics
Dynamic Allocation
Lingua Franca
High Level Programming Languages
Data Exchange
Top Venues
CoRR
Dagstuhl Artifacts Ser.
ECOOP
ACM Trans. Archit. Code Optim.
</>
Publications
</>
Felix Suchert
,
Lisza Zeidler
,
Jerónimo Castrillón
,
Sebastian Ertel
ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs.
ECOOP
(2023)
Felix Suchert
,
Lisza Zeidler
,
Jerónimo Castrillón
,
Sebastian Ertel
ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact).
Dagstuhl Artifacts Ser.
9 (2) (2023)
Christian Menard
,
Marten Lohstroh
,
Soroush Bateni
,
Matthew Chorlian
,
Arthur Deng
,
Peter Donovan
,
Clément Fournier
,
Shaokai Lin
,
Felix Suchert
,
Tassilo Tanneberger
,
Hokeun Kim
,
Jerónimo Castrillón
,
Edward A. Lee
High-Performance Deterministic Concurrency using Lingua Franca.
CoRR
(2023)
Christian Menard
,
Marten Lohstroh
,
Soroush Bateni
,
Matthew Chorlian
,
Arthur Deng
,
Peter Donovan
,
Clément Fournier
,
Shaokai Lin
,
Felix Suchert
,
Tassilo Tanneberger
,
Hokeun Kim
,
Jerónimo Castrillón
,
Edward A. Lee
High-performance Deterministic Concurrency Using Lingua Franca.
ACM Trans. Archit. Code Optim.
20 (4) (2023)
Felix Suchert
,
Jerónimo Castrillón
STAMP-Rust: Language and Performance Comparison to C on Transactional Benchmarks.
Bench
(2022)