The following pages link to Todd D. Millstein (Q703851):
Displaying 8 items.
- Bounded similarity querying for time-series data (Q703853) (← links)
- (Q832294) (redirect page) (← links)
- Model checking finite-horizon Markov chains with probabilistic inference (Q832295) (← links)
- Query containment for data integration systems (Q1394795) (← links)
- Generating error traces from verification-condition counterexamples (Q1776586) (← links)
- Modular statically typed multimethods (Q1854533) (← links)
- Modular typechecking for hierarchically extensible datatypes and functions (Q2949198) (← links)
- Automated soundness proofs for dataflow analyses and transformations via local rules (Q5276160) (← links)
