Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sebastian Ertel
conf.researchr.org general profile
CC 2020 profile
ECOOP and ISSTA 2023 profile
ICFP 2019 profile
PLDI 2019 profile
Not registered as user
Name:
Sebastian Ertel
Affiliation:
Composable Operating Systems Group, Barkhausen Institute, Dresden
Contributions
2023
ECOOP
Author of ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs within the Research Papers-track
2020
CC
Author of Compiler-Based Graph Representations for Deep Learning Models of Code within the Main Conference-track
2019
Haskell
Author of STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism within the Haskell 2019-track
MAPS
Author of A Case Study on Machine Learning for Synthesizing Benchmarks within the MAPL 2019-track
Share
x
Sat 21 Dec 17:57