Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
7
Hallucination-Resilient LLM-Driven Sound and Tunable Static Analysis
Towards a High Level Linter for Data Science
Static Analysis of Data Transformations in Jupyter Notebooks
ReCIPH: Relational Coefficients for Input Partitioning Heuristic
To Infinity... and Beyond!
Piecewise-Defined Ranking Functions
×
Cite