Map Home
Type / to search with text or keywords
/
keyboard shortcut: Type "/" on your keyboard for a quick search
Search button
Loading...
Loading...
Scroll left
Grants
Citations
H-Index
Patents
News
Books
Scroll right
Collapse sidebar
Data issues & feedback
Adjust height of sidebar
KMap
Profile
Roberto Giacobazzi
Professor, Computer Science | Member of the Graduate Faculty
Computer Science
Full Page
Overview
Research
More
Grants
(1)
Abstract Interpretation Driven Programming Languages
Active
·
2024
·
$142K
·
External
Principal Investigator (PI)
abstract interpretation,
programming languages,
static analysis,
code optimization,
software verification
Publications
(154)
Recent
Monotonicity and the Precision of Program Analysis
2024
program analysis,
monotonicity,
precision
How fitting is your abstract domain?
2023
abstract domain,
fitting,
research,
evaluation,
modeling
Local Completeness in Abstract Interpretation
2023
abstract interpretation,
completeness,
local analysis,
formal methods,
program analysis
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
2023
declarative programming,
verification,
intelligent systems,
analysis,
transformation
A Formal Framework to Measure the Incompleteness of Abstract Interpretations
2023
formal methods,
abstract interpretation,
completeness,
measurement,
framework
A Correctness and Incorrectness Program Logic
2023
program logic,
correctness,
incorrectness
On the Properties of Partial Completeness in Abstract Interpretation Short Paper)
2022
abstract interpretation,
completeness,
properties,
partial completeness,
short paper
Partial In) Completeness in abstract interpretation: limiting the imprecision in program analysis
2022
program analysis,
abstract interpretation,
imprecision,
completeness,
partial in) completeness
Abstract interpretation repair
2022
abstract interpretation,
program analysis,
compiler optimization,
software verification,
automated debugging
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation
2022
code obfuscation,
abstract interpretation,
property-driven,
jones-optimality,
reinterpretation