From

Institution

Field

Type

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

Reset

Papers matching “program acceleration” 15

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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 WST Version)
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

0

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
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
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
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
Incremental Property Directed Reachability
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Max Blankestijn, Alfons Laarman

0

citations
Eleven Strategies for Making Reproducible Research and Open Science Training the Norm at Research Institutions
2023 preprint Computer Science Research Data Management Practices Open access

Friederike Elisabeth Kohrs, Susann Auer, Alexandra Bannach‐Brown, Susann Fiedler, Tamarinde Laura Haven, Verena Heise, +45 more

7

citations
Inductive Synthesis for Probabilistic Programs Reaches New Horizons
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

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

0

citations
First Experiences in Performance Benchmarking with the New SPEChpc 2021 Suites
2022 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access

Holger Brunst, Sunita Chandrasekaran, Florina M. Ciorba, Nick Hagerty, Robert Henschel, Guido Juckeland, +4 more

2

citations
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Grani A. Hanasusanto, Huan Zhang

3

citations
Stochastic Gradient Descent with Momentum: Analysis and Synthesis via Integral Quadratic Constraints
2026 arXiv (Cornell University) preprint Computer Science Stochastic Gradient Optimization Techniques Open access

Dennis Gramlich, Carsten W. Scherer, Christian Ebenbauer

0

citations

15 results