Contact

email: sweeks@sweeks.com
phone: +1 551.208.8209

Objective

Software development in advanced languages (like Standard ML, OCaml, and Haskell).

Work Experience

• Jane Street Capital. New York City. February 2007 - present.

• Consultant. Silicon Valley, California. May 2002 - December 2006.

  Clients include: AnswerMine, Entain, McAfee Research (formerly Network Associates Laboratories), Reactive Systems, and PolySpace Technologies.

  Custom Standard ML coding and compiler development. Implemented improvements to MLton including garbage collectors, profiling tools, and compiler optimizations. Implemented an SML compiler and toolkit for AJAX development. Developed semantics for automated translation of access control systems.

• InterTrust Technologies. Santa Clara, California. April 1999 - May 2002.

  Designed and implemented a byte-code compiler and interpreter for use in small memory footprint environments. Implemented and extended an existing public-key traitor tracing algorithm and improved its performance. Designed and implemented a prototype trust management system based on SPKI. Designed an improved algorithm for SPKI certificate checking. Implemented an XML parser optimized for code space. Continued development of MLton.

• NEC Research Institute. Princeton, New Jersey. February 1997 - March 1999. Summers, 1993 - 1996.

  Began design and implementation of MLton, a whole-program optimizing compiler for the Standard ML programming language. MLton demonstrates the feasibility and benefits of whole-program analysis and optimization for advanced languages. MLton generates the most time efficient code of all SML compilers. MLton consists of over 100,000 lines of SML and 10,000 lines of C.

• Rice University Computer Science Department. Summers, 1989 - 1992.

  Served as primary programmer responsible for modifications to and maintenance of an implementation of a Scheme-like language. Performed research on compiler derivation and constructed a compiler for a Scheme-like language. Implemented an X Windows graphics package for Scheme. Studied calculi for programming languages combining functional and imperative features.

Education

• Carnegie Mellon University, Pittsburgh, Pennsylvania. M.S. Computer Science, December 1995.

• Rice University, Houston, Texas. B.A. Computer Science and Mathematics, May 1992. Summa Cum Laude.

Honors

• National Science Foundation Graduate Research Fellow

• National Merit Scholar

• Rice University President's Honor Roll

• Tau Beta Pi

Program Committees

• 2008 International Conference on Functional Programming (ICFP)

• 2006 Commercial Users of Functional Programming (CUFP)

• 2006 International Conference on Trust Management (iTrust)

• 2005 Workshop on ML

• 2002 Foundations of Computer Security (FCS)

Publications

See http://sweeks.com/Papers.