Write a Blog >>
Mon 19 Jun 2017 16:00 - 17:00 at Vertex WS216 - Afternoon II Chair(s): Olivier Zendra

The advent of Cloud Computing and of Mobile Computing on small devices at the edge of the Cloud has changed the compute context for many programmers. At first, it seems that lots of Cloud and Mobile Computing is merely falling back on the traditional Client-Sever model of Computing.

In this panel, we will discuss possible new concepts that may need support from new programming language constructs - or perhaps they are better kept as library routines.

A simple example is that of a hand-held device arriving at a new site and wanting to connect to local services–expressing which services and what mechanism to use is non-obvious.

Mon 19 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00
Afternoon IIICOOOLPS at Vertex WS216
Chair(s): Olivier Zendra
16:00
60m
Other
Panel: Do new Computing Environments lead to new Language Constructs?
ICOOOLPS
Eric Jul University of Oslo, Edd Barrett King's College London, Steve Blackburn Australian National University , Ben L. Titzer Google
17:00
30m
Talk
Diff Graphs for a fast Incremental Pointer Analysis
ICOOOLPS
Jakob Krainz Friedrich-Alexander University Erlangen-Nürnberg, Michael Philippsen
Link to publication DOI File Attached
17:30
30m
Demonstration
A Formalization IDE Integrated with a Verifying Compiler
ICOOOLPS
Daniel Welch Clemson University, Blair Durkee Clemson University, Mike Kabbani Clemson University, Murali Sitaraman Clemson University
Link to publication DOI File Attached