Precise Interprocedural Analysis using Random Interpretation Sumit Gulwani George Necula UC-Berkeley.
Constitution Law Project concept of state
Enhancing Web Service Descriptions using WSDL-S Presented by Preeda Rajasekaran LSDIS Lab, University of Georgia (Under the Direction of John A. Miller)
Contribution of Epigenetic Variation to Expression Changes Among Tissues and Genotypes Steve Eichten – Springer Lab PAG iPlant Workshop 1/17/12.