home
papers
schedule
teaching
contact
bio sketch
CV
links
Current Courses
(
Academic Calendar
)
Future Courses
Past Courses
Fall 2017:
ECS 140A
(Programming Languages)
Winter 2017:
ECS 240
(Semantics of Programming Languages)
Winter 2017:
ECS 140A
(Programming Languages)
Winter 2016:
ECS 240
(Semantics of Programming Languages)
Fall 2015:
ECS 140A
(Programming Languages)
Winter 2015:
ECS 140A
(Programming Languages)
Winter 2015:
ECS 240
(Semantics of Programming Languages)
Spring 2014:
ECS 240
(Semantics of Programming Languages)
Winter 2014:
ECS 40
(Introduction to Software Development and OO Programming)
Spring 2013:
ECS 142
(Compilers)
Spring 2013:
ECS 240
(Semantics of Programming Languages)
Winter 2013:
ECS 40
(Introduction to Software Development and OO Programming)
Fall 2011:
ECS 40
(Introduction to Software Development and OO Programming)
Fall 2011:
ECS 289C
(Hot Topics in Programming Languages)
Winter 2011:
ECS 40
(Introduction to Software Development and OO Programming)
Winter 2011:
ECS 240
(Semantics of Programming Languages)
Spring 2009:
ECS 140A
(Programming Languages)
Spring 2009:
ECS 240
(Semantics of Programming Languages)
Fall 2008:
ECS 140A (Programming Languages)
Spring 2008:
ECS 240 (Semantics of Programming Languages)
Fall 2007:
ECS 40
(Introduction to Software Development and OO Programming)
Spring 2007:
ECS 140A (Programming Languages)
Spring 2007:
ECS 240 (Semantics of Programming Languages)
Fall 2006:
ECS 142
(Compilers)
Winter 2006:
ECS 240 (Semantics of Programming Languages)
Winter 2005:
ECS 142 (Compilers)
Winter 2005:
ECS 289C (Topics in Software Quality and Security)
Spring 2004:
ECS 140A (Programming Languages)
Winter 2004:
ECS 289C (Seminar on Program Analysis)
Spring 2003:
ECS 289C (Topics in Program Analysis)
Winter 2003:
ECS 142 (Compilers)