TY - CHAP A1 - Devillers, Hugo A1 - Kurtenacker, Matthias A1 - Membarth, Richard A1 - Lemme, Stefan A1 - Kenzel, Michael A1 - Yazici, Ömercan A1 - Slusallek, Philipp ED - Knoll, Aaron ED - Peters, Christoph T1 - No More Shading Languages: Compiling C++ to Vulkan Shaders T2 - High-Performance Graphics - Symposium Papers N2 - Graphics APIs have traditionally relied on shading languages, however, these languages have a number of fundamental defects and limitations. By contrast, GPU compute platforms offer powerful, feature-rich languages suitable for heterogeneous compute. We propose reframing shading languages as embedded domain-specific languages, layered on top of a more general language like C++, doing away with traditional limitations on pointers, functions, and recursion, to the benefit of programmability. This represents a significant compilation challenge because the limitations of shaders are reflected in their lower-level representations. We present the Vcc compiler, which allows conventional C and C++ code to run as Vulkan shaders. Our compiler is complemented by a simple shading library and exposes GPU particulars as intrinsics and annotations. We evaluate the performance of our compiler using a selection of benchmarks, including a real-time path tracer, achieving competitive performance compared to their native CUDA counterparts. UR - https://doi.org/10.2312/hpg.20251167 Y1 - 2025 UR - https://doi.org/10.2312/hpg.20251167 UR - https://diglib.eg.org/handle/10.2312/hpg20251167 UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-60151 SN - 978-3-03868-291-2 PB - The Eurographics Association CY - Goslar ER - TY - CHAP A1 - Kochdumper, Niklas A1 - Gassert, Philipp A1 - Althoff, Matthias ED - Frehse, Goran ED - Althoff, Matthias T1 - Verification of Collision Avoidance for CommonRoad Traffic Scenarios T2 - 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) UR - https://doi.org/10.29007/1973 Y1 - 2021 UR - https://doi.org/10.29007/1973 SN - 2398-7340 VL - 80 SP - 184 EP - 194 PB - EasyChair CY - Bramhall ER - TY - CHAP A1 - Sadeghian, Shadan A1 - Schrapel, Maximilian A1 - Wintersberger, Philipp A1 - Koetsierr, Christian A1 - Laschke, Matthias A1 - Rohs, Michael A1 - Schering, Johannes A1 - Kun, Andrew A1 - Riener, Andreas T1 - Workshop on Designing Technologies for Future Forms of Sustainable Mobility T2 - Extended Abstracts: Expanding the Horizon of Mobile Interaction: The 22nd International Conference on Human-Computer Interaction with Mobile Devices and Services UR - https://doi.org/10.1145/3406324.3424586 KW - Mobility KW - persuasive technology KW - sustainable HCI KW - automotive UI KW - climate change KW - behavior change KW - sustainable transportation KW - micromobility KW - bicycles Y1 - 2020 UR - https://doi.org/10.1145/3406324.3424586 SN - 978-1-4503-8052-2 PB - ACM CY - New York ER - TY - CHAP A1 - Fröhlich, Peter A1 - Schartmüller, Clemens A1 - Wintersberger, Philipp A1 - Riener, Andreas A1 - Kun, Andrew A1 - Brewster, Stephen A1 - Shaer, Orit A1 - Baldauf, Matthias T1 - AutoWork 2021: Workshop on the Future of Work and Well-Being with Automated Vehicles T2 - Adjunct Proceedings: 13th International ACM Conference on Automotive User Interfaces and Interactive Vehicular Applications UR - https://doi.org/10.1145/3473682.3477437 Y1 - 2021 UR - https://doi.org/10.1145/3473682.3477437 SN - 978-1-4503-8641-8 SP - 164 EP - 166 PB - ACM CY - New York ER - TY - CHAP A1 - Kugele, Stefan A1 - Obergfell, Philipp A1 - Broy, Manfred A1 - Creighton, Oliver A1 - Traub, Matthias A1 - Hopfensitz, Wolfgang T1 - On Service-Orientation for Automotive Software T2 - Proceedings: 2017 IEEE International Conference on Software Architecture (ICSA 2017) UR - https://doi.org/10.1109/ICSA.2017.20 KW - automotive KW - SOA KW - service-orientation KW - formal modeling Y1 - 2017 UR - https://doi.org/10.1109/ICSA.2017.20 SN - 978-1-5090-5729-0 SP - 193 EP - 202 PB - IEEE CY - Los Alamitos ER - TY - CHAP A1 - Kenzel, Michael A1 - Lemme, Stefan A1 - Membarth, Richard A1 - Kurtenacker, Matthias A1 - Devillers, Hugo A1 - Steinberger, Markus A1 - Slusallek, Philipp T1 - AnyQ: An Evaluation Framework for Massively-Parallel Queue Algorithms T2 - Proceedings: 2023 IEEE International Parallel and Distributed Processing Symposium: IPDPS 2023 UR - https://doi.org/10.1109/IPDPS54959.2023.00079 KW - Massively Parallel KW - Concurrent Queue KW - GPU Y1 - 2023 UR - https://doi.org/10.1109/IPDPS54959.2023.00079 SN - 979-8-3503-3766-2 SP - 736 EP - 745 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Mast, Tanja A1 - Holzhammer, Uwe A1 - Philipp, Matthias ED - Nelles, Michael T1 - SmartBio : Biogasanlagen als Akteur in neuen intelligenten, regionalen Märkten T2 - Tagungsband 12. Rostocker Bioenergieforum 2018 Y1 - 2018 UR - https://www.openagrar.de/receive/dimport_mods_00001878 SN - 978-3-86009-473-0 SP - 143 EP - 150 PB - Universität Rostock CY - Rostock ER - TY - CHAP A1 - Huber, Matthias A1 - Trippe, Annette A1 - Kuhn, Philipp A1 - Hamacher, Thomas T1 - Effects of Large Scale EV and PV Integration on Power Supply Systems in the Context of Singapore T2 - 2012 3rd IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe) UR - https://doi.org/10.1109/ISGTEurope.2012.6465831 Y1 - 2013 UR - https://doi.org/10.1109/ISGTEurope.2012.6465831 SN - 978-1-4673-2597-4 PB - IEEE CY - Piscataway ER -