Concepedia

Sebastian Hack

SH

29

Publications

932

Citations

17

H-Index

2006

Active since

Affiliations

Saarland University(Current)

Johannes Gutenberg University Mainz

École Normale Supérieure de Lyon

Intel (Germany)

Institut national de recherche en sciences et technologies du numérique

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

Top concepts

EngineeringComputer ScienceComputer EngineeringProgram AnalysisParallel ProgrammingParallel ComputingComputer ArchitectureSoftware AnalysisFormal MethodsSoftware Engineering

Publications per year

2006–2022

29

Publications

29

Generating test cases for specification mining

Valentin Dallmeier, Nikolai Knopp, Christoph Mallon et al. · 2010 · 140 citations

Software Maintenance, Engineering, Verification +22

A dynamic program analysis to find floating-point accuracy problems

Florian Benz, Andreas Hildebrandt, Sebastian Hack · 2012 · 120 citations

Mathematical Programming, Real Data Type, Engineering +15

Automatically Generating Test Cases for Specification Mining

Valentin Dallmeier, Nikolai Knopp, Christoph Mallon et al. · IEEE Transactions on Software Engineering · 2011 · 66 citations

Whole-function vectorization

Ralf Karrenberg, Sebastian Hack · 2011 · 62 citations

Optimal register allocation for SSA-form programs in polynomial time

Sebastian Hack, Gerhard Goos · Information Processing Letters · 2006 · 47 citations

Mathematical Programming, Optimal Register Allocation, Engineering +9

Rows per page

1–5 of 29