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 JanDisplayed time zone: Tijuana, Baja California change
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. Byrd University of Alabama at Birmingham, USA | ||
13:30 30mLunch | Lunch (12pm-2pm) Off the Beaten Track | ||
14:00 30mTalk | SweetPea: A Language for Designing Experiments Off the Beaten Track Annie Cherkaev University of Utah, Sebastian Musslick Princeton University, Jonathan Cohen Princeton University, Vivek Srikumar University of Utah, Matthew Flatt University of Utah File Attached | ||
14:30 30mTalk | Extensible Semantics for Fluidics Off the Beaten Track File Attached | ||
15:00 30mTalk | Towards Proof Synthesis by Neural Machine Translation Off the Beaten Track Taro Sekiyama IBM Research, Japan, Akifumi Imanishi Kyoto University, Kohei Suenaga Graduate School of Informatics, Kyoto University File Attached |