VenueBoston Park Plaza Hotel
Room nameCambridge
Floor4
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 4 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Keynote: RamanathanREBLS at Cambridge
Chair(s): Francisco Sant'AnnaRio de Janeiro State University
09:00 - 09:15
Day opening
Welcome and Opening Remarks
REBLS
S: Guido SalvaneschiTU Darmstadt, S: Wolfgang De MeuterVrije Universiteit Brussel, P: Francisco Sant'AnnaRio de Janeiro State University
File Attached
09:15 - 10:00
Talk
Reacting to stream-based programming bugs
REBLS
10:30 - 12:00: Embedded, IoT / Multitier, DistributedREBLS at Cambridge
Chair(s): Tetsuo KaminaOita University
10:30 - 10:52
Talk
Where Do Events Come From? Reactive and Energy-Efficient Programming From The Ground Up
REBLS
Francisco Sant'AnnaRio de Janeiro State University, Alexandre SztajnbergRio de Janeiro State University
File Attached
10:52 - 11:15
Talk
Synthesizing Manually Verifiable Code for Statecharts
REBLS
Steven SmythKiel University, Christian MotikaPhilotech Systementwicklung und Software GmbH, Reinhard von HanxledenKiel University
File Attached
11:15 - 11:37
Talk
RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming
REBLS
Orestis MelkonianUniversity of Utrecht, Angelos CharalambidisNCSR "Demokritos''
File Attached
11:37 - 12:00
Talk
Reactive Chatbot Programming
REBLS
Guillaume BaudartIBM Research, Martin HirzelIBM Research, Louis MandelIBM Research, Avraham ShinnarIBM Research, Jerome SimeonClause
File Attached
13:30 - 15:00: Multitier, DistributedREBLS at Cambridge
Chair(s): Louis MandelIBM Research
13:30 - 13:52
Talk
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
REBLS
Jesse ZamanVrije Universiteit Brussel, Kennedy KambonaVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel
File Attached
13:52 - 14:15
Talk
Multitier Reactive Programming with ScalaLoci
REBLS
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
File Attached
14:15 - 14:37
Talk
Distributing Thread-Safety for Reactive Programming
REBLS
Joscha DrechslerTechnische Universität Darmstadt, Mira MeziniTU Darmstadt
Pre-print File Attached
14:37 - 15:00
Talk
Skitter: A DSL for Distributed Reactive Workflows
REBLS
Mathijs SaeyVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Pre-print File Attached
15:30 - 17:00: Visualization, Debugging, ProgrammingREBLS at Cambridge
Chair(s): Antony CourtneyFacebook
15:30 - 15:52
Talk
Composable Higher-Order Reactors as the Basis for a Live Reactive Programming Environment
REBLS
Bjarno OeyenVrije Universiteit Brussel, Humberto Rodriguez AvilaVrije Universiteit Brussel, Sam Van den Vonder, Wolfgang De MeuterVrije Universiteit Brussel
File Attached
15:52 - 16:15
Talk
Explicitly Comprehensible Functional Reactive Programming
REBLS
Media Attached File Attached
16:15 - 16:37
Talk
A Reactive Language for Analyzing Cloud Logs
REBLS
Guillaume BaudartIBM Research, Louis MandelIBM Research, Olivier TardieuIBM Research, Mandana VaziriIBM Research
File Attached
16:37 - 17:00
Talk
Visualizing Reactive Execution History using Propagation Traces
REBLS
Takumi HikosakaRitsumeikan University, Tetsuo KaminaOita University, Katsuhisa MaruyamaRitsumeikan University
File Attached

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: Meta for TypesMETA at Cambridge
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
08:30 - 09:00
Talk
Code Generation for Higher Inductive Types
META
Paventhan VivekanandanIndiana University Bloomington
File Attached
09:00 - 09:30
Talk
Recognizing heterogeneous sequences by rational type expression
META
Jim NewtonEPITA / LRDE https://www.lrde.epita.fr, Didier VernaEPITA / LRDE
DOI
09:30 - 10:00
Talk
Multiple Dispatch using Compile-Time Metaprogramming
META
Seyed Hossein HaeriUniversité Catholique de Louvain, Paul Keir
10:30 - 12:00: Keynote: Burmako & ToolingMETA at Cambridge
Chair(s): Stefan MarrUniversity of Kent
10:30 - 11:30
Talk
SemanticDB: a common data model for Scala developer tools ⭐️Keynote
META
I: Eugene BurmakoTwitter, Inc.
DOI
11:30 - 12:00
Demonstration
Relit: Typed Literal Macros for Reason
META
Cyrus OmarUniversity of Chicago, Charles ChamberlainUniversity of Chicago
Link to publication
13:30 - 15:00: Keynote: Bonetta & InfrastructureMETA at Cambridge
Chair(s): Guido ChariCzech Technical University, Czechia
13:30 - 14:30
Talk
GraalVM: Metaprogramming inside a Polyglot System ⭐️Keynote
META
Daniele BonettaOracle Labs
DOI
14:30 - 15:00
Talk
Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations?
META
Rodrigo TeixeiraINPE - National Institute for Space Research, Eduardo GuerraINPE - National Institute for Space Research, Phyllipe LimaINPE - National Institute for Space Research, Paulo MeirellesFederal University of São Paulo, Fabio KonUniversity of São Paulo
DOI
15:30 - 17:00: Keynote: NobleMETA at Cambridge
Chair(s): Stefan MarrUniversity of Kent
15:30 - 16:30
Talk
Through a Glass, Darkly ⭐️Keynote
META
I: James NobleVictoria University of Wellington
DOI
16:30 - 17:00
Day closing
Discussion and Closing
META

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:45 - 10:00: Keynote: SteelePLMW / Keynotes at Cambridge
Chair(s): Barbara RyderVirginia Tech
08:45 - 09:00
Welcome and Introduction
PLMW
Barbara RyderVirginia Tech
File Attached
09:00 - 10:00
Talk
50 Years of Programming and Language DesignKEYNOTE
Keynotes
File Attached
10:30 - 12:00: Mentoring WorkshopPLMW at Cambridge
Chair(s): Sarah NadiUniversity of Alberta
10:30 - 11:00
Talk
The story of Arjun Guha, or: the arc of a research project
PLMW
Shriram KrishnamurthiBrown University, USA
11:00 - 11:30
Talk
From academia to industry and back again
PLMW
Julia RubinUniversity of British Columbia
File Attached
11:30 - 12:00
Talk
Work/Life Balance
PLMW
Kathleen FisherTufts University, USA
File Attached
13:00 - 14:00: Panel: Industry and AcademiaPLMW at Cambridge
Chair(s): Sarah NadiUniversity of Alberta
13:00 - 14:00
Panel: Industrial and Academic Research
PLMW
Kathleen FisherTufts University, USA, Mayur NaikUniversity of Pennsylvania, Julia RubinUniversity of British Columbia, Frank TipNortheastern University
14:00 - 15:30: Mentoring WorkshopPLMW at Cambridge
Chair(s): Jonathan BellGeorge Mason University
14:00 - 14:30
Talk
Navigating the process of doing a rewarding Ph.D.
PLMW
Mayur NaikUniversity of Pennsylvania
14:30 - 15:00
Talk
Interaction: the Key to Joining a Research Community
PLMW
Kathi FislerBrown University
File Attached
15:00 - 15:30
Talk
Advice on your advisor
PLMW
Marsha ChechikUniversity of Toronto
File Attached
16:00 - 21:00: Mentoring WorkshopPLMW at Cambridge
Chair(s): Jonathan BellGeorge Mason University
16:00 - 16:30
Talk
How to Select Good Research Topics?
PLMW
Frank TipNortheastern University
File Attached
16:30 - 17:30
Panel of Recent Ph.Ds
PLMW
Michael CarbinMassachusetts Institute of Technology, Benjamin LernerNortheastern University, Sarah NadiUniversity of Alberta, Shiyi WeiThe University of Texas at Dallas
17:30 - 17:45
Discussion and Concluding Remarks
PLMW
File Attached
18:00 - 21:00
End-of-Workshop Dinner at The Brahmin American (All PLMW attendees, speakers, panelists and mentors are invited)
PLMW

Sun 4 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Cambridge