Program Verification using Probabilistic Techniques Sumit Gulwani Microsoft Research Invited Talk: VSTTE Workshop August 2006 Joint work with George Necula.
Program Analysis using Random Interpretation Sumit Gulwani UC-Berkeley March 2005.
Quantum Computing and Dynamical Quantum Models ( quant-ph/0205059) Scott Aaronson, UC Berkeley QC Seminar May 14, 2002.
Scott Aaronson Associate Professor, EECS Quantum Computers and Beyond.
Scott Aaronson Associate Professor, EECS And Why Every Other Major Sucks By Comparison.
Sublinear-time Algorithms for Machine Learning Ken Clarkson Elad Hazan David Woodruff IBM Almaden Technion IBM Almaden.
Myocardial Perfusion SPECT Should NOT Be Routine in Symptomatic Patients with Excellent Exercise Capacity V. Froelicher, MD Professor of Medicine Stanford.
Page 1 © Crown copyright 2005 ECMWF User Meeting, 14-16 June 2006 Developments in the Use of Short and Medium-Range Ensembles at the Met Office Ken Mylne.
Lecture 1: Logical, Physical & Casual Time (Part 2) Anish Arora CSE 763.
Exhaustive Key Search for DES: Updates and refinements Jean-Jacques Quisquater UCL Crypto Group Louvain-la-Neuve Belgium François-Xavier Standaert (UCL,
CS151 Complexity Theory Lecture 17 May 27, 2004. CS151 Lecture 172 Outline elements of the proof of the PCP Theorem counting problems –#P and its relation.
Source Coding Efficient Data Representation A.J. Han Vinck.