From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “program acceleration” 51

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

A calculus for modular loop acceleration and non-termination proofs
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Carsten Fuhs

8

citations
A Calculus for Modular Loop Acceleration and Non-Termination Proofs
2021 BIROn (Birkbeck, University of London) article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Carsten Fuhs

0

citations
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

1

citations
Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs
2022 conference-paper Computer Science Software Testing and Debugging Techniques

Lechen Yu, Feiyang Jin, Joachim Protze, Vivek Sarkar

3

citations
Integrating Loop Acceleration into Bounded Model Checking
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

3

citations
Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper)
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

6

citations
Proving Non-Termination by Acceleration Driven Clause Learning (Short WST Version)
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

0

citations
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Florian Frohn, Jürgen Giesl

5

citations
GPU Acceleration in Unikernels Using Cricket GPU Virtualization
2023 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Niklas Eiling, Jonathan Klimt, Philipp Fensch, Stefan Lankes, Antonello Monti

1

citations
Research Data Management Guidelines for the DFG Priority Program SPP 2419 HyCAM
2026 Zenodo (CERN European Organization for Nuclear Research) other Computer Science Research Data Management Practices Open access

Marianna Cafiero, Michael Gauding, Heinz Pitsch

0

citations
Inferring Lower Runtime Bounds for Integer Programs
2020 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl

12

citations
Accelerating Loops with Arrays
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

1

citations
Accelerating Loops with Arrays
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

0

citations
Accelerating Loops with Arrays
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

0

citations
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

0

citations
Pigreads: The Python-integrated GPU-enabled reaction-diffusion solver using OpenCL for cardiac electrophysiology and other applications
2026 Computer Physics Communications article Computer Science Parallel Computing and Optimization Techniques Open access

Desmond Kabus, Hans Dierckx, Tim De Coster

1

citations
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

16

citations
FPGA-accelerated Binary Neural Networks as a surrogate model for a viscoplastic constitutive law in impulsively loaded beams
2025 Mechanics Research Communications article Computer Science Advanced Neural Network Applications Open access

Vasileios Polydoras, Saurabh Balkrishna Tandale, Rutwik Gulakala, Marcus Stoffel

2

citations
Experience in SYCL/oneAPI for event reconstruction at the CMS experiment
2026 Journal of Physics Conference Series conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Nikolaos Andriotis, Andrea Bocci, Laura Cappelli, Tony Di Pilato, Luca Ferragina, Juan Jose Olivera Loyola, +3 more

0

citations
Efficiency and scalability exploration of an application-specific instruction-set processor for deep convolutional neural networks
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Neural Network Applications Open access

Andreas Bytyn

0

citations
Data Publishing in Mechanics and Dynamics: Challenges, Guidelines, and Examples from Engineering Design
2024 arXiv (Cornell University) preprint Computer Science Research Data Management Practices Open access

Henrik Ebel, Jan van Delden, Timo Lüddecke, Aditya Borse, Rutwik Gulakala, Marcus Stoffel, +9 more

0

citations
Provably Bounding Neural Network Preimages
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy

6

citations
Inductive Synthesis for Probabilistic Programs Reaches New Horizons
2021 other Computer Science Formal Methods in Verification

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen

2

citations
Accelerated bounded model checking with LoAT
2026 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

0

citations
Enhancing SLMs for Sustainable Code Optimization in Radio-Astronomy
2026 arXiv (Cornell University) preprint Computer Science Software Engineering Research Open access

Elisa Chiarotto, Jingbo Li, P. Chris Broekema, Rob V. van Nieuwpoort

0

citations