Sebastian Hack - Concepedia

Author

Sebastian Hack

Saarland University ORCID

Also Known As

Hack, Sebastian, Sebastian Hack

116

Publications

1.6K

Citations

H-Index

Concepts

All Affiliations

Saarland University Johannes Gutenberg University Mainz École Normale Supérieure de Lyon Intel (Germany)Institut national de recherche en sciences et technologies du numérique

About

Sebastian Hack is an author at Saarland University specializing in program analysis, computer engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	25	765
2	Computer Engineering	15	24	625
3	Computer Science	15	24	739
4	Data Science	2	2	166
5	Education	1	1	12

Sebastian Hack

Publications

932

Citations

H-Index

Page 1

	Year	Citations
Generating test cases for specification mining Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Software MaintenanceEngineeringVerificationTest Data GenerationSoftware Engineering	2010	140
A dynamic program analysis to find floating-point accuracy problems Florian Benz, Andreas Hildebrandt, Sebastian Hack Mathematical ProgrammingReal Data TypeEngineeringCatastrophic CancellationValidated Numerics	2012	120
Automatically Generating Test Cases for Specification Mining Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, IEEE Transactions on Software Engineering	2011	66
Whole-function vectorization Ralf Karrenberg, Sebastian Hack	2011	62
Optimal register allocation for SSA-form programs in polynomial time Sebastian Hack, Gerhard Goos Information Processing Letters Mathematical ProgrammingOptimal Register AllocationEngineeringProgram AnalysisCompiler Technology	2006	47
Profiling Java programs for parallelism Clemens Hammacher, Kevin Streit, Sebastian Hack, Cluster ComputingEngineeringComputer ArchitectureSoftware EngineeringMulti-core Architectures	2009	45
A dynamic program analysis to find floating-point accuracy problems Florian Benz, Andreas Hildebrandt, Sebastian Hack ACM SIGPLAN Notices Mathematical ProgrammingEngineeringCompiler TechnologyBinary TranslationComputer Architecture	2012	44
AnyDSL: a partial evaluation framework for programming high-performance libraries Roland Leißa, Klaas Boesche, Sebastian Hack, Proceedings of the ACM on Programming Languages EngineeringCompiler TechnologyComputer ArchitectureSoftware EngineeringClean-slate Programming System	2018	41
Partial control-flow linearization Simon Moll, Sebastian Hack Numerical AnalysisMolecular Dynamics BenchmarkEngineeringPartial LinearizationComputer Architecture	2018	27
AnyHLS: High-Level Synthesis With Partial Evaluation M. Akif Özkan, Arsène Pérard‐Gayot, Richard Membarth, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems	2020	27

Page 1