Sebastian Ertel

According to our database, Sebastian Ertel authored at least 15 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact).

Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel

Dagstuhl Artifacts Ser., 2023

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs.

Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2020

Compiler-based graph representations for deep learning models of code.

Alexander Brauckmann, Andrés Goens, Sebastian Ertel, Jerónimo Castrillón

Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

2019

Towards implicit parallel programming for systems.

Sebastian Ertel

PhD thesis, 2019

Wer schützt uns eigentlich?

Sebastian Ertel

Datenschutz und Datensicherheit, 2019

Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism".

Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón

CoRR, 2019

A case study on machine learning for synthesizing benchmarks.

Andrés Goens, Alexander Brauckmann, Sebastian Ertel, Chris Cummins, Hugh Leather, Jerónimo Castrillón

Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

STCLang: state thread composition as a foundation for monadic dataflow parallelism.

Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

2018

Supporting Fine-grained Dataflow Parallelism in Big Data Systems.

Sebastian Ertel, Justus Adam, Jerónimo Castrillón

Proceedings of the 9th International Workshop on Programming Models and Applications for Multicores and Manycores, 2018

Compiling for concise code and efficient I/O.

Sebastian Ertel, Andrés Goens, Justus Adam, Jerónimo Castrillón

Proceedings of the 27th International Conference on Compiler Construction, 2018

2015

Ohua: Implicit Dataflow Programming for Concurrent Systems.

Sebastian Ertel, Christof Fetzer, Pascal Felber

Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

2014

Google Universal Analytics.

Sebastian Ertel, Sven Venzke-Caprarese

Datenschutz und Datensicherheit, 2014

A framework for the dynamic evolution of highly-available dataflow programs.

Sebastian Ertel, Pascal Felber

Proceedings of the 15th International Middleware Conference, 2014

2012

Das Fragerecht des Arbeitgebers.

Sebastian Ertel

Datenschutz und Datensicherheit, 2012

Brief Announcement: Fast Travellers: Infrastructure-Independent Deadlock Resolution in Resource-restricted Distributed Systems.

Sebastian Ertel, Christof Fetzer, Michael J. Beckerle

Proceedings of the Distributed Computing - 26th International Symposium, 2012