Follow
Sebastian Ertel
Sebastian Ertel
Barkhausen Institute, Dresden, Germany
Verified email at barkhauseninstitut.org - Homepage
Title
Cited by
Cited by
Year
Compiler-based graph representations for deep learning models of code
A Brauckmann, A Goens, S Ertel, J Castrillon
Proceedings of the 29th International Conference on Compiler Construction …, 2020
932020
A case study on machine learning for synthesizing benchmarks
A Goens, A Brauckmann, S Ertel, C Cummins, H Leather, J Castrillon
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine …, 2019
152019
Finding partition boundaries for parallel processing of markup language documents
MK Agarwal, A Bar-or, MA Bhide, S Ertel, SK Padmanabhan
US Patent 9,477,651, 2016
142016
Supporting fine-grained dataflow parallelism in big data systems
S Ertel, J Adam, J Castrillon
Proceedings of the 9th International Workshop on Programming Models and …, 2018
132018
Compiling for concise code and efficient i/o
S Ertel, A Goens, J Adam, J Castrillon
Proceedings of the 27th International Conference on Compiler Construction …, 2018
112018
Stclang: State thread composition as a foundation for monadic dataflow parallelism
S Ertel, J Adam, NA Rink, A Goens, J Castrillon
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 146-161, 2019
92019
A framework for the dynamic evolution of highly-available dataflow programs
S Ertel, P Felber
Proceedings of the 15th International Middleware Conference, 157-168, 2014
92014
Ohua: Implicit dataflow programming for concurrent systems
S Ertel, C Fetzer, P Felber
Proceedings of the Principles and Practices of Programming on The Java …, 2015
82015
ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs
F Suchert, L Zeidler, J Castrillon, S Ertel
37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023
52023
Towards Implicit Parallel Programming for Systems
S Ertel
Dissertation, Dresden, Technische Universität Dresden, 2019, 2019
42019
Level graphs: Generating benchmarks for concurrency optimizations in compilers
A Goens, S Ertel, J Adam, J Castrillon
11th International Workshop on Programmability and Architectures for …, 2018
32018
Unstructured P2P networks by example: Gnutella 0.4, Gnutella 0.6
S Ertel
proceeding of Dresden University of Technology, 2014
32014
Category-Theoretic Foundations of" STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism"
S Ertel, J Adam, NA Rink, A Goens, J Castrillon
arXiv preprint arXiv:1906.12098, 2019
12019
ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact)
F Suchert, L Zeidler, J Castrillon, S Ertel
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023
2023
Level Graphs
A Goens, S Ertel, J Adam, J Castrillon
2018
Brief announcement: fast travellers: infrastructure-independent deadlock resolution in resource-restricted distributed systems
S Ertel, C Fetzer, MJ Beckerle
International Symposium on Distributed Computing, 433-434, 2012
2012
Dynamic Development Support for Highly Concurrent Programs in the Ohua Data Flow Engine
S Ertel, MJ Beckerle
The system can't perform the operation now. Try again later.
Articles 1–17