Polymorphic predicate abstractionBALL, Thomas; MILLSTEIN, Todd; RAJAMANI, Sriram K et al.ACM transactions on programming languages and systems. 2005, Vol 27, Num 2, pp 314-343, issn 0164-0925, 30 p.Article

Modular statically typed multimethodsMILLSTEIN, Todd; CHAMBERS, Craig.Information and computation (Print). 2002, Vol 175, Num 1, pp 76-118, issn 0890-5401Conference Paper

Bounded similarity querying for time-series dataGOLDIN, Dina Q; MILLSTEIN, Todd D; KUTLU, Ayferi et al.Information and computation (Print). 2004, Vol 194, Num 2, pp 203-241, issn 0890-5401, 39 p.Article

Expressive and Modular Predicate Dispatch for JavaMILLSTEIN, Todd; FROST, Christopher; RYDER, Jason et al.ACM transactions on programming languages and systems. 2009, Vol 31, Num 2, issn 0164-0925, 7.1-7.54Article

Responders : Language Support for Interactive ApplicationsCHIN, Brian; MILLSTEIN, Todd.Lecture notes in computer science. 2006, pp 255-278, issn 0302-9743, isbn 3-540-35726-2, 1Vol, 24 p.Conference Paper

Multijava : Design rationale, compiler implementation, and applicationsCLIFTON, Curtis; MILLSTEIN, Todd; LEAVENS, Gary T et al.ACM transactions on programming languages and systems. 2006, Vol 28, Num 3, pp 517-575, issn 0164-0925, 59 p.Article

Semantic type qualifiersCHIN, Brian; MARKSTRUM, Shane; MILLSTEIN, Todd et al.ACM SIGPLAN notices. 2005, Vol 40, Num 6, pp 85-95, issn 1523-2867, 11 p.Conference Paper

Towards Concurrency Refactoring for X10MARKSTRUM, Shane; FUHRER, Robert M; MILLSTEIN, Todd et al.ACM SIGPLAN notices. 2009, Vol 44, Num 4, pp 303-304, issn 1523-2867, 2 p.Conference Paper

Inference of user-defined type qualifiers and qualifier rulesCHIN, Brian; MARKSTRUM, Shane; MILLSTEIN, Todd et al.Lecture notes in computer science. 2006, pp 264-278, issn 0302-9743, isbn 3-540-33095-X, 1Vol, 15 p.Conference Paper

Modular typechecking for hierarchically extensible datatypes and functionsMILLSTEIN, Todd; BLECKNER, Colin; CHAMBERS, Craig et al.ACM SIGPLAN notices. 2002, Vol 37, Num 9, pp 110-122, issn 1523-2867, 13 p.Conference Paper

Practical predicate dispatchMILLSTEIN, Todd.ACM SIGPLAN notices. 2004, Vol 39, Num 10, pp 345-364, issn 1523-2867, 20 p.Conference Paper

A Case for an SC-Preserving CompilerMARINO, Daniel; SINGH, Abhayendra; MILLSTEIN, Todd et al.ACM SIGPLAN notices. 2011, Vol 46, Num 6, pp 199-210, issn 1523-2867, 12 p.Conference Paper

Automatically proving the correctness of compiler optimizationsLERNER, Sorin; MILLSTEIN, Todd; CHAMBERS, Craig et al.ACM SIGPLAN notices. 2003, Vol 38, Num 5, pp 220-231, issn 1523-2867, 12 p.Conference Paper

Reliable and efficient programming abstractions for wireless sensor networksKOTHARI, Nupur; GUMMADI, Ramakrishna; MILLSTEIN, Todd et al.ACM SIGPLAN notices. 2007, Vol 42, Num 6, pp 200-210, issn 1523-2867, 11 p.Conference Paper

Automated soundness proofs for dataflow analyses and transformations via local rulesLERNER, Sorin; MILLSTEIN, Todd; RICE, Erika et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 364-377, issn 1523-2867, 14 p.Conference Paper

Efficient Processor Support for DRFx, a Memory Model with ExceptionsSINGH, Abhayendra; MARINO, Daniel; NARAYANASAMY, Satish et al.ACM SIGPLAN notices. 2011, Vol 46, Num 3, pp 53-65, issn 1523-2867, 13 p.Conference Paper