Chris Tucker

Employment

Intellidot, Corp

I currently work for Intellidot, Corp in San Diego as a Senior Software Engineer. Intellidot produces a small handheld device for nurses which communicates with a backend server to verify that the drug a nurse is about to deliver to a patient is the correct drug, in the correct dosage, at the correct time, and delivered in the correct manner. With tens of thousands of people dying each year from incorrect drug administrations in hospitals it's nice to think we might actually be saving some lives.

Linspire, Inc

For the four years prior to moving to Intellidot I worked for Linspire, Inc as the lead web team engineer/architect. In that time I also became interested in (and had to deal with) the packaging problems posed by APT, which led to the OPIUM research listed below. Linspire makes an easy to use operating system for Joe Public, but perhaps more importantly has a remarkable technology built atop Debian to install software for end users without the usual headache associated with Linux.

Research/Education

My primary research interests are in two disparate areas of Computer/Cognitive Science: information management and static analysis/logic/languages. The OPIUM paper below draws on the latter, my MS work on the former.

University of California, San Diego

At present I'm a long-term MS student in the Computer Science and Engineering department at UCSD, carefully avoiding completing my thesis so I retain access to all the great minds at the University. In particular, I've worked closely with and Ranjit Jhala of the PL group, and Jim Hollan in Cognitive Science for my thesis topic.

University of Warwick, UK

I received my BSc with Honours in Computer Science from the University of Warwick near Coventry, England in 2001. Other than Warwick being a great school and a place where I made some of my firmest friends, there's not too much more to say about it, really. If we weren't so terrible at every sport imaginable I might put in a cheer here for the school colours, but frankly I don't even know what they were.

Publications

Chris Tucker, David Shuffelton, Ranjit Jhala, and Sorin Lerner. OPIUM: Optimizing Package Install/Uninstall Manager. In proceedings of 29th International Conference in Software Engineering, Minneapolis, Minnesota, May 23-26, 2007
Linux distributions often include package management tools such as apt-get in Debian or yum in RedHat. Using information about package dependencies and conflicts, such tools can determine how to install a new package (and its dependencies) on a system of already installed packages. Using off-the-shelf SAT solvers, pseudo-boolean solvers, and Integer Linear Programming solvers, we have developed a new package-management tool, called Opium, that improves on current tools in two ways: (1) Opium is complete, in that if there is a solution, Opium is guaranteed to find it, and (2) Opium can optimize a user-provided objective function, which could for example state that smaller packages should be preferred over larger ones. We performed a comparative study of our tool against Debian's apt-get on 600 traces of real-world package installations. We show that Opiumruns fast enough to be usable, and that its completeness and optimality guarantees provide concrete benefits to end users.
(Presentation Slides)