‹Programming› 2020
Mon 23 - Thu 26 March 2020 Porto, Portugal

Workshop cancelled

Because the safety and well-being of conference participants is our priority, we decided to not hold the conference on March 23–26, in Porto, Portugal, and therefore the presentations scheduled for March 23–26, in Porto, Portugal, will not take place. Journal publications are available online and their authors will be invited to present at 2021 in Cambridge, UK. The 2020 Companion Proceedings (ACM Digital Library) will be available online around May 2020. Thank you for your understanding and stay safe.

About ProWeb

Full-fledged web applications have become ubiquitous on desktop and mobile devices alike. Whereas “responsive” web applications already offered a more desktop-like experience, there is an increasing demand for “rich” web applications (RIAs) that offer collaborative and even off-line functionality —Google docs being the prototypical example. Long gone are the days that web servers merely had to answer incoming HTTP request with a block of static HTML. Today’s servers react to a continuous stream of events coming from JavaScript applications that have been pushed to clients. As a result, application logic and data is increasingly distributed. Traditional dichotomies such as “client vs. server” and “offline vs. online” are fading.

Invited Talks

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

Mon 23 Mar

Displayed time zone: Belfast change

09:00 - 10:30
ProWeb 2020 #1ProWeb20 at W3
09:00
5m
Day opening
Welcome
ProWeb20

09:05
55m
Talk
Keynote SabaKeynote
ProWeb20
Saba Alimadadi Simon Fraser University
10:00
30m
Talk
Synthesizing User Interfaces using Functional Reactive Web AbstractionsFull paper
ProWeb20
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
ProWeb 2020 #2ProWeb20 at W3
11:00
30m
Talk
Evolution of the WebDSL RuntimeFull paper
ProWeb20
Danny Groenewegen Delft University of Technology, Elmer van Chastelet Delft University of Technology, Eelco Visser Delft University of Technology
11:30
30m
Talk
Tamper-proof security mechanism against liar objects in JavaScript applicationsPresentation abstract
ProWeb20
Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
12:00
30m
Talk
Broken LinksPresentation abstract
ProWeb20
Frank Emrich The University of Edinburgh, Daniel Hillerström The University of Edinburgh
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
ProWeb 2020 #3ProWeb20 at W3
14:00
55m
Talk
Why languages for distributed systems are inevitableKeynote
ProWeb20
Guido Salvaneschi Technische Universität Darmstadt
14:55
30m
Talk
Piecewise Relative Observational PurityPresentation abstract
ProWeb20
Seyed Hossein Haeri Université Catholique de Louvain, Peter Van Roy Université catholique de Louvain
15:25
5m
Day closing
Closing
ProWeb20

15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

16:00 - 17:30
ProWeb 2020 #4ProWeb20 at W3

Call for Contributions

The ProWeb20 workshop is a forum for researchers and practitioners to share and discuss new technology for programming these and future evolutions of the web. We welcome submissions introducing programming technology (i.e., frameworks, libraries, programming languages, program analyses and development tools) for implementing web applications and for maintaining their quality, as well as experience reports about their usage. Relevant topics include, but are not limited to:

  • Quality on the new web: static and dynamic program analyses, metrics, development tools, automated testing, contract systems, type systems, migration from legacy architectures, web service APIs, API conformance checking, …
  • Designing for and hosting novel languages on the web: compilation to JavaScript, WebAssembly, …
  • Multi-tier (or tierless) programming: frameworks for isomorphic applications, new languages and runtimes, tier splitting compilers, type systems, …
  • Data sharing, replication and consistency: cloud types, CRDTs, eventual consistency, offline storage, peer-to-peer communication, …
  • Security on the new web: security policies, policy enforcement, membranes, vulnerability detection, dynamic patching, …
  • Surveys and case studies using state-of-the-art web technology (e.g., WebAssembly, WebSockets, Web Storage, Service Workers, Meteor, WebRTC, Angular.js, React and React Native, TypeScript, Proxies, ClojureScript, Amber Smalltalk, Scala.js …)
  • Ideas on and experience reports about: how to reconcile the need for quality with the need for agility on the web, how to master and combine the myriad of tier-specific technologies required to develop a web application, …
  • Position papers on what the future of the web will look like

This year, we are accepting two types of submission:

  • Full papers and experience reports: 6-page papers describing novel research, which, when accepted, will be included in the ACM Digital Library.
  • Presentation abstracts: 1-2 page extended abstracts.

Presentation abstracts will not be included in the ACM Digital Library, but will be included in an informal pre-proceedings on the website. We very much welcome presentation abstracts about work already published elsewhere, or giving an overview of an existing system, and the format is designed not to preclude future publication.

Submissions should be in ACM SIGPLAN two-column format. Page limits do not include bibliographies.

If you have any questions, or wonder whether your submission is in scope, please do not hesitate to contact the PC co-chairs.

Questions? Use the ProWeb20 contact form.