POPL 2018 (series) / Off the Beaten Track 2018 (series) / Off the Beaten Track 2018 /
Extensible Semantics for Fluidics
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 |
Sat 13 Jan Times are displayed in time zone: Tijuana, Baja California change
Sat 13 Jan
Times are displayed in 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 - 14:00 Lunch | Lunch (12pm-2pm) Off the Beaten Track | ||
14:00 - 14:30 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 - 15:00 Talk | Extensible Semantics for Fluidics Off the Beaten Track File Attached | ||
15:00 - 15:30 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 |