Sebastian Ertel

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 9

Top Topics

Benchmark Suite

Concurrent Systems

Top Venues

Datenschutz und Datensicherheit

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)
Alexander Brauckmann, Andrés Goens, Sebastian Ertel, Jerónimo Castrillón
Compiler-based graph representations for deep learning models of code. CC (2020)
Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón
Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism". CoRR (2019)
Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón
STCLang: state thread composition as a foundation for monadic dataflow parallelism. Haskell@ICFP (2019)
Andrés Goens, Alexander Brauckmann, Sebastian Ertel, Chris Cummins, Hugh Leather, Jerónimo Castrillón
A case study on machine learning for synthesizing benchmarks. MAPL@PLDI (2019)
Sebastian Ertel
Wer schützt uns eigentlich? Datenschutz und Datensicherheit 43 (3) (2019)
Sebastian Ertel, Justus Adam, Jerónimo Castrillón
Supporting Fine-grained Dataflow Parallelism in Big Data Systems. PMAM@PPoPP (2018)
Sebastian Ertel, Andrés Goens, Justus Adam, Jerónimo Castrillón
Compiling for concise code and efficient I/O. CC (2018)
Sebastian Ertel, Christof Fetzer, Pascal Felber
Ohua: Implicit Dataflow Programming for Concurrent Systems. PPPJ (2015)
Sebastian Ertel, Pascal Felber
A framework for the dynamic evolution of highly-available dataflow programs. Middleware (2014)
Sebastian Ertel, Sven Venzke-Caprarese
Google Universal Analytics. Datenschutz und Datensicherheit 38 (3) (2014)
Sebastian Ertel
Das Fragerecht des Arbeitgebers. Datenschutz und Datensicherheit 36 (2) (2012)
Sebastian Ertel, Christof Fetzer, Michael J. Beckerle
Brief Announcement: Fast Travellers: Infrastructure-Independent Deadlock Resolution in Resource-restricted Distributed Systems. DISC (2012)