Sat 13 Jan 2018 14:30 - 15:00 at Crocker - Session 2 Chair(s): William E. Byrd

With the rise of lab automation technologies, scientists are writing programs instead of pen-and-paper protocols. These programs mix computation with fluidic manipulation, leading to problems with resource management and error handling. Scientists have rich understanding of the biological or chemical systems involved, but the current programming model can not use this information. We believe techniques from the programming language (PL) community are well-suited to address the myriad challenges in this field. This talk will present how some of the problems in this field line up with (and challenge) well-understood PL techniques.

Abstract (obt18-paper5.pdf)1.74MiB

Conference Day
Sat 13 Jan

Displayed time zone: Tijuana, Baja California change

13:30 - 15:30
Session 2Off the Beaten Track at Crocker
Chair(s): William E. ByrdUniversity of Alabama at Birmingham, USA
13:30
30m
Lunch
Lunch (12pm-2pm)
Off the Beaten Track

14:00
30m
Talk
SweetPea: A Language for Designing Experiments
Off the Beaten Track
Annie CherkaevUniversity of Utah, Sebastian MusslickPrinceton University, Jonathan CohenPrinceton University, Vivek SrikumarUniversity of Utah, Matthew FlattUniversity of Utah
File Attached
14:30
30m
Talk
Extensible Semantics for Fluidics
Off the Beaten Track
Max WillseyUniversity of Washington, Jared RoeschUniversity of Washington, USA
File Attached
15:00
30m
Talk
Towards Proof Synthesis by Neural Machine Translation
Off the Beaten Track
Taro SekiyamaIBM Research, Japan, Akifumi ImanishiKyoto University, Kohei SuenagaGraduate School of Informatics, Kyoto University
File Attached