Dominic Steinhöfel
Dominic Steinhöfel
Home
Posts
Projects
Publications
Talks
Events
Contact
CV
Posts
Precise Symbolic State Merging
State merging is a standard technique for mitigating path explosion in symbolic execution. Nondeterministic value summaries are guarded sets of values with overlapping guards. Without those, we cannot perform fully precise state merging in all situations (do-while loops, unstructured code, nondeterministic programs). Reconstructing symbolic execution traces from states merged with nondeterministic value summaries requires some notion of time or origin.
Last updated on Dec 21, 2020
8 min read
Launch of reengineering.software
I launched
reengineering.software
, a place to present advances in the area of Software Reengineering, as part of my efforts to put my work into a more general frame.
Last updated on Oct 6, 2020
1 min read
projects
PhD Thesis Published
My PhD thesis “Abstract Execution: Automatically Proving Infinitely Many Programs” has been published and is available for download (open access). The abstract and possible errata found after publication are listed on a separate page.
Last updated on Aug 5, 2020
1 min read
publication
Extract Inkscape Layers to PDF files for LaTeX Beamer Presentations
Presentation of a script for using Inkscape as an editor for animations in LaTeX presentations.
Last updated on Aug 5, 2020
5 min read
tools
Cite
×