Timothy Good Abbott
- Tim Abbott, known by many as "tabbott"
- tabbott@mit.edu
- (703)-859-1830
Work
I was co-founder and Chief Technology Officer
of Ksplice; after Oracle's
acquisition of Ksplice, I ran the Ksplice engineering team at Oracle
for a year before starting a second startup,
the Zulip group chat, which was
acquired by Dropbox in March 2014. I left Dropbox in Spring 2016
and now spend my time running the Zulip open source project.
|
Open Source Software Projects
- I spent most of 2012-2014 working
on Zulip, a group chat product for
teams that was acquired by Dropbox. Zulip
was open
sourced by Dropbox in late 2015, and since then I've been the lead
developer of the Zulip open source project.
- I spent most of 2008-2012 working
on Ksplice, open source software
for updating a running Linux kernel without rebooting, and Ksplice
Uptrack, the subscription service that was running on hundreds of
thousands of production Linux servers as of the Oracle acquisition in
2011. Ksplice is now the flagship feature of Oracle Linux, but Oracle
stopped releasing the open source project after acquiring Ksplice.
The Ksplice
blog archive contains a bunch of great content produced by the
Ksplice engineering team.
- I rewrote all of the Linux kernel's linker scripts to use a set of
macros, so that it's much easier to rename sections. Somewhere
along the way I also
wrote the
Linux kernel's binary search implementation.
- I packaged for Debian the Sage
mathematics software and 20 of its dependencies. This was a lot
of work (I was told that I needed to find 5 or 6 experienced packagers
to make this happen), but working with the Sage community was a great
experience. Unfortunately delays in the Debian NEW queue followed by
my starting Ksplice meant that this never was particularly useful to
users; we eventually removed the package from Debian since it got
quite out of date. A few years later
a new packaging
effort started and is progressing well.
- I started and
led Debian-Athena, a port of
Athena and all its useful software to Debian, with a number of
enhancements. Anders Kaseorg and I ran a distribution on top of
Debian and Ubuntu installed on hundreds of machines across the MIT
campus, and then convinced MIT's official IT organization to adopt it
as the new version of Athena.
- Along with Nelson Elhage, I
developed the Linerva
Project, a secure Linux "dialup" (shell) server at MIT; hundreds
of people logged into the system every day to check their email and do
important coursework before it was handed off to MIT's official IT
organization (years after I retired from the project).
- I maintain config-package-dev,
a set of CDBS modules created by Anders Kaseorg and I for
efficiently creating Debian configuration packages.
- I started the SIPB Virtual Servers
Project. The software,
called Invirt, is still in use
but AFAIK hasn't been adopted outside MIT.
- Anders Kaseorg and I wrote nss_nonlocal, an NSS
module that protects nonlocal accounts from getting access to local
credentials.
- I wrote pam_mktemp, a PAM
module to create temporary files and set an environment variable to
point to them.
- I worked on scripts.mit.edu,
A SIPB service providing a secure environment for running CGI scripts
out of AFS that now hosts thousands of MIT sites (to this day, MIT's
official webservers only support static content).
Organizations
- I contribute to Debian, by submitting
bugs and maintaining
some packages.
- In 2005 and 2006, I ran the
Harvard-MIT Math Tournament, a contest for high school students
run by Harvard and MIT students.
- In 2006, I was Technical Director of Maslab, a student-run IAP
robotics competition course (6.186) focused on autonomous,
vision-based robots navigating an unknown playing area.
- I was Vice Chairman and then Chairman
of MIT's Student Information
Processing Board, the MIT computer club, in 2006-2007. I
instituted a weekly series of technical talks ("Cluedumps") every Fall
and approximately-monthly "hackathons" to work on projects, and
oversaw a series of cleanups and rearrangements of the SIPB office
which resulted in a dramatic increase in its popularity as a
workspace.
- In 2005, I was Secretary of the MIT
Lecture Series Committee, an organization that shows movies in MIT
lecture halls and uses the profits to bring famous people to speak at
MIT.
- In 2006, I was the (figurehead) President of the MIT Mystery Hunt.
- During college I lived in Random Hall.
Awards
- Ksplice won the grand prize of the 2009 MIT $100K Business Plan
Competition as well as other grants and prizes totaling over $1M.
- The MIT Akamai Presidential Graduate Fellowship
- The 2007 NSF Graduate Research Fellowship
- The Machtey Award for Best Student Paper at FOCS 2005
- Tied for 7th place and 9th place on the 2004 and 2006 Putnam exams, respectively
- Honorable Mention (ranked 26-75) on the 2003, 2005 Putnam exams
- A Silver Medal at the 2003 International Olympiad in Informatics
- A Bronze Medal at the 2003 Central European Olympiad in Informatics
- A Silver Award at the 2003 Asian Pacific Math Olympiad
- Honorable Mention (ranked 13-25), USA Math Olympiad 2002, 2003
Publications:
- Timothy Abbott, Erik D. Demaine, Martin L. Demaine, Daniel Kane,
Stefan Langerman, Jelani Nelson, Vincent Yeung: Dynamic Ham-Sandwich Cuts of Convex Polygons in the Plane. CCCG 2005.
- Timothy Abbott, Daniel Kane, Paul Valiant: On the Complexity of
Two-Player Win-Lose Games. FOCS 2005.
- Timothy G. Abbott, Kiran S. Kedlaya, David Roe: Bounding Picard
numbers of surfaces using p-adic cohomology. To appear in
proceedings "Arithmetic, Geometry, and Coding Theory (AGCT-10)"
- Timothy G. Abbott, Katherine J. Lai, Michael R. Lieberman, Eric C. Price:
Browser-Based
Attacks on Tor. Proceedings of the 7th Workshop on
Privacy Enhancing Technologies (PET 2007).
- Timothy G. Abbott, Zachary Abel, David Charlton, Erik
D. Demaine, Martin L. Demaine, Scott D. Kominers: Hinged
Dissections Exist. SOCG 2008.
- Timothy Good Abbott: Generalizations of Kempe's Universality
Theorem. Master's
thesis version, based on joint work with Reid W. Barton and
advised by Erik D. Demaine.
- Jeff Arnold, Tim Abbott, Waseem Daher, Gregory Price, Nelson
Elhage, Geoffrey Thomas, and Anders
Kaseorg: Security
Impact Ratings Considered Harmful. Proceedings of the 12th
Workshop on Hot Topics in Operating Systems (HotOS
2009).
Unpublished research papers
- Timothy Abbott, Yoyo Zhou: On Dynamic Algorithms for Minimum Cut
and Other Source-Sink Problems.
- Timothy G. Abbott, Erik D. Demaine, Blaise
Gassend: An
Infinitesimal Carpentar's Rule Theorem for Self-Touching
Linkages.
Expository papers
I normally wouldn't bother highlighting these since they were
basically class project reports, but enough people found them via
Google and then told me they found reading them useful that I'm
leaving them up.
- Timothy
G. Abbott: Feynman
Diagrams in Quantum Mechanics
- Tim Abbott and Alex
Schwendner: The
Complexity of the Permanent and Related Problems
News
I've been mentioned in the Tech, MIT's newspaper, occasionally.
Sometimes they even failed to misquote me.
Personal
My
wife and our recipes site
My mom's art inspired by
Ethiopian icons.
My aunt's apiary selling honey and
bee products.
Ancient History
The following are a set of (generally summer) programs that I
participated in as a high school student and highly recommend.
I attended high school at Thomas Jefferson High School for Science
and Technology (TJHSST, or TJ for short). While there, I benefitted
greatly from a community of peers interested in math and science,
learning much of what I knew by the end of high school from them.
Academic groups at TJHSST for which I was an officer and highly
recommend:
My PGP Public Key (which you perhaps shouldn't trust off a website)
is also available from pgp.mit.edu.
-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: GnuPG v1.4.3 (GNU/Linux)
mQGiBEKvr+gRBADjQtUWm2Egtw+cDL6N5t+oOxqqa1D8//JJhCPXPcB7+/cZgp6/
M5F9k2Bo8sYApSsiwh8cd31TIR9vmwjSCaJYPDnfi/VFAks79uyj71uX43HMS05m
GGx/KqQK2o2/fcMLfjlSqwV/+IuhBpKnpQZIUsleAe0SN0sjbvDVnKbmSwCg6kg4
ehKe0A2yrwNP99qMy8BrHjsEAJg7d28H70mmgKJKxcEjUdl1t9GsK7c4/+p6qM8w
tMq+VRT2ife1KcBAcUOUBD0ELyTNwFWKWCIjcN5kOqhhl+nT5+T/BbW08A8wbn5z
K8DWJXeKgOG44jU2S+Pp9vPhx1la9mzXNqYct6qN3VEKByHZJmqrX1w2L3J6drbt
NDN0A/90yhtfNNVEZx1eQPou3rHKaF4yfzcJydgoTy77m9MiGDYIkMOhcwgqdh4h
E3M4IndCSxfzwk2W2jSn+oY8YGCjTtDEH+kQxMba85/IgVZ+MGE4t3YrVNJFOgXZ
1wk+TSBpGejj9qmw/59gs2mB2oic5EarQpXer+cLGFwm6/Q+47QjVGltb3RoeSBH
LiBBYmJvdHQgPHRhYmJvdHRAbWl0LmVkdT6IYQQTEQIAIQIbAwYLCQgHAwIDFQID
AxYCAQIeAQIXgAUCQq+zDQIZAQAKCRC6IdCJa84Dyu8yAKDQeb91O1OFyi0JrzGs
TJ4NXP1WAACfdfB/+DmHqzmB3lQicFc26WRIPtyIRgQQEQIABgUCRONjMAAKCRDe
EQGDEhJFtVDGAJ4o8fJ5x7cjgEQjF7+8AqGxtiO19wCfUu7hxGhvoH9bgoCpm8YK
C5i+t1eIRgQSEQIABgUCROW87wAKCRCFxaAOaZqt8yT/AJ4/wKOiNqEofBXYVd2D
PTDqjzepGwCeKMXf+rFH78RPCLpIb3XLZnIfmvSInAQTAQIABgUCROOnXgAKCRCl
3Btdd/9QbVbkBACE/J2Av4uM8EXatCSKALhemKlyPVqTOA8s4cRNQABS/wuMzVIp
wJ+8121qXV2PNLtVn7XKojgQL8ESZpqEa6ZxXD5hIsBJBr6oOfuTOY+56aTp/aOi
dNq/kQVNrSnWaeHZUXdrgB2pDrZkNcmDG1TW+Tk8EgYpNsIrBQ3c2U9dLIhGBBMR
AgAGBQJE45EDAAoJEKj+kxJPURj8lX4AoO6dC4krgsED0pnqV6T6FsKs8HIOAKCT
zC+Dcalsr0+Qw2advjkmGVQONIicBBABAgAGBQJE7LYeAAoJEMUtR20Nv5BtDe0D
/AmC83WOZsm2c1hcOkXYC+BxXEFNodQscNm9OpxEB7ilgl8bkY0weNHL5V5CB7+b
Y04Jz1c4M8k1HpqRXqR29YNCv7Y2fBCmvt1l7zbzy2OXL2coRRp+OUvJbva2eOt7
OulCKsvbwKTUYhn2HhhvG++h56UnFlnf3IVA9lKJ+Y0qiEYEEBECAAYFAkTstjgA
CgkQ8CBzV/QUlSuykACgqKHZnOQ0jtTaYO5t0aOljRDi23UAoNpH0Iz78p3qrpmK
W3usvaJRWTWkiEYEEBECAAYFAkTtCakACgkQh92vSgMbLs83KQCfRxJby45CX88M
cKzIuGapd98xsGgAn0dX9wM8Npst7uH5dphX+pf/jhFPiEYEExECAAYFAkTwwr4A
CgkQFigHYOBZBFagEACgu14LlTejzEov9rx1k7vh3dxsmYAAnirkv9KAQhlTu0Tm
4lcP4qXEZfubuQINBEKvr/8QCACZ4QjQ0pgbNEiPNpKS5r8LvPUI2xTTafVqtv4J
sU7CFDh0KLWb/pFIBDgLxzNKdBT3nBA84vcMhF+xbAQDnTCcrFwWiAP+iUZ5hRfI
Vj6EzkX6SvajpL/eWK+PgPW+bj2cWLWzm3D448zZCTuVvfx1QSc2mSILHLId+ARd
MrIo7ZA1MnaY8ThnbCoNW5PZ6BhxSGuVTUb6n7Pm0iWnxuxthe0o98X5RdO5EjlO
gFzpk73HDhMLAi5SzFHJPoYaM/n4K5n7iQYOh8677CB0KjVjvzYjGoh7TVAa01Nz
H7vUF3xgR1TTZPNzOz1Dtmst7j8rA8cfNOiJBQ0VGJi5Y6p3AAMFB/9UJO2BvGJe
MvOJiMD5S9KvM3ccuBJFdSmqjZpWv2jU9fJ6Jc4nwyKxr9OFNWnA+JOIU2wWcsl4
ChQzefqkF5IQyvv58ryNwLX6r1xlP9AT2X6y3AxqAYkBu/Hgr+p2AUttQRzIex9b
5qrL4fWu7vZuURUEGSNjOt19J7VIM8eABro3d2cNMetwY+0fEc5TRm+Nrm0pRCDu
wNnn3baCrwSbWtvsOwOUtO2ProyeoGnzoxo921qOgtz44t5m+Tx+ozAHgjhn8D/S
uVDw71KTR+ILh1kaD9STqxiWhVYkGTVJRZOd/mI591GYLCf8r4xMyDD0zJvhkB3g
+UHJfEIvWyWdiEkEGBECAAkFAkKvr/8CGwwACgkQuiHQiWvOA8rAvQCfRFgnvdW+
YrL3uY1JPyiahy2jNq4AoONGzzl1hmQ6Z9zCVRF3azpj41dK
=RrhM
-----END PGP PUBLIC KEY BLOCK-----