== CMPS 280G: Seminar on Software Engineering ==

 * Instructor: [http://www.soe.ucsc.edu/~luca Luca de Alfaro], Email: ''my_first_name''@soe.ucsc.edu
 * Place: E2, Rm 392
 * Time: 2-3:10pm Wednesdays
 * [http://apps.soe.ucsc.edu/fora/viewforum.php?f=9 Web Forum]. 

CMPS 280G is a graduate seminar on software engineering and programming languages. 
The seminar will feature guest lectures, students presenting their own research, and presentations of technical papers. 

== Schedule ==

|| '''Date''' || '''Speaker''' || '''Topic''' ||
|| Jan 11 || Bo Adler (UCSC) || ["/Average-Reward Timed Games"] ||
|| Jan 18 || (no class) || ||
|| Jan 25 || Kenneth Knowles (UCSC) || ["/Sage: Practical Hybrid Type Checking"] ||
|| Feb 1  || [http://en.wikipedia.org/wiki/Rob_Pike Rob Pike] (Google) || {1} ["/Interpreting the Data: Parallel Analysis with Sawzall"] ||
|| Feb 8  || [http://research.microsoft.com/users/yuanbyu/ Yuan Yu] (Microsoft Research) || ["/RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking"] ||
|| Feb 15 || [http://www.csl.sri.com/users/shankar/shankar.html Natarajan Shankar] (SRI) || ["/Logical Algorithms"] ||
|| Feb 22 || [http://ase.arc.nasa.gov/people/dimitra/ Dimitra Giannakopoulou] (NASA) || ["/Learn to Divide and Conquer"] ||
|| Mar 1  || [http://www.csl.sri.com/neumann Peter Neumann] (SRI) || {2} ["/Developing Trustworthy Systems"] ||
|| Mar 8  || [http://www.eecs.berkeley.edu/~c_krish/ Krishnendu Chatterjee] (UC Berkeley) || ["/Secure Equilibria and Parity Games"] ||
|| Mar 15 || [http://theory.stanford.edu/~sipma/ Henny Sipma] (Stanford) || ["/Constraint-based Static Analysis"] ||

==== Notes ====

 {1} The lecture will be held '''1:50-3:00 pm''' in the '''Simularium''', on the ground floor of E2.

 {2} The lecture will be held 2:00-3:00 pm in the '''Simularium''', on the ground floor of E2. 

----

~-["/Private Instructor Page"]-~