Person:

Zeige:

Publications

Schedgehammer: Auto-tuning Compiler Optimizations beyond Numerical Parameters Lenfers, Johannes; Spehr, Sven; Dieckmann, Justus; Jansen, Johannes; Lücke, Martin Paul; Gorlatch, Sergei (2026) In: Association for Computing Machinery (eds.), Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction. New York: . Research article in edited proceedings (conference)
pyATF: Constraint-Based Auto-Tuning in Python Schulze, Richard; Gorlatch, Sergei; Rasch, Ari (2025) In: 34th ACM SIGPLAN International Conference on Compiler Construction, Las Vegas, United States. ACM Digital Library. Research article in digital collection (conference)
Reduction-Aware Directive-Based Programming via Multi-Dimensional Homomorphisms Schulze, Richard; Gorlatch, Sergei; Rasch, Ari (2025) In: (eds.), Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, Networking, Storage and AnalysisInternational Conference for High Performance Computing, Networking, Storage and Analysis, St. Louis, United States. ACM Digital Library . Research article in digital collection (conference)
USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS Gorlatch, S.; Garanina, N.; Staroletov, S. (2025) In: Journal of Mathematical Sciences, -(-). Research article (journal)
A Toolset for Predicting Performance of Legacy Real-Time Software Based on the RAST Approach Tomak, Juri; Gorlatch, Sergei (2025) In: ACM Transactions on Modeling and Computer Simulation, 35(3), 20. Research article in journal (conference)
Towards an Autoscaling Service for Real-Time Online Interactive Applications on Clouds Jarrous-Holtrup, S; Abdinghoff, J; Schamel, F; Gorlatch, S (2024) In: Chis, A; González-Vélez, H. (eds.), Euromicro Conference on Parallel, Distributed and Network-Based Processing. Dublin: . Research article in edited proceedings (conference)
Performance Evaluation of a Legacy Real-Time System: An Improved RAST Approach Tomak, J.; Liermann, A.; Gorlatch, S. (2024) In: Guisado-Lizar, JL.; Riscos-Núñez, A.; Morón-Fernández, MJ.; Wainer, G. (eds.), Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Cham: . Research article in edited proceedings (conference)
KNOWLEDGE ACQUISITION IN MULTI-AGENT SYSTEMS: A FORMALIZATION OF THE ELEUSIS CARD GAME Garanina, N.; Gorlatch, S. (2024) In: Journal of Mathematical Sciences, 281(2). Research article (journal)
Descend: A Safe GPU Systems Programming Language Köpcke, Bastian; Gorlatch, Sergei; Steuwer, Michel (2024) In: Proceedings of the ACM on Programming Languages, 8(PLDI), 181. Research article (journal)
Autotuning Parallel Programs by Model Checking Garanina, N; Gorlatch, S (2023) In: Automatic Control and Computer Sciences, 56(7). Research article (journal)