Regency D - Onward! 2017

Niklas HollmannUniversity of Duisburg-Essen, Germany, Thorben RoßenbeckUniversity of Duisburg-Essen, Germany, Mark KunzeUniversity of Duisburg-Essen, Germany, Liron TürkUniversity of Duisburg-Essen, Germany, Stefan HanenbergUniversity of Duisburg-Essen

Pre-print

11:30 - 11:50
Talk

Development of a Web Platform for Code Peer-Testing

Manuel MaarekHeriot-Watt University, Léon McGregorHeriot-Watt University

Pre-print

13:30 - 15:00: PLATEAU 2017 - Language, DSL, and Feature Design at Regency D
Chair(s): Joshua SunshineCarnegie Mellon University

13:30 - 13:50
Talk

A User Study to Inform the Design of the Obsidian Blockchain DSL

Celeste BarnabyWesleyan University, Michael CoblenzCarnegie Mellon University, Tyler Etzel, Eliezer KanalCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad MyersCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University

Pre-print

13:50 - 14:05
Talk

Programming Robot Manipulators with Tangible Blocks

Yasaman SefidgarUniversity of Washington, Maya CakmakUniversity of Washington

Pre-print

14:05 - 14:25
Talk

Preliminary Analysis of REST API Style Guidelines

Lauren MurphyUniversity of Michigan, Tosin AlliyuHaverford College, Mary Beth KeryCarnegie Mellon University, Brad MyersCarnegie Mellon University

Pre-print

14:25 - 14:45
Talk

Sympathy for the Devil: Reified Collection of Runtime Errors

Tommaso Dal SassoUniversità della Svizzera Italiana, Andrei Chişfeenk, Switzerland, Andrea MocciUniversita della Svizzera italiana (USI), Tudor GîrbaCompuGroup Medical Schweiz AG, Michele LanzaUniversità della Svizzera italiana (USI)

Pre-print

14:45 - 15:00
Talk

Preventing Babel: Rectifying the Trend of Programming Language Divergence

Alon AmidUC Berkeley, Borivoje NikolicUC Berkeley

Pre-print

15:30 - 17:00: PLATEAU 2017 - Insights into Programmer Thought Processes and Experience at Regency D
Chair(s): Sarah ChasinsUniversity of California, Berkeley

15:30 - 15:50
Talk

Lost in Space and Time? Quantifying the Size of Unit Test Execution Histories

Mohammad reza, Matthias HauswirthUniversità della Svizzera italiana (USI)

Pre-print

15:50 - 16:05
Talk

Modeling Programming Problem Solving Through Interactive Worked Examples

Dastyni LoksaUniversity of Washington, Andrew J. KoUniversity of Washington

Pre-print

16:05 - 16:25
Talk

OpenMP or Pthreads: Which is Better for Beginners?

Pedro BruelUniversity of São Paulo, Paulo MeirellesUniversity of São Paulo and University of Brasília, Raphael CobeSão Paulo State University, Alfredo GoldmanUniversity of São Paulo

Pre-print

16:25 - 16:45
Talk

Can Some Programming Languages Be Considered Harmful?

Sabine JanssensStressLabo, Ulrik SchultzUniversity of Southern Denmark, Vadim ZaytsevRaincode Labs, Belgium

Pre-print

16:45 - 17:05
Talk

Preliminary Analysis of Contestant Performance for a Code Hunt Contest

Adrian ClarkUniversity of Illinois at Urbana-Champaign, Jonathan WellsUniversity of Illinois at Urbana-Champaign, Angello Astorga, Andrew XieIndependent, Jalen Coleman-LandsUniversity of Illinois at Urbana-Champaign, Tao Xie

Pre-print

Tue 24 Oct

08:30 - 10:00: LIVE 2017 - Spring at Regency D

08:30 - 09:20
Talk

Keynote: User Interfaces for Live Programming

Jun KatoNational Institute of Advanced Industrial Science and Technology, Japan

09:20 - 09:40
Talk

Reifying Programming

Jonathan Edwards

Pre-print Media Attached

09:40 - 10:00
Talk

Live Programming as Gradual Abstraction

Sean McDirmidIndependent

Pre-print Media Attached

10:30 - 12:00: LIVE 2017 - Summer at Regency D

10:30 - 11:20
Talk

Keynote: Becoming Alive, Growing Up

Luke Church

11:20 - 11:40
Talk

Toward a Live Stepper for Typed Expressions with Holes

Cyrus OmarCarnegie Mellon University, Ian VoyseyCarnegie Mellon University, Matthew HammerUniversity of Colorado, Boulder

Pre-print

11:40 - 12:00
Talk

Whatever You Say, Happens: Live Creation of VR/AR Experiences

Mike JohnstonMoatboat

Pre-print Media Attached

13:30 - 15:00: LIVE 2017 - Fall at Regency D

13:30 - 14:20
Other

Lightning Talks

Sean McDirmidIndependent

14:20 - 14:40
Talk

Shadama: A Particle Simulation Programming Environment for Everyone

Yoshiki OhshimaHARC / Y Combinator Research, Bert Freudenberg, Dan AmelangViewpoints Research Institute

Pre-print Media Attached

14:40 - 15:00
Talk

Seymour: Live Programming for the Classroom

Saketh KasibatlaHARC / Y Combinator Research, Alessandro WarthY Combinator Research, USA

Pre-print

15:30 - 17:00: LIVE 2017 - Winter at Regency D

15:30 - 15:50
Talk

ZenSheet: a live programming environment for reactive computing

Enzo AldaLakebolt Research, Monica FigueraUniversidad Simón Bolívar

Media Attached File Attached

15:50 - 16:10
Talk

Anansi: a Tracing Interpreter

Scott Kovach

Pre-print Media Attached

16:10 - 17:00
Other

Closing Discussion

Sean McDirmidIndependent

Wed 25 Oct

10:30 - 12:00: SPLASH-I - Programming Models at Regency D
Chair(s): Gail MurphyUniversity of British Columbia

10:30 - 11:00
Talk

Direct Manipulation Programming Systems

Ravi ChughUniversity of Chicago

11:00 - 11:30
Talk

Toward Scalable Semantic Big Data

Julian DolbyIBM Thomas J. Watson Research Center

11:30 - 12:00
Talk

Towards PPL: Extending Coroutines in Hack to Enable Probabilistic Programming

Michael Tingley

13:30 - 15:00: SPLASH-I - Security at Regency D
Chair(s): Karim AliUniversity of Alberta

13:30 - 14:00
Talk

Browser Performance Woes: Past, Present, and Future

Ben LivshitsImperial College London, UK

14:00 - 14:30
Talk

It's Time for Secure Languages

Cristina CifuentesOracle Labs

14:30 - 15:00
Talk

Preventing Information Leaks by Construction

Jean YangCarnegie Mellon University

15:30 - 17:00: SPLASH-I - Panel: Language Evolution at Regency D

15:30 - 17:00
Talk

Panel: 50 Years of Language Evolution: From Simula’67 to the FuturePanel

Steven D. Fraser, Lera BoroditskyUC San Diego, Robert Gentleman23andme, Chris GrangerKodowa, Sumit GulwaniMicrosoft Research, Crista LopesUniversity of California, Irvine

Thu 26 Oct

10:30 - 12:00: SPLASH-I - Optimization & Networks at Regency D
Chair(s): Eleni StrouliaUniversity of Alberta

10:30 - 11:00
Talk

HHVM: Efficient and Scalable PHP/Hack Execution

Guilherme OttoniFacebook

11:00 - 11:30
Talk

Performance Analysis and Optimization of C++ Standard Libraries

Aditya KumarSamsung, Sebastian PopSamsung Research America

11:30 - 12:00
Talk

Verifying Network Data Planes

Nate FosterCornell University

13:30 - 15:00: SPLASH-I - Software Engineering & Education at Regency D
Chair(s): Vadim ZaytsevRaincode Labs, Belgium

13:30 - 14:00
Talk

One if by Lambda, Two if by C: How PL Can Attack Computing Education

Kathi FislerBrown University

14:00 - 14:30
Talk

Reducing Interruptions at Work with the FlowLight

Thomas FritzUniversity of British Columbia, University of Zurich

14:30 - 15:00
Talk

Smart Condo: IoT for Social Good

Eleni StrouliaUniversity of Alberta

15:30 - 17:00: SPLASH-I - Machine Learning & Data Science at Regency D
Chair(s): Cristina CifuentesOracle Labs

15:30 - 16:00
Talk

Bridging the Digital Divide in Data Science

Hridesh RajanIowa State University

16:00 - 16:30
Talk

Domain-Specific Symbolic Compilation

Rastislav BodikUniversity of Washington

16:30 - 17:00
Talk

Training and Tuning Machine-Learning Applications: A View from the Trenches

Matthew Arnold, Harold OssherIBM Thomas J. Watson Research Center

Fri 27 Oct

10:30 - 12:00: SPLASH-I - Compilers at Regency D
Chair(s): Nate FosterCornell University

10:30 - 11:00
Talk

DYOL: Design a Language, Know the Consequences

Vadim ZaytsevRaincode Labs, Belgium

Mon 23 Oct 2017


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Regency D							PLATEAU Introduction and Keynote 08:30 - 10:00																								PLATEAU Tools and Environments 10:30 - 12:00																																				PLATEAU Language, DSL, and Feature Design 13:30 - 15:00																								PLATEAU Insights into Programmer Thought Processes and Experience 15:30 - 17:00

Tue 24 Oct 2017


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Regency D							LIVE Spring 08:30 - 10:00																								LIVE Summer 10:30 - 12:00																																				LIVE Fall 13:30 - 15:00																								LIVE Winter 15:30 - 17:00

Wed 25 Oct 2017


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Regency D							SPLASH -I Programming Models 10:30 - 12:00																																				SPLASH -I Security 13:30 - 15:00																								SPLASH -I Panel: Language Evolution 15:30 - 17:00

Thu 26 Oct 2017


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Regency D							SPLASH -I Optimization & Networks 10:30 - 12:00																																				SPLASH -I Software Engineering & Education 13:30 - 15:00																								SPLASH -I Machine Learning & Data Science 15:30 - 17:00

Fri 27 Oct 2017


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Regency D							SPLASH -I Compilers 10:30 - 12:00																																				SPLASH -I 13:30 - 15:00

Mon 23 Oct 2017


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Regency D							PLATEAU Welcome and Introduction 08:30 - 09:00						PLATEAU PLATEAU Keynote: Usability Design Space in Programming by Examples 09:00 - 10:00																		PLATEAU The Uses of Interactive Explorers for Web APIs 10:30 - 10:50				PLATEAU One λ at a time: What do we know about presenting human-friendly output ... 10:50 - 11:10				PLATEAU What's the Effect of Projectional Editors for Creating Words For Unknow ... 11:10 - 11:30				PLATEAU Development of a Web Platform for Code Peer-Testing 11:30 - 11:50																								PLATEAU A User Study to Inform the Design of the Obsidian Blockchain DSL 13:30 - 13:50				PLATEAU Programming Robot Manipulators with Tangible Blocks 13:50 - 14:05			PLATEAU Preliminary Analysis of REST API Style Guidelines 14:05 - 14:25				PLATEAU Sympathy for the Devil: Reified Collection of Runtime Errors 14:25 - 14:45				PLATEAU Preventing Babel: Rectifying the Trend of Programming Language Divergence 14:45 - 15:00									PLATEAU Lost in Space and Time? Quantifying the Size of Unit Test Execution His ... 15:30 - 15:50				PLATEAU Modeling Programming Problem Solving Through Interactive Worked Examples 15:50 - 16:05			PLATEAU OpenMP or Pthreads: Which is Better for Beginners? 16:05 - 16:25				PLATEAU Can Some Programming Languages Be Considered Harmful? 16:25 - 16:45				PLATEAU Preliminary Analysis of Contestant Performance for a Code Hunt Contest 16:45 - 17:05

Tue 24 Oct 2017


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Regency D							LIVE Keynote: User Interfaces for Live Programming 08:30 - 09:20										LIVE Reifying Programming 09:20 - 09:40				LIVE Live Programming as Gradual Abstraction 09:40 - 10:00										LIVE Keynote: Becoming Alive, Growing Up 10:30 - 11:20										LIVE Toward a Live Stepper for Typed Expressions with Holes 11:20 - 11:40				LIVE Whatever You Say, Happens: Live Creation of VR/AR Experiences 11:40 - 12:00																						LIVE Lightning Talks 13:30 - 14:20										LIVE Shadama: A Particle Simulation Programming Environment for Everyone 14:20 - 14:40				LIVE Seymour: Live Programming for the Classroom 14:40 - 15:00										LIVE ZenSheet: a live programming environment for reactive computing 15:30 - 15:50				LIVE Anansi: a Tracing Interpreter 15:50 - 16:10				LIVE Closing Discussion 16:10 - 17:00

Wed 25 Oct 2017


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Regency D							SPLASH -I Direct Manipulation Programming Systems 10:30 - 11:00						SPLASH -I Toward Scalable Semantic Big Data 11:00 - 11:30						SPLASH -I Towards PPL: Extending Coroutines in Hack to Enable Probabilistic Progr ... 11:30 - 12:00																								SPLASH -I Browser Performance Woes: Past, Present, and Future 13:30 - 14:00						SPLASH -I It's Time for Secure Languages 14:00 - 14:30						SPLASH -I Preventing Information Leaks by Construction 14:30 - 15:00												SPLASH -IPanel Panel: 50 Years of Language Evolution: From Simula’67 to the Future 15:30 - 17:00

Thu 26 Oct 2017


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Regency D							SPLASH -I HHVM: Efficient and Scalable PHP/Hack Execution 10:30 - 11:00						SPLASH -I Performance Analysis and Optimization of C++ Standard Libraries 11:00 - 11:30						SPLASH -I Verifying Network Data Planes 11:30 - 12:00																								SPLASH -I One if by Lambda, Two if by C: How PL Can Attack Computing Education 13:30 - 14:00						SPLASH -I Reducing Interruptions at Work with the FlowLight 14:00 - 14:30						SPLASH -I Smart Condo: IoT for Social Good 14:30 - 15:00												SPLASH -I Bridging the Digital Divide in Data Science 15:30 - 16:00						SPLASH -I Domain-Specific Symbolic Compilation 16:00 - 16:30						SPLASH -I Training and Tuning Machine-Learning Applications: A View from the Trenches 16:30 - 17:00

Fri 27 Oct 2017


Room	10:00			15			30			45			11:00			15			30			45
Regency D							SPLASH -I DYOL: Design a Language, Know the Consequences 10:30 - 11:00

Room information: Regency D

Mon 23 Oct

Tue 24 Oct

Wed 25 Oct

Thu 26 Oct

Fri 27 Oct

Mon 23 Oct 2017

PLATEAU

PLATEAU

PLATEAU

PLATEAU

Tue 24 Oct 2017

LIVE

LIVE

LIVE

LIVE

Wed 25 Oct 2017

SPLASH -I

SPLASH -I

SPLASH -I

Thu 26 Oct 2017

SPLASH -I

SPLASH -I

SPLASH -I

Fri 27 Oct 2017

SPLASH -I

SPLASH -I

Mon 23 Oct 2017

Tue 24 Oct 2017

Wed 25 Oct 2017

Thu 26 Oct 2017

Fri 27 Oct 2017

Tracks