David Hall

dlwh at [university].edu

205.807.0346

About Me

I'm an undergraduate in Symbolic Systems at Stanford. I work with the Stanford NLP Group... sorta, but I'm getting better.

Interests

• Ridiculous interpretations of Hamlet
• Semi-pretentious indie music
• Toy programming languages
• OCaml, but not the syntax
• Computers that read
• People that write
• People that read
• Catch-22
• Skynet
• Lolita
• xkcd
• vim

Courses

• CS92SI: Explorations on OCaml

  Spring, 2007. Basics of the OCaml programming language. Thinking in terms of modules and lambdas.

• CS107: Programming Paradigms

  Autumn and Spring, 2007. I only TA'd this one. Memory Management. Scheme. Java inheritance (ugh). Concurrency (yay!). Code Generation.

• CS93SI: Modern C++ Techniques

  Spring, 2006. C++ Templates and Factories. Templates and LISP. Exceptions. Templates and more templates. One of these days I'll write a rant about what's wrong with these, and why I used to love them.

Publication(s)*

• Learning Alignments and Leveraging Natural Logic

  Nathanael Chambers, Daniel Cer, Trond Grenager, David Hall, Chloe Kiddon, Bill MacCartney, Marie-Catherine de Marneffe, Daniel Ramage, Eric Yeh and Christopher D. Manning
  to appear ACL Workshop on Textual Entailment and Paraphrase, Prague. 2007.

*Yeah, there's only one, give me a bit.