Automatically Generating Test Cases for Specification Mining
Dallmeier, V., Knopp, N., Mallon, C., Fraser, G., Hack, S., Zeller, A.
Published in IEEE transactions on software engineering (01.03.2012)
Published in IEEE transactions on software engineering (01.03.2012)
Get full text
Journal Article
AnICA: analyzing inconsistencies in microarchitectural code analyzers
Ritter, Fabian, Hack, Sebastian
Published in Proceedings of ACM on programming languages (31.10.2022)
Published in Proceedings of ACM on programming languages (31.10.2022)
Get full text
Journal Article
Temporal resolution of the human primary auditory cortex in gap detection
Rupp, André, Gutschalk, Alexander, Hack, Sebastian, Scherg, Michael
Published in Neuroreport (03.12.2002)
Published in Neuroreport (03.12.2002)
Get more information
Journal Article
A graph-based higher-order intermediate representation
Leisa, Roland, Koster, Marcel, Hack, Sebastian
Published in 2015 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) (01.02.2015)
Published in 2015 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) (01.02.2015)
Get full text
Conference Proceeding
CUDA-accelerated protein electrostatics in linear space
Kemmer, Thomas, Hack, Sebastian, Schmidt, Bertil, Hildebrandt, Andreas
Published in Journal of computational science (01.06.2023)
Published in Journal of computational science (01.06.2023)
Get full text
Journal Article
An abstract interpretation for SPMD divergence on reducible control flow graphs
Rosemann, Julian, Moll, Simon, Hack, Sebastian
Published in Proceedings of ACM on programming languages (01.01.2021)
Published in Proceedings of ACM on programming languages (01.01.2021)
Get full text
Journal Article
AnyHLS: High-Level Synthesis With Partial Evaluation
Ozkan, M. Akif, Perard-Gayot, Arsene, Membarth, Richard, Slusallek, Philipp, Leisa, Roland, Hack, Sebastian, Teich, Jurgen, Hannig, Frank
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2020)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2020)
Get full text
Journal Article
AnyDSL: a partial evaluation framework for programming high-performance libraries
Leißa, Roland, Boesche, Klaas, Hack, Sebastian, Pérard-Gayot, Arsène, Membarth, Richard, Slusallek, Philipp, Müller, André, Schmidt, Bertil
Published in Proceedings of ACM on programming languages (01.11.2018)
Published in Proceedings of ACM on programming languages (01.11.2018)
Get full text
Journal Article
GrGen : A Fast SPO-Based Graph Rewriting Tool
GEISS, Rubino, VEIT BATZ, Gernot, GRUND, Daniel, HACK, Sebastian, SZALKOWSKI, Adam
Published in Lecture notes in computer science (2006)
Get full text
Published in Lecture notes in computer science (2006)
Conference Proceeding
tinyMD: Mapping molecular dynamics simulations to heterogeneous hardware using partial evaluation
Machado, Rafael Ravedutti L., Schmitt, Jonas, Eibl, Sebastian, Eitzinger, Jan, Leißa, Roland, Hack, Sebastian, Pérard-Gayot, Arsène, Membarth, Richard, Köstler, Harald
Published in Journal of computational science (01.09.2021)
Published in Journal of computational science (01.09.2021)
Get full text
Journal Article
Verified Spilling and Translation Validation with Repair
Rosemann, Julian, Schneider, Sigurd, Hack, Sebastian
Published in Interactive Theorem Proving (2017)
Published in Interactive Theorem Proving (2017)
Get full text
Book Chapter
A Linear First-Order Functional Intermediate Language for Verified Compilers
Schneider, Sigurd, Smolka, Gert, Hack, Sebastian
Published in Interactive Theorem Proving (19.08.2015)
Published in Interactive Theorem Proving (19.08.2015)
Get full text
Book Chapter