Off the Beaten Track 2018 Contributors -

Mon 8 - Sat 13 January 2018 Los Angeles, California, United States

co-located with POPL 2018

Filter

Role Type

Contributing to

Number of Roles

Country

Results (28)

A Robert AtkeyAtkey, Robert University of Strathclyde General Chair in Organizing Committee within the Off the Beaten Track-track
B William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Session Chair of Session 2 (part of Off the Beaten Track) Committee Member in Program Committee within the Off the Beaten Track-track
C Annie CherkaevCherkaev, Annie University of Utah SweetPea: A Language for Designing Experiments
Luke ChurchChurch, Luke Committee Member in Program Committee within the Off the Beaten Track-track
Jonathan CohenCohen, Jonathan Princeton University SweetPea: A Language for Designing Experiments
D Catherine DuboisDubois, Catherine ENSIIE Paris-Evry Keynote: Programming and proving with FoCaLiZe: a tour from computer algebra to interoperability applications
E Harley D. Eades IIIEades III, Harley D. Augusta University Explaining Type Errors
Richard A. EisenbergEisenberg, Richard A. Bryn Mawr College, USAUnited States Explaining Type Errors
F Matthew FlattFlatt, Matthew University of UtahUnited States SweetPea: A Language for Designing Experiments
G Colin GordonGordon, Colin Drexel UniversityUnited States Synthesizing Program-Specific Static Analyses
Michael GreenbergGreenberg, Michael Pomona College Session Chair of Keynote (part of Off the Beaten Track) Program Chair in Organizing Committee within the Off the Beaten Track-track
I Akifumi ImanishiImanishi, Akifumi Kyoto University Towards Proof Synthesis by Neural Machine Translation
K Chantal KellerKeller, Chantal LRI, Université Paris-SudFrance Committee Member in Program Committee within the Off the Beaten Track-track
Zachary KincaidKincaid, Zachary Princeton UniversityUnited States Committee Member in Program Committee within the Off the Beaten Track-track
M Christopher MeiklejohnMeiklejohn, Christopher Université catholique de LouvainUnited States Towards A Systems Approach To Distributed Programming
Heather MillerMiller, Heather Ecole Polytechnique Federale de Lausanne Committee Member in Program Committee within the Off the Beaten Track-track
Sebastian MusslickMusslick, Sebastian Princeton University SweetPea: A Language for Designing Experiments
P Brigitte PientkaPientka, Brigitte McGill University Committee Member in Program Committee within the Off the Beaten Track-track
R François-René RideauRideau, François-René Climbing Up the Semantic Tower — at Runtime
Jared RoeschRoesch, Jared University of Washington, USAUnited States Extensible Semantics for Fluidics
S Taro SekiyamaSekiyama, Taro IBM Research, JapanJapan Towards Proof Synthesis by Neural Machine Translation
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Back to the Future with Denotational Semantics
Vivek SrikumarSrikumar, Vivek University of Utah SweetPea: A Language for Designing Experiments
Kohei SuenagaSuenaga, Kohei Graduate School of Informatics, Kyoto UniversityJapan Towards Proof Synthesis by Neural Machine Translation
V Peter Van RoyVan Roy, Peter Université catholique de LouvainBelgium Towards A Systems Approach To Distributed Programming
Dimitrios VardoulakisVardoulakis, Dimitrios Google On quantifying the degree of unsoundness of static analyses
W Max WillseyWillsey, Max University of WashingtonUnited States Extensible Semantics for Fluidics
Y Brent YorgeyYorgey, Brent Hendrix CollegeUnited States Explaining Type Errors