Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Brief Announcement: Fast Travellers: Infrastructure-Independent Deadlock Resolution in Resource-restricted Distributed Systems., , and . DISC, volume 7611 of Lecture Notes in Computer Science, page 433-434. Springer, (2012)ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs., , , and . ECOOP, volume 263 of LIPIcs, page 33:1-33:39. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Compiling for concise code and efficient I/O., , , and . CC, page 104-115. ACM, (2018)A framework for the dynamic evolution of highly-available dataflow programs., and . Middleware, page 157-168. ACM, (2014)Towards implicit parallel programming for systems.. Dresden University of Technology, Germany, (2019)Ohua: Implicit Dataflow Programming for Concurrent Systems., , and . PPPJ, page 51-64. ACM, (2015)A Case Study on Machine Learning for Synthesizing Benchmarks, , , , , and . Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, page 38–46. New York, NY, USA, Association for Computing Machinery, (2019)A case study on machine learning for synthesizing benchmarks., , , , , and . MAPL@PLDI, page 38-46. ACM, (2019)Compiler-based graph representations for deep learning models of code., , , and . CC, page 201-211. ACM, (2020)Supporting Fine-grained Dataflow Parallelism in Big Data Systems., , and . PMAM@PPoPP, page 41-50. ACM, (2018)