Todd Millstein

发表

SYS 4: Designing High Integrity Embedded Networked Sensing Systems

Deborah Estrin, Todd Millstein, Eddie Kohler, 2006 .

Relaxed MultiJava: balancing extensibility and modular typechecking

Todd Millstein, Craig Chambers, Mark Reay, 2003, OOPSLA 2003.

32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands

Todd Millstein, 2018, ECOOP.

Scaling exact inference for discrete probabilistic programs

Guy Van den Broeck, Todd Millstein, Steven Holtzen, 2020, Proc. ACM Program. Lang..

Dr. Android and Mr. Hide: Fine-grained security policies on unmodified Android

Todd Millstein, Jeffrey S. Foster, Yixin Zhu, 2011 .

Language abstractions and program analysis techniques to build reliable, efficient and robust networked systems

Todd Millstein, Ramesh Govindan, Nupur Kothari, 2010 .

SYS0: Systems Area Research Overview

Jens Palsberg, Deborah Estrin, Todd Millstein, 2005 .

Jazz Innovations, November 20, 2002

Todd Millstein, Doug Miller, Brian Kinsella, 2002 .

Kairos: a macro-programming system for wireless sensor networks

Todd Millstein, Ramesh Govindan, Ramakrishna Gummadi, 2005, SOSP '05.

Front Matter, Table of Contents, Preface, Conference Organization

Todd Millstein, 2018, ECOOP.

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009

Todd Millstein, Thorsten Altenkirch, 2009, PLPV.

Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming

Ryan Beckett, Todd Millstein, Ratul Mahajan, 2019, CCRV.

Symbolic Exact Inference for Discrete Probabilistic Programs pdf

Guy Van den Broeck, Todd Millstein, Steven Holtzen, 2019, ArXiv.

Counterexample-Guided Learning of Monotonic Neural Networks pdf

Guy Van den Broeck, Todd Millstein, Golnoosh Farnadi, 2020, NeurIPS.

Kairos: A Macro-Programming Model for Wireless Sensor Networks Author:

Todd Millstein, Ramesh Govindan, Ramakrishna Gummadi, 2005 .

Kairos: Reliable and Efficient Programming Abstractions for Sensor Networks (SYS 4)

Todd Millstein, Ramesh Govindan, Ramakrishna Gummadi, 2006 .

Application-centric security policies on unmodified Android

Todd Millstein, Jeffrey S. Foster, Jeffrey A. Vaughan, 2011 .

MultiJava: Modular Symmetric Multiple Dispatch and Extensible Classes for Java

Todd Millstein, Gary T. Leavens, Craig Chambers, 2000 .

Experimenting with programming languages

Todd Millstein, Alessandro Warth, 2009 .

Probabilistic Program Abstractions pdf

Guy Van den Broeck, Todd Millstein, Steven Holtzen, 2017, UAI.

Toward reliable programming for unreliable hardware: technical perspective

Todd Millstein, 2016 .

Dice: Compiling Discrete Probabilistic Programs for Scalable Inference pdf

Guy Van den Broeck, Todd Millstein, Steven Holtzen, 2020, ArXiv.

Preventing lost messages in event-driven programming

Todd Millstein, Rupak Majumdar, Jeffrey Fischer, 2006 .

Overfitting in Synthesis: Theory and Practice (Extended Version) pdf

Todd Millstein, Rahul Sharma, Saswat Padhi, 2019, ArXiv.

Automatic predicate abstraction of C programs

Todd Millstein, Rupak Majumdar, Sriram K. Rajamani, 2001, PLDI '01.

Overfitting in Synthesis: Theory and Practice (Extended Version)

Todd Millstein, Rahul Sharma, Saswat Padhi, 2019, CAV.

Reconciling software extensibility with modular program reasoning

Todd Millstein, Craig Chambers, C. Chambers, 2003 .

Simplified semantics and debugging of concurrent programs via targeted race detection

Todd Millstein, Daniel Marino, T. Millstein, 2011 .

Language features and patterns for developing interactive software

Todd Millstein, Brian Chin, T. Millstein, 2009 .

LoopInvGen: A Loop Invariant Generator based on Precondition Inference

Todd Millstein, Saswat Padhi, Rahul Sharma, 2017, 1707.02029.

Finding protocol manipulation attacks

Todd Millstein, Ramesh Govindan, Ratul Mahajan, 2011, SIGCOMM 2011.

Replication Package for Artifact: Data-Driven Inference of Representation Invariants

Todd Millstein, David Walker, Anders Miltner, 2020 .

Practical pluggable types for java

Todd Millstein, Shane Markstrum, James Noble, 2005 .

Program Analysis for Reliable Sensor Network Software

Todd Millstein, Shane Markstrum, Roy Shea, 2005 .

Data-driven inference of representation invariants

Todd Millstein, David Walker, Anders Miltner, 2020, PLDI.

Failure Recovery in a Macroprogrammed Sensor Network System

Todd Millstein, Ramesh Govindan, Omprakash Gnawali, 2005 .

SYS 0: CENS Systems Research Overview

Jens Palsberg, Deborah Estrin, Todd Millstein, 2006 .

Session details: Doctoral symposium

Todd Millstein, 2008, OOPSLA Companion '08.

SYS 1: Programming and Architecting Embedded Networked Systems

Deborah Estrin, Todd Millstein, Ramesh Govindan, 2006 .

Model Checking Finite-Horizon Markov Chains with Probabilistic Inference

Guy Van den Broeck, Todd Millstein, Sebastian Junges, 2021, CAV.

flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs pdf

Guy Van den Broeck, Todd Millstein, Steven Holtzen, 2021, ArXiv.

Logical abstractions for noisy variational Quantum algorithm simulation

Guy Van den Broeck, Todd Millstein, Margaret Martonosi, 2021, ASPLOS.

Mechanized Metatheory for User-Defined Type Extensions ∗

Todd Millstein, T. Millstein, Daniel Marino Brian Chin, 2006 .

A Platform for Expressive and Secure Data Sharing with Untrusted Third Parties

Todd Millstein, Jeffrey A. Vaughan, Eric Griffis, 2012 .

Modularly Typesafe Interface Dispatch in JPred

Todd Millstein, Christopher Frost, T. Millstein, 2005 .

Static Checking for Dynamic Resource Management in Sensor Network Systems

Todd Millstein, Shane Markstrum, Roy Shea, 2006 .