OREGON STATE UNIVERSITY

You are here

Colloquium Series

Once every week while school is in session, EECS invites a distinguished researcher or practitioner in a computer science or electrical and computer engineering-related field to present their ideas and/or work. Talks are generally targeted to electrical engineering and computer science graduate students. This colloquium series is free and open to everyone.

Upcoming Colloquia

Grad Student Colloquium 2

Monday, February 2, 2015 - 4:00pm to 4:50pm
KEC 1003
Speaker Information
Sheng Chen, Jesse Hostetler and Michael Hilton
CS PhD students
School of EECS
Oregon State University

Variational Typing and Its Applications -- Sheng Chen

Speaker Bio
Speaker Biography: 

Sheng Chen is a PhD candidate at Oregon State University, working with Martin Erwig. Sheng's research interests are programming languages and software engineering with a focus on type systems, static analyses, functional programming, and software product lines. His current research is concerned with supporting programming productivity through improved static analyses. He also investigates a computational model of variational computing as a basis for accelerating computations through reuse.

Jesse Hostetler is a PhD student at Oregon State University, co-advised by Tom Dietterich and Alan Fern. His research deals with representational issues in sequential decision making. He received his BS in computer science and psychology from the University of Nebraska-Lincoln in 2009. Before coming to OSU, he worked at Smart Information Flow Technologies in Minneapolis, MN.

Michael Hilton is a Ph.D. student in Computer Science at Oregon State University. His research interests include Software Engineering with a focus on how to improve developer’s lives, particularly on agile development processes as well as mobile development. He has a Masters from Cal Poly San Luis Obispo, and also spent 9 years working at a US D.o.D. Research Lab before coming to OSU.

Variational Typing and Its Applications

Monday, February 9, 2015 - 4:00pm to 4:50pm
KEC 1003
Speaker Information
Sheng Chen
PhD Candidate
School of EECS
Oregon State University

Type systems affect programming productivity in several ways. First, the efficiency of a type checker determines how fast programmers can receive typing feedback. This is a real problem when typing software product lines, which typically encode huge numbers of programs. Second, the precision of a type system determines how accurately type errors are reported and thus how quickly type errors can be fixed. Third, the expressiveness of a type system determines the constraints on writing programs and thus affects the available programming idioms.

Speaker Bio
Speaker Biography: 

Sheng Chen is a PhD candidate at Oregon State University, working with Dr. Martin Erwig. Sheng's research interests are programming languages and software engineering with a focus on type systems, static analyses, functional programming, and software product lines. His current research is concerned with supporting programming productivity through improved static analyses. He also investigates a computational model of variational computing as a basis for accelerating computations through reuse.

Past Colloquia

Eduardo Cotilla-Sanchez
Monday, January 7, 2013 - 4:00pm to 4:50pm
Andy Gill
Monday, November 5, 2012 - 4:00pm to 4:50pm
Arun Natarajan
Monday, October 29, 2012 - 4:00pm to 4:50pm
Su-In Lee
Friday, October 26, 2012 - 10:00am to 10:50am
Brian Drost
Monday, October 22, 2012 - 4:00pm to 4:50pm
Dr. Robert S. Laramee
Friday, October 12, 2012 - 11:00am to 11:50am
Dr. Hamish Carr
Thursday, October 11, 2012 - 2:00pm to 2:50pm

Pages