Amy L. Williams Ph.D. Candidate Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology

I am a fifth year Ph.D. student working jointly with David Gifford in the Computer Science and Artificial Intelligence Laboratory and David Housman from the Center for Cancer Research at Massachusetts Institute of Technology. More to come on this soon!

Before venturing applying computer science to problems in genetics and biology, I worked with Michael Ernst on my Master's thesis. We studied static detection of deadlock for Java libraries. This work is published in the ECOOP 2005 proceedings (see my publications links below).

Before coming to MIT, I was at the University of Utah, where I graduated in May 2003 with degrees in Computer Science and Mathematics. While there, I worked with Wilson Hsieh on my bachelor's thesis and authored a graphics paper with Peter Shirley.

Publications

• Static Deadlock Detection for Java Libraries
  Amy Williams, William Thies, and Michael D. Ernst
  Proceedings of the 2005 European Conference on Object-Oriented Programming (ECOOP).
  Glasgow, Scotland, UK, July 2005.
  Paper: pdf ps
  Presentation slides: original (ppt) extended (ppt) extended (pdf)

• Static Detection of Deadlock for Java Libraries
  Amy Lynne Williams
  Master's Thesis, Massachusetts Institute of Technology, May, 2005.
  Paper: pdf ps

• An Efficient and Robust Ray-Box Intersection Algorithm
  Amy Williams, Steve Barrus, R. Keith Morley, and Peter Shirley
  Journal of Graphics Tools, Volume 10, Number 1:49-54, June 2005. (Accepted November 2002.)
  Paper: pdf ps
  See also: Associated JGT web page, which includes source code.

Talks

• Static Deadlock Detection for Java Libraries (extended, pdf) or (ppt)
  Sun Microsystems
  Burlington, Massachusetts, September 2005

• Static Deadlock Detection for Java Libraries
  European Conference on Object-Oriented Programming (ECOOP)
  Glasgow, Scotland, UK, July 2005

• Green Hall Graduate Dormitory Secretary (2006-2007)
• Latter-day Saint Student Association (LDSSA) Treasurer (2005-2006)
• Latter-day Saint Student Association (LDSSA) Publicity Chair (2004-2005)

• Ruth L. Kirschstein National Research Service Award (2007)
• NSF Graduate Research Fellowship (2003)
• C. M. Collins Engineering Scholarship (2002)

Random Links

• Graduate Fellowships
  I made a listing of CS fellowships that might be helpful.

• Science and Religion
  Charles Hard Townes (Nobel laureate in physics, 1964) had some interesting words to say concerning science and religion.