Blogs >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Events (37 results)

We Are All Distributed System Engineers

PMLDC When: Sun 17 Jul 2016 09:00 - 09:45 People: Carl Lerche

… …

Synthesis and Verification for All (Junior DN Prize Lecture)

Research Track When: Fri 22 Jul 2016 09:00 - 10:00 People: Emina Torlak

… and efficient code, but above all, it must expose the right abstractions. The right …

Towards Making a Computer Tutor for Children of All Ages - A Memo.

PX When: Mon 18 Jul 2016 13:50 - 14:35 People: Yoshiki Ohshima, Alessandro Warth, Bert Freudenberg, Aran Lunzer, Alan Kay

… …

I sit down at my editor, and feel relaxed.

PX When: Mon 18 Jul 2016 14:35 - 15:20 People: Matthew Huebert

… , easier said than done. This is all very much an experiment. But a very fun one …

The Recurring Rainfall Problem

GRACE When: Tue 19 Jul 2016 11:55 - 12:25 People: Shriram Krishnamurthi

… subparts of a problem into a single program. Nearly all prior studies …

On the Potential of Event Sourcing for Retroactive Actor-based Programming

PMLDC When: Sun 17 Jul 2016 17:00 - 17:30 People: Benjamin Erb, Gerhard Habiger, Franz J. Hauck

… , retroactive computations are possible. A globally consistent state of all actors can …

Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition

PMLDC When: Sun 17 Jul 2016 14:20 - 14:50 People: Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker

… State-based CRDTs allow updates on local replicas without remote synchronization. Once these updates are propagated, possible conflicts are resolved deterministically across all replicas. δ-CRDTs bring significant advantages in terms …

Sulong - Execution of LLVM-Based Languages on the JVM

ICOOOLPS When: Mon 18 Jul 2016 16:30 - 17:00 People: Manuel Rigger, Matthias Grimmer, Hanspeter Mössenböck

… that brings all LLVM-based languages including C, C++, and Fortran in one stroke …

Discuss: New Interfaces for Programming

LIVE When: Sun 17 Jul 2016 11:35 - 12:25 People: Roly Perera

… , or is it all fundamentally subjective? …

A brief and incomplete history of programming languages

CurryOn When: Tue 19 Jul 2016 17:40 - 18:20 People: Andrea Magnorsky

… Why do programming languages look the way they do today? How did it all started? In this talk we will go over a brief history of programming languages, from the very early days. We will go over greatest hits from Hilbert, Turing, Church …

Creating a Fun Game with Elm

CurryOn When: Mon 18 Jul 2016 10:55 - 11:35 People: Andrey Kuzmin, Kolja Wilcke

… You are Joe, the courier. It is your job, to deliver all the fashion to all the customers. Sometimes, you have to pick up stuff and return it to the warehouse. However, customers keep ordering more and more — and your bicycle only has room …

Growing an Abstract Grammar: Teaching Language Engineering

ICOOOLPS When: Mon 18 Jul 2016 13:50 - 14:50 People: Theo D'Hondt

… require that an instance of an abstract grammar be first class, and that all of its …

Notes on Post-Post-Modern-Modern Programming

CurryOn When: Mon 18 Jul 2016 10:55 - 11:35 People: James Noble

… The ultimate goal of all computer science is the program. In the beginning, so our myths and stories tell us, the programmer created the program from … in the early papers, and attempt to re-experience the shock. Old men forget: yet all

Building Scalable Stateful Services

CurryOn When: Mon 18 Jul 2016 13:50 - 14:30 People: Caitie McCaffrey

… The Stateless Service design principle has become ubiquitous in the tech industry for creating horizontally scalable services. However our applications do have state, we just have moved all of it to caches and databases. Today …

Rascal: the Swiss Army Knife of Meta Programming

CurryOn When: Mon 18 Jul 2016 14:40 - 15:20 People: Tijs van der Storm

… is a functional programming language that addresses all meta programming concerns …

Exercises in Programming Style

CurryOn When: Mon 18 Jul 2016 16:50 - 17:30 People: Crista Lopes

… professional career, and the understanding all is needed to truly understand how …

Distributed Configuration with Clojure

CurryOn When: Tue 19 Jul 2016 16:00 - 16:40 People: Renzo Borgatti

… to talk about a solution that groups together all the requirements above in a simple …

Practical Demystification of CRDTs

CurryOn When: Tue 19 Jul 2016 13:50 - 14:30 People: Dmitry Ivanov, Nami Nasserazad

… In a connected world, synchronising mutable information between different devices with different clock precision can be a difficult problem. A piece of data may have many out-of-sync replicas but all of those should eventually …

Data-driven Software security using Differential Privacy and Deep Learning

CurryOn When: Mon 18 Jul 2016 14:40 - 15:20 People: Úlfar Erlingsson

… of Least Privilege mean when all software contains libraries that can express …

Lightweight Session Programming in Scala

Artifacts People: Alceste Scalas, Nobuko Yoshida

… is the source code of lchannels, with all examples and benchmarks discussed …

Staccato: A Bug Finder for Dynamic Configuration Updates

Artifacts People: John Toman, Dan Grossman

… on three open-source applications and found errors in all of them. …

Higher-Order Demand-Driven Program Analysis

Research Track When: Wed 20 Jul 2016 10:30 - 10:55 People: Zachary Palmer, Scott F. Smith

… needs to produce only a control-flow graph; it can derive all other information …

Live Programming Environments for Reactive MVU Applications

Doctoral Symposium When: Sun 17 Jul 2016 09:15 - 09:45 People: Christopher Schuster

… programming and programming-by-example all complement each other to support understanding …

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics

Artifacts People: Casper Bach Poulsen, Pierre Neron, Andrew Tolmach, Eelco Visser

… . The artifact contains type soundness proofs mechanized in Coq for (supersets of) all

Concept Parameters as a New Mechanism of Generic Programming for C# Language

Doctoral Symposium When: Sun 17 Jul 2016 14:20 - 14:50 People: Julia Belyakova

… out that all of them, as well as C# and Java, stick to the same approach …

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java

Research Track When: Fri 22 Jul 2016 10:30 - 10:55 People: Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden

… analyses often need to know the set of all aliases of a given variable under … of a given pointer (points-to information) and all pointers that can point to those …

One Way to Select Many

Research Track When: Fri 22 Jul 2016 14:20 - 14:45 People: Jaakko Järvi, Sean Parent

… is wasted. The loss of productivity is experienced in small doses, but all

Staccato: A Bug Finder for Dynamic Configuration Updates

Research Track When: Fri 22 Jul 2016 14:45 - 15:10 People: John Toman, Dan Grossman

… . Staccato found multiple errors in all of them. Staccato requires only modest …

Domain-based Simulation Modelling to Enable Continuous Testing for Software Development in the Chemical Industry

Doctoral Symposium When: Sun 17 Jul 2016 10:35 - 11:05 People: Adam Ziolkowski

… taking place. This in turn leads to a linear waterfall-like process with all its …

Program Tailoring: Slicing by Sequential Criteria

Research Track When: Thu 21 Jul 2016 15:55 - 16:20 People: Yue Li, Tian Tan, Yifei Zhang, Jingling Xue

… program that comprises the statements in all possible execution paths passing through …

Reference Capabilities for Concurrency Control

Research Track When: Fri 22 Jul 2016 11:20 - 11:45 People: Elias Castegren, Tobias Wrigstad

… approach to concurrent and parallel object-oriented programming where all

Optimizing JavaScript through Source Code Rewriting

Posters People: Alexis Ferreyra, Ricardo Medel, Nestor Navarro, Emanuel Ravera

… Improving JavaScript performance has been a hot topic in recent years. The ubiquity of the World Wide Web, and web runtimes in particular, across all … normal functions or meta-functions. Additionally, all meta-functions have …

Transforming programs between APIs with Many-to-Many Mappings

Research Track When: Thu 21 Jul 2016 11:20 - 11:45 People: Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu

… , writing a tool correctly to cover all such invocation cases is not an easy task …

Program Tailoring: Slicing by Sequential Criteria

Artifacts People: Tian Tan, Yue Li, Yifei Zhang, Jingling Xue

… ) is required to reproduce all the results reported in our paper. …

Language-Independent Fuzz Testing with Probabilistic, Generative Models

Posters People: Jibesh Patra, Michael Pradel

… and that treating all possible grammar expansions as equally likely often …

Slice-based Web Development: Mapping Slices to Tiers

Posters People: Laure Philips, Joeri De Koster, Wolfgang De Meuter, Coen De Roover

… an extensive query API on top of this graph, all information that is needed …

Tierless Reactive Programming for Big Data

Posters People: Humberto Rodriguez Avila, Wolfgang De Meuter, Elisa Gonzalez Boix

… programmers to use the same programming language for all the tiers. This feature …