===========================================================================
Dan Williams
===========================================================================

I am a PhD candidate in Computer Science at the University of Virginia,
working under the guidance of `Jack Davidson`_. I received my B.A. from
the `University of Wisconsin at Eau Claire`_ in 2002. 

The best way to contact me is via email: dan_williams@cs.virginia.edu.

Research
===========================================================================

I'm interested in creating tools and processes build safer, more reliable,
and more efficient software. These tools include traditional compiler
infrastructures (gcc, VPO), run-time systems (JITs, SDT), as well as software
development tools (source control, build systems).

My dissertation research is focused on improving all of
these tools by enabling them to share information through a common,
XML-based language. See the Metaman_ project for details.

Here are some of the projects I'm involved with:

- |MMBold|_ - **Metadata-Enabled Compilation Toolchain.**

- Strata_ - Portable Software Dynamic Translation.

- Helix_ - Regenerative Software Systems.

- Tortola_ - Symbiotic Optimization.

- Genesis_ - Automated Diversity.

Journal Papers
===========================================================================

`Security through Diversity: Leveraging Virtual Machine Technology`_ by
Daniel Williams, Wei Hu, Jack W. Davidson, Jason D. Hiser, John C. Knight,
Anh Nguyen-Tuong published in IEEE Security & Privacy, Jan 2009.

`Compile-Time Planning for Overhead Reduction in Software Dynamic
Translation`_ by Naveen Kumar, Bruce R. Childers, Daniel Williams, Jack W.
Davidson, and Mary Lou Soffa in IJPP, June 2005 

Conference Papers
===========================================================================

`A Cross-Layer Approach to Heterogeneity and Reliability`_ by Daniel
Williams, Aprotim Sanyal, Dan Upton, Jason Mars, Sudeep Ghosh, and Kim
Hazelwood in MEMOCODE, July 2009.

`Evaluating Indirect Branch Handling Mechanisms in Software Dynamic
Translation Systems`_ by Jason D. Hiser, Daniel Williams, Wei Hu, Jason
Mars, Bruce R. Childers, and Jack W. Davidson published in CGO 2007.

`Evaluating Fragment Construction Policies for SDT Systems`_ by Jason
D. Hiser, Daniel Williams, Adrian Filipi, Jack W. Davidson, and Bruce
R. Childers published in VEE 2006

`Secure and Practical Defense Against Code-injection Attacks`_ by Wei Hu,
Jason Hiser, Dan Williams, Adrian Filipi, Jack W. Davidson, David Evans,
John C. Knight, Anh Nguyen-Tuong, and Jonathan Rowanhill published in VEE 2006

Workshop and other Papers
===========================================================================

Metaman: System-wide Metadata Management by Daniel Williams and Jack
W. Davidson to appear in the Workshop on Binary Instumentation and
Applications, December 2009.

`Using Program Metadata to Support SDT in Object-Oriented
Applications`_ by Daniel Williams, Jason D. Hiser, and Jack
W. Davidson published in ICOOOLPS, July 2009.

`A Reactive Unobtrusive Prefetcher for Multicore and Manycore Architectures`_.
by Jason Mars, Daniel Williams, Dan Upton, Sudeep Ghosh, and Kim Hazelwood
published in Workshop on Software and Hardware Challenges of Manycore
Platforms, 2008.

`Threaded Software Dynamic Translation`_ by Daniel Williams. M.CS Project, 2005.

----

:Updated: |date|
:ReST: source_

|w3c|

.. |w3c| image:: http://www.w3.org/Icons/valid-xhtml10-blue
   :target: http://validator.w3.org/check?uri=referer

.. |date| date:: %m-%d-%y

.. |MMBold| replace:: **Metaman**

.. _Jack Davidson: http://www.cs.virginia.edu/~jwd
.. _University of Wisconsin at Eau Claire: http://www.uwec.edu/

.. _MMBold: metaman.html
.. _Metaman: metaman.html
.. _Strata: http://dependability.cs.virginia.edu/info/Strata
.. _Tortola: http://www.tortolaproject.com/
.. _Genesis: http://www.cs.virginia.edu/genesis/
.. _Helix: http://helix.cs.virginia.edu/

.. _Security through Diversity\: Leveraging Virtual Machine Technology:
   http://www2.computer.org/portal/web/csdl/doi/10.1109/MSP.2009.18

.. _Evaluating Indirect Branch Handling Mechanisms in Software Dynamic
   Translation Systems: http://www.cs.virginia.edu/~dww4s/pubs/cgo2007.pdf

.. _Evaluating Fragment Construction Policies for SDT Systems:
   http://www.cs.virginia.edu/~dww4s/pubs/hiser06frag.pdf

.. _Secure and Practical Defense Against Code-injection Attacks:
   http://www.cs.virginia.edu/~dww4s/pubs/strata-isr.pdf

.. _Compile-Time Planning for Overhead Reduction in Software Dynamic
    Translation: http://www.cs.virginia.edu/~dww4s/pubs/Kumar_compile_time_planning.pdf

.. _A Reactive Unobtrusive Prefetcher for Multicore and Manycore Architectures:
   http://www.cs.virginia.edu/~jom5x/papers/urp.pdf

.. _Threaded Software Dynamic Translation:
   http://www.cs.virginia.edu/~dww4s/pubs/masters.pdf

.. _Using Program Metadata to Support SDT in Object-Oriented
   Applications:
   http://www.cs.virginia.edu/~dww4s/pubs/metaman_oo.pdf

.. _A Cross-Layer Approach to Heterogeneity and Reliability:
   http://www.cs.virginia.edu/~dww4s/pubs/memocode_09.pdf

.. _source: index.rst