Daniel Wagner

Contact me

Office	I'm a third-year PhD student at CIS UPenn studying programming languages with Benjamin C. Pierce. I live in Levine 513.
Phone	650 353 1788
Email	My username is "daniel" on the "wagner-home.com" server.
Others	I go by the handle "dmwit" lots of places.

2011-07	Edit Lenses [slides, video] (POPL 2012), with Martin Hofmann and Benjamin C. Pierce
2011-01	Three Perspectives on Change (submitted as UPenn Written Preliminary Exam)
2010-09	Symmetric Lenses [full version, slides, video] (POPL 2011), with Martin Hofmann and Benjamin C. Pierce
2010-04	Differential Privacy for Collaborative Security (EuroSec 2010), with Jason Reed, Adam J. Aviv, Andreas Haeberlen, Benjamin C. Pierce, and Jonathan M. Smith
2010-03	The Spider Calculus: Computing in Active Graphs, with Benjamin C. Pierce and Alessandro Romanel

for the Dragon go server
- predict the future, and have wyvern play your moves for you
- access the bot interface from Haskell
- manipulate SGF files in Haskell
- miscellaneous GreaseMonkey scripts
  - use Senseis' Library syntax in forums and in-game messages
  - show the amount of time remaining in games on your status page
  - mark forums that have new messages
  - add a star to each user's activity indicator
for minimal window management
- control your volume with X.A.Volume (along with a tutorial)
- separate the workspaces on your screens with X.L.IndependentScreens
- move the mouse with keybindings via X.A.Warp
- display brief notifications using X.U.Dzen
- bacteria: compose Xinerama backgrounds
- a small dmenu wrapper called yeganesh
for school
- PDFSplit, a tool that makes reading academic papers on the Kindle a bit more pleasant
- some finite state transducer stuff, which has got to be just about the coolest name for anything ever invented
- a visualization of the Menger sponge
for TF2: a crosshair for shotguns

last updated 28 July, 2011