Off the Beaten Track 2017 Contributors -

Wed 18 - Fri 20 January 2017

co-located with POPL 2017

Filter

Role Type

Contributing to

Number of Roles

Country

Results (32)

A Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Designing extensible, domain-specific languages for mathematical diagrams
Khulood AlyahyaAlyahya, Khulood Can we machine-learn programming language semantics?
Robert AtkeyAtkey, Robert University of Strathclyde Program Chair in Organizing Committee within the Off the Beaten Track-track
B Alan BlackwellBlackwell, Alan University of CambridgeUnited Kingdom Keynote talk: Varieties of Programming Experience
C Jose CalderonCalderon, Jose Galois, Inc.United States Laziness Boxes You In
Joe CorneliCorneli, Joe Bootstrapping the next generation of mathematical social machines
Keenan CraneCrane, Keenan Designing extensible, domain-specific languages for mathematical diagrams
D Ugo Dal LagoDal Lago, Ugo University of Bologna, France How Far Apart Should Those Programs Be?
E Markus EgerEger, Markus Programming with Epistemic Logic
G Marco GaboardiGaboardi, Marco SUNY Buffalo, USAItaly Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach
Dan GhicaGhica, Dan University of BirminghamUnited Kingdom Can we machine-learn programming language semantics?
Michael GreenbergGreenberg, Michael Pomona College Understanding the POSIX Shell as a Programming Language
H Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States Running Incomplete Programs
J Moa JohanssonJohansson, Moa Chalmers University of Technology Keynote talk: Reasoning about Functional Programs: Exploring, Testing and Inductive Proofs.
K Ekaterina KomendantskayaKomendantskaya, Ekaterina Committee Member in Program Committee within the Off the Beaten Track-track
Lindsey KuperKuper, Lindsey Intel Labs General Chair in Organizing Committee within the Off the Beaten Track-track
M Stephen MagillMagill, Stephen Laziness Boxes You In
Chris MartensMartens, Chris Carnegie Mellon University Programming with Epistemic Logic Committee Member in Program Committee within the Off the Beaten Track-track
Ursula MartinMartin, Ursula Bootstrapping the next generation of mathematical social machines
O Cyrus OmarOmar, Cyrus Carnegie Mellon UniversityUnited States Running Incomplete Programs
P Scott PakinPakin, Scott Programming Quantum Annealers
Victor PatentasuPatentasu, Victor Can we machine-learn programming language semantics?
Alison PeasePease, Alison Bootstrapping the next generation of mathematical social machines
Tomas PetricekPetricek, Tomas Alan Turing InstituteUnited Kingdom Committee Member in Program Committee within the Off the Beaten Track-track
R Wren RomanoRomano, Wren Google Inc.United States Committee Member in Program Committee within the Off the Beaten Track-track
S Mary SheeranSheeran, Mary Committee Member in Program Committee within the Off the Beaten Track-track
KC SivaramakrishnanSivaramakrishnan, KC University of CambridgeUnited Kingdom Committee Member in Program Committee within the Off the Beaten Track-track
George StelleStelle, George Programming Quantum Annealers
Joshua SunshineSunshine, Joshua Carnegie Mellon University Designing extensible, domain-specific languages for mathematical diagrams
Wouter SwierstraSwierstra, Wouter University of Utrecht Committee Member in Program Committee within the Off the Beaten Track-track
V Ian VoyseyVoysey, Ian Carnegie Mellon University Running Incomplete Programs
Y Katherine YeYe, Katherine Designing extensible, domain-specific languages for mathematical diagrams