Search events for 'all'
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
… …
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 …
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 …
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? …
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 …
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 …
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 …
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 …
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 …
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. …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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. …
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 …
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 …
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 …