Navigation

• Activities»
  • ACM Contest Site
  • Juilfs Contest
  • Luks Programming Contest
  • Photo Albums»
    • Activities»
      • ACM Game Night 2008
      • ACM Game Night 2009
      • Fall Picnic 2005
      • Google Party 2005
      • Ski Trip 2008
    • Commencement»
      • Commencement 2005
      • Commencement 2006
      • Commencement 2007
      • Commencement 2008
      • Commencement 2009
    • Contests»
      • ACM Contest 2008
      • ACM Contest 2009
      • ACM Contest 2010
      • ACM Contest 2011
      • Juilfs Contest 2009
      • Juilfs Contest 2010
      • Juilfs Contest 2011
      • Programming Contest 2005
      • Programming Contest 2008
      • Programming Contest 2009
      • Programming Contest 2010
      • Programming Contest 2011
    • Others»
      • Around CIS
      • Deschutes Hall
      • LISB Tour August 2011
      • Network Design and Operations 2009
  • Poster Contest
  • Programming Team
  • Public Talks
  • Student Groups
  • Summer School
  • UO Programming Competition
• Alumni»
  • Contacts and Notes
  • Donate
  • Newsletter 2007
  • Newsletter 2009
  • Newsletter 2010
  • UOAA
• Classes
• Contact Us
• Education
• Employment
• Graduate Admission
• Internships
• News
• People»
  • Administration
  • Alumni
  • Faculty»
    • Allen Malony
    • Andrzej Proskurowski
    • Anthony Hornof
    • Arthur Farley
    • Christopher Wilson
    • Daniel Lowd
    • David Atkins
    • David Etherington
    • Dejing Dou
    • Eric Wills
    • Eugene Luks
    • Janice Cuny
    • John Conery
    • Jun Li
    • Kathleen Freeman
    • Kent Stevens
    • Kevin Butler
    • Matthew Ginsberg
    • Michael Hennessy
    • Michal Young
    • Reza Rejaie
    • Sarah Douglas
    • Stephen Fickas
    • Stuart Faulk
    • Virginia Lo
    • Yannis Smaragdakis
    • Zena Ariola
  • Phonebook
  • Students
• Research»
  • Artificial Intelligence
  • Bioinformatics
  • Computational Science
  • Distributed Informatics
  • Human-Computer Interaction
  • Networking
  • Parallel and Distributed Computing
  • Programming Languages and Software Engineering
  • Security
  • Theoretical Computer Science
  • Universal Access
• Search
• Systems Support

Directed Research Project Details

Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog

Abstract