Sebastian Ertel

18 papers A 3B 2Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Debug, Execute, Verify! Development-Verification Co-Design Made Practical.
PLOS@SOSP
Frantisek Farka, Carmine Abate, Shuanglong Kan, Sebastian Ertel
2025 — conf
Formally-Verified Security Against Forgery of Remote Attestation Using SSProve.
ESORICS (2)
Sara Zain, Jannik Mähn, Stefan Köpsell, Sebastian Ertel
2025 J jnl
Formally-verified Security against Forgery of Remote Attestation using SSProve.
CoRR
Sara Zain, Jannik Mähn, Stefan Köpsell, Sebastian Ertel
2023 J jnl
ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact).
Dagstuhl Artifacts Ser.
Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel
2023 A conf
ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs.
ECOOP
Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel
2020 B conf
Compiler-based graph representations for deep learning models of code.
CC
Alexander Brauckmann, Andrés Goens, Sebastian Ertel, Jerónimo Castrillón
2019 — conf
A case study on machine learning for synthesizing benchmarks.
MAPL@PLDI
Andrés Goens, Alexander Brauckmann, Sebastian Ertel, Chris Cummins, Hugh Leather, Jerónimo Castrillón
2019 J jnl
Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism".
CoRR
Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón
2019 — conf
STCLang: state thread composition as a foundation for monadic dataflow parallelism.
Haskell@ICFP
Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón
2019 — —
Towards implicit parallel programming for systems.
Sebastian Ertel
2019 J jnl
Wer schützt uns eigentlich?
Datenschutz und Datensicherheit
Sebastian Ertel
2018 B conf
Compiling for concise code and efficient I/O.
CC
Sebastian Ertel, Andrés Goens, Justus Adam, Jerónimo Castrillón
2018 — conf
Supporting Fine-grained Dataflow Parallelism in Big Data Systems.
PMAM@PPoPP
Sebastian Ertel, Justus Adam, Jerónimo Castrillón
2015 — conf
Ohua: Implicit Dataflow Programming for Concurrent Systems.
PPPJ
Sebastian Ertel, Christof Fetzer, Pascal Felber
2014 A conf
A framework for the dynamic evolution of highly-available dataflow programs.
Middleware
Sebastian Ertel, Pascal Felber
2014 J jnl
Google Universal Analytics.
Datenschutz und Datensicherheit
Sebastian Ertel, Sven Venzke-Caprarese
2012 A conf
Brief Announcement: Fast Travellers: Infrastructure-Independent Deadlock Resolution in Resource-restricted Distributed Systems.
DISC
Sebastian Ertel, Christof Fetzer, Michael J. Beckerle
2012 J jnl
Das Fragerecht des Arbeitgebers.
Datenschutz und Datensicherheit
Sebastian Ertel