Tuesday, March 04, 2008

Similar dissertations

I found some dissertations that I think might be similar to mine (in form):

Advised by Rajiv Gupta

  • Rastislav Bodik, University of California, Berkeley, Dept. of Computer Science
    Dissertation: Path and Value Sensitive Code Optimizations (November 1999).
    Recipient of the SIGPLAN Outstanding Doctoral Dissertation Award, 2001.
    NSF CAREER Award, 2001.

  • Evelyn Duesterwald, IBM Research, Yorktown
    Dissertation: A Demand Driven Approach for Efficient Interprocedural Data Flow Analysis
    (July 1996).

My advisor's John Regehr dissertation (not really that similar):

  • Using Hierarchical Scheduling to Support Soft Real-Time Applications on General-Purpose Operating Systems,
    PhD thesis, University of Virginia, May 2001.

Advised by George Necula

  • Sumit Gulwani
    Program Analysis using Random Interpretation, PhD Dissertation, UC-Berkeley, 2005, Sumit Gulwani, Winner of the ACM SIGPLAN Doctoral Dissertation Award

Advised by Alex Aiken

  • Manuel Faehndrich
    Microsoft Research
    Thesis: BANE: A Library for Scalable Constraint-Based Program Analysis

  • John Kodumal
    Coverity
    Thesis: Program Analysis with Regularly Annotated Constraints

  • Yichen Xie
    DE Shaw
    Thesis: Static Detection of Software Errors

Monday, March 03, 2008

LaTeX help

I do not often do multiple citations in LaTeX, so I had to look up how to do them just now. This web site has some useful "cheat sheet" like information about LaTeX, including the information I wanted.

Multiple citations may be made by including more than one citation key in the \cite command argument.

\citet{jon90,jam91} => Jones et al. (1990); James et al. (1991)
\citep{jon90,jam91} => (Jones et al., 1990; James et al. 1991)
\citep{jon90,jon91} => (Jones et al., 1990, 1991)
\citep{jon90a,jon90b} => (Jones et al., 1990a,b)