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
  

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)

Interviews and colloquium

I have already had one interview today with Sandia National Laboratory and will have another one this afternoon with Raytheon. This afternoon I also have a faculty candidate colloquium. Luckily, the presentation I am giving tomorrow is only five minutes long and the slides are done (mostly stolen from my SenSys talk). Busy day, busy day.

Embedded systems workshop

There will be an embedded systems workshop in conjunction with the LCTES PC meeting. I mainly mention this because, since my advisor is the PC chair, I got roped into presenting. I'll be talking about the work Yang, John, David and I did to get Safe TinyOS integrated with the main distribution of TinyOS.

Marvell interview

I had a nice phone interview this morning with a manager from Marvell. Like my interview with Google, I don't think I did horrible but I also definitely didn't do a slam dunk. Here are some of the questions I was asked:

• How do you make a function reentrant?
  
• What does the stack frame look like during a function call?
  
• What are the different types of variables? local, global, static, register, pointer
  
• Write some code to determine the endian-ness of a machine.
  
• Design a file system for a scratchpad memory.
  

The final question at the end was something like "what are your career goals for the next five years?" which had the goal of figuring out if I really wanted to be an engineer or if I was just a researcher in disguise.

Unfortunately, I found out at the end of the interview that it was for a group in the Boise office. I do not have anything against Boise, but I would like to raise my children in a non-LDS dominated culture. I had indicated to the recruiters at the career fairs that I wanted to interview for the Santa Clara office for that reason. Oh well.