Todd D. Millstein

From MaRDI portal
Person:703851

Available identifiers

zbMath Open millstein.todd-dMaRDI QIDQ703851

List of research outcomes





PublicationDate of PublicationType
Overfitting in synthesis: theory and practice2024-02-16Paper
Model checking finite-horizon Markov chains with probabilistic inference2022-03-25Paper
Automated soundness proofs for dataflow analyses and transformations via local rules2017-07-14Paper
Modular typechecking for hierarchically extensible datatypes and functions2015-10-07Paper
Generating error traces from verification-condition counterexamples2005-05-12Paper
Bounded similarity querying for time-series data2005-01-11Paper
Query containment for data integration systems2003-06-25Paper
Modular statically typed multimethods2003-01-14Paper

Research outcomes over time

This page was built for person: Todd D. Millstein

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:703851&oldid=10944788"
Powered by MediaWiki