Search events for 'all'
One Monad to Prove Them All
Research Papers When: Thu 4 Apr 2019 12:00 - 12:30 People: Sandra Dylus, Jan Christiansen, Finn Teegen
… One Monad to Prove Them All is a modern fairy tale about curiosity and perseverance, two important properties of a successful PhD student. We follow the PhD … for specific monad instances she is able to prove properties that hold for all …
Scrap your DSL Boilerplate with a Universe of Syntaxes, their Programs and Proofs
CoCoDo 2019 When: Tue 2 Apr 2019 09:00 - 10:30 People: Guillaume Allais
… and for all by generic programming; and (2) how to derive properties …
TryLinks: An interactive tutorial system for a cross-tier Web programming language
ProWeb'19 When: Mon 1 Apr 2019 16:25 - 16:50 People: Junao Wu, Arek Mikolajczak, James Cheney
… to costly errors or security vulnerabilities. In Links, programs combine all …
Draw This Object: A Study of Debugging Representations
PX/19 When: Mon 1 Apr 2019 09:30 - 10:00 People: Matúš Sulír, Ján Juhár
… , whether all objects have an appropriate domain-specific view, or what clues could …
Live GUI Development for Service-Based Systems
ICW 2019 When: Mon 1 Apr 2019 16:30 - 17:00 People: Boris Magnusson, Björn Johnsson
… In an increasingly connected world where all manner of devices can communicate over the Internet, conventional methods for developing GUIs (Graphical User Interfaces) are insufficient. For systems of such devices, it must be possible …
Projectional DSLs from the ground up
PX/19 When: Mon 1 Apr 2019 14:30 - 15:00 People: Meinte Boersma
… and in the future? After all, the best way to become a 10X programmer is to empower …
Towards Polyglot Adapters for the GraalVM
ICW 2019 When: Mon 1 Apr 2019 14:00 - 14:30 People: Fabio Niephaus, Tim Felgentreff, Robert Hirschfeld
… not understand at all.
In this paper, we present polyglot adapters, an early …
Keynote: We're Building On Hollowed Foundations: Worrying Trends in Open Source and What We Can Do About It
Keynotes When: Thu 4 Apr 2019 09:30 - 10:30 People: Heather Miller
… choices. This is great! Or is it?
As we all happily jump on the open source … to form in some of the most important open source projects that we’ve all begun …
IDVE: an Integrated Development and Verification Environment for JavaScript
Posters When: Wed 3 Apr 2019 12:30 - 14:30 People: Christopher Schuster, Cormac Flanagan
… . Program verification aims to prove such correctness properties for all possible …
Proving Inequational Propositions about Haskell Programs in Coq
Posters When: Wed 3 Apr 2019 12:30 - 14:30 People: Jan Christiansen, Sandra Dylus
… func- tion into a Coq function that is parametrised over a monad, we can model all …. In order to model Haskell correctly, all arguments of constructors have to be made … by proving a proposition for all containers we can reuse propositions when …
Static Verification of JavaScript: IDE Support for Debugging Verification Issues
Demos When: Wed 3 Apr 2019 16:30 - 17:00 People: Christopher Schuster, Cormac Flanagan
… for correctness for all possible inputs. By specifying the expected behavior in terms …
Another Decade of SOM Language Implementation: Virtual Machines for Research and Teaching
Demos When: Wed 3 Apr 2019 11:00 - 11:45 People: Stefan Marr
… support all these features seamlessly. Even industry got curious about …
Comprehensive Multiparty Session Types
Research Papers When: Thu 4 Apr 2019 11:00 - 11:30 People: Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini
… in the language. Our system covers all the features of the original and variants …, meta-theory and type system of our system are given. We modelled all …
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
Research Papers When: Wed 3 Apr 2019 11:30 - 12:00 People: Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wąsowski
… ) and variability encompassing all these aspects. The language is built on top …
Concrete Syntax with Black Box Parsers
Research Papers When: Wed 3 Apr 2019 16:30 - 17:00 People: Rodin Aarssen, Jurgen Vinju, Tijs van der Storm
… is central to all of these tasks. Concrete syntax patterns improve the practice …