Search events for 'all'
One Parser to Rule Them All
Onward! Papers When: Thu 29 Oct 2015 16:18 - 16:42 People: Ali Afroozeh, Anastasia Izmaylova
… …
Gradual typing is morally incorrect; we're all monsters now
NOOL When: Tue 27 Oct 2015 14:00 - 14:30 People: Timothy Jones, Michael Homer
… that they had a particular type, and even past behaviour, are all routes through which an assertion can be falsified, but all practical gradual systems ignore some or all of these cases. The level of knowledge the system has can change behaviour …
PLATEAU Keynote: Computational Thinking for All: Expanding the Boundaries of Computing for Nonprogrammers
PLATEAU When: Mon 26 Oct 2015 09:00 - 10:00 People: Mary Beth Rosson
… As computational tools and digital infrastructures have evolved and diversified, computing has pervaded all aspects of our everyday lives. We are surrounded by data of all forms, much of it interconnected through explicit or tacit …
Modern software is all about data. Development environments should be, too.
Keynotes When: Fri 30 Oct 2015 08:30 - 10:00 People: Robert DeLine
… …
Invited talk: Parsing Unpreprocessed C Code - The TypeChef Experience
Parsing@SLE When: Sun 25 Oct 2015 09:15 - 10:00 People: Christian Kästner
… ) that can soundly parse C code in all configurations, including all branches … this lead to the ability to build a type system that can check all compile-time …
Fastparse: programmable parsers for the 21st century
Parsing@SLE When: Sun 25 Oct 2015 11:30 - 12:00 People: Li Haoyi
… situations, a choice that demonstrates the total inadequacy of all these complex …, error messages? Fastparse is a tiny, 1500LOC library that provides all …
GOLD: A Graph Oriented Language Implemented Using the Eclipse Xtext FrameWork
ETX When: Tue 27 Oct 2015 16:10 - 16:50 People: Alejandro Sotelo, Silvia Takahashi
… algorithms for advanced data structures. All GOLD components were packed …
Coordinating extensibility with CoLingua
Future Programming Workshop When: Mon 26 Oct 2015 09:15 - 10:00 People: Dann Toliver
… and units of functionality. Spaces can be nested, and all I/O happens in the application’s outermost space.
By default all communication is fire and forget …
ETX Invited Speaker: The Eclipse Academic Program: Creating the Eclipse University Ecosystem
ETX When: Tue 27 Oct 2015 09:00 - 10:00 People: Brian Barry
… presents one insider’s view of how it all happened and why it succeeded. …
A Datalog-based Protocol for Lazy Data Migration in Agile NoSQL Application Development
DBPL When: Tue 27 Oct 2015 13:52 - 14:15 People: Stefanie Scherzinger, Uta Störl, Meike Klettke
… in production no longer match the application code. Rather than migrating all … entity is loaded by the application, all pending structural changes are applied …
Function Inlining in XQuery 3.0 Optimization
DBPL When: Tue 27 Oct 2015 14:15 - 14:37 People: Leonard Wörteler, Michael Grossniklaus, Christian Grün, Marc H. Scholl
… Originally developed as a query language for XML databases, XQuery has evolved into a complete functional programming language. In order to unlock all optimization opportunities, XQuery processors therefore need to combine traditional …
Disambiguating Grammars with Tree Automata
Parsing@SLE When: Sun 25 Oct 2015 14:00 - 14:30 People: Michael D. Adams
… specify all of these while still allowing the CFG to be written in a natural …
Relative Expressive Power of Downward Fragments of Navigational Query Languages on Trees and Chains
DBPL When: Tue 27 Oct 2015 16:00 - 16:30 People: Jelle Hellings, Marc Gyssens, Yuqing Wu, Dirk Van Gucht, Jan Van den Bussche, Stijn Vansummeren, George Fletcher
… and unlabeled trees, and on labeled and unlabeled chains. In all these cases, we …
Relational Foundations for Functorial Data Migration
DBPL When: Tue 27 Oct 2015 11:00 - 11:30 People: Ryan Wisnesky, David Spivak
… , and the collection of all S-instances forms a category, S–Inst. A functor F …
Name Resolution Strategies in Variability Realization Languages for Software Product Lines
Parsing@SLE When: Sun 25 Oct 2015 14:30 - 15:00 People: Sven Schuster, Christoph Seidl, Ina Schaefer
… that comprehends all modules at once and, thus, the variability of the SPL …
Reactive Traversal of Recursive Data Types
REBLS When: Tue 27 Oct 2015 16:15 - 16:37 People: Francisco Sant'Anna, Hisham Muhammad, Johnicholas Hines
… for the synchronous language Céu, inheriting all of its concurrency functionality …
DBPL Keynote: The Gremlin Graph Traversal Machine and Language
DBPL When: Tue 27 Oct 2015 08:35 - 10:00 People: Marko Rodriguez
… is the ultimate locations of all halted traversers. A Gremlin machine can be executed over …
Concolic Testing: A Decade Later
WODA When: Mon 26 Oct 2015 10:30 - 11:30 People: Koushik Sen
… of programs paths in all but the smallest programs, which is usually …
Designing Languages using Lightning
SLE When: Mon 26 Oct 2015 16:00 - 16:30 People: Loïc Gammaitoni, Pierre Kelsen, Christian Glodt
… Modelling languages are defined by specifying their abstract syntax, concrete syntax and semantics. In the Lightning tool the definition of all these language components is based on the lightweight formal language Alloy. Lightning makes …
Managing Uncertainty in Bidirectional Model Transformations
SLE When: Mon 26 Oct 2015 14:00 - 14:30 People: Romina Eramo, Alfonso Pierantonio, Gianni Rosa
… by returning all admissible models. This can be regarded as an uncertainty reducing …
AGERE! Keynote: Concurrent, Distributed Thinking for First-time Programmers in StarLogo Nova
AGERE When: Mon 26 Oct 2015 08:30 - 09:20 People: Daniel Wendel
… , StarLogo Nova, employs a blocks-based program editor and 3D visualization engine, all …
Management of Guided and Unguided Code Generator Customizations by Using a Symbol Table
DSM When: Tue 27 Oct 2015 10:50 - 11:10 People: Pedram Mir Seyed Nazari, Alexander Roth, Bernhard Rumpe
… table. As all relevant information is directly associated with a template, we …
Supporting Users to Manage Breaking and Unresolvable Changes in Coupled Evolution
DSM When: Tue 27 Oct 2015 11:40 - 12:00 People: Juri Di Rocco, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio
… , adapting all those artifacts that might have been affected by the operated metamodel …
Measuring Polymorphism in Python Programs
DLS When: Tue 27 Oct 2015 15:30 - 15:54 People: Beatrice Åkerblom, Tobias Wrigstad
… million call-sites. Our results show that while polymorphism is used in all pro …
A Combined Formal Model for Relational Context-Dependent Roles
SLE When: Tue 27 Oct 2015 11:30 - 12:00 People: Thomas Kühn, Stephan Böhme, Sebastian Götz, Uwe Aßmann
… Role-based modeling has been investigated for over 35 years as a promising paradigm to model complex, dynamic systems. Although current software systems are characterized by increasing complexity and context-dependence, all this research …
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
SLE When: Tue 27 Oct 2015 14:00 - 14:30 People: Erwan Bousse, Jonathan Corley, Benoit Combemale, Jeff Gray, Benoit Baudry
… to this problem is to define a generic omniscient debugger for all xDSMLs. However …
CHARIOT: A Domain Specific Language for Extensible Cyber-Physical Systems
DSM When: Tue 27 Oct 2015 09:05 - 09:25 People: Subhav Pradhan, Abhishek Dubey, Aniruddha Gokhale, Martin Lehofer
… on highways are all examples of extensible CPS wherein extensibility is implied …
Patterns to Develop and Evolve an Agile Architecture During a Software Project
PLoP When: Sat 24 Oct 2015 09:00 - 09:15Sat 24 Oct 2015 13:40 - 14:00
… The architecture design during an agile project is an activity that should take place in all phases of a project lifecycle. Even given an initial architectural for a project, it is important to continue to evolve the architecture in order …
Native-2-Native: Automated Cross-Platform Code Synthesis from Web-Based Programming Resources
GPCE When: Tue 27 Oct 2015 10:30 - 11:00 People: Antuan Byalik, Sanchit Chadha, Eli Tilevich
… For maximal market penetration, popular mobile applications are typically supported on all major platforms, including Android and iOS. Despite the vast … is maintained and evolved, the resulting changes must be replicated on all …
Generating Reactive Programs for Graphical User Interfaces from Multi-way Dataflow Constraint Systems
GPCE When: Tue 27 Oct 2015 13:30 - 14:00 People: Gabriel Foust, Jaakko Järvi, Sean Parent
… leads to defects. Ensuring that all data dependencies are respected …
Towards A Catalogue of Design Patterns Variants
PLoP When: Sat 24 Oct 2015 08:45 - 09:00Sat 24 Oct 2015 14:40 - 15:00
… . There is no standard catalogue on all variants of Gang of Four(GoF) design patterns … to recognize all variants of GoF patterns. The critical analysis and observations …
An Empirical Study on Configuration-Related Type Issues
GPCE When: Mon 26 Oct 2015 13:30 - 14:00 People: Flávio Medeiros, Iran Rodrigues, Márcio Ribeiro, Leopoldo Teixeira, Rohit Gheyi
… and harder to detect than issues that appear in all configurations. However, little …
Pattern Illustrating Patterns A Pattern Language for Pattern Illustrating
PLoP
… present 6 patterns of all 28 patterns in Pattern Illustration Patterns, which …
Guiding Patterns of Natural Design: Mining Living Quality
PLoP
… parts sometimes. They simplify the solution by satisfying all the key needs … to all the places the recurrent problem arises. Seen that way, design patterns …
Agile Design Process with Patterns for Campus Building: The Keio-SFC Experiment
PLoP
… and enables all the users to pursue their ideal campus. The patterns that were …
Pattern Language of Layering Focus Group
PLoP When: Sat 24 Oct 2015 16:45 - 17:22
… hereby is holistic, we’re interested in ALL possibly relevant aspects …
A Data-driven Methodology for Producing Online Learning System Design Patterns
PLoP
… learning system namely: all content in one place, just enough practice, personalized …
Fundamental Behavioral Properties – Part 2: Extending the Theory of Centers for Pattern Language 3.0
PLoP
… community we hope for these to become knowledge to help all who are writing …
Spur: Efficient Support for Live Programming in Dynamic Languages
SPLASH-I When: Thu 29 Oct 2015 11:15 - 12:00 People: Eliot Miranda
… of all instances of a class, and one that exchanges the identities of pairs … instance, and all pairs of instances are exchanged with become, effecting … down slot access, or has required a sweep of all objects, a very slow operation …
Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine
OOPSLA When: Fri 30 Oct 2015 14:15 - 14:37 People: Ganesha Upadhyaya, Hridesh Rajan
… -all, round-robin-task-all, random-task-all and work-stealing. Our evaluation …
What is a compiler? We thought we knew…
SPLASH-I When: Wed 28 Oct 2015 15:30 - 16:15 People: Mads Torgersen
… a great boost on all those fronts, and also challenged our concept of what … code understanding at all levels of the development experience.
In this talk we …
Software Professionalism – Is it “Good Enough?”
Panels When: Wed 28 Oct 2015 10:30 - 12:00 People: Steven D. Fraser, Dennis Mancl, Nancy Mead, Mary Shaw, Werner Wild
… In the 21st Century, software is the enabling innovation pillar for all of civilization’s needs – including: food supply, living space (water, waste, power, and climate) management, services (health, financial, transportation …
Safely Evolving Configurable Systems
Student Research Competition When: Wed 28 Oct 2015 18:00 - 21:00 People: Flavio Medeiros
… in all configurations. Furthermore, we propose a strategy to detect …
ECMAScript 2015: the future of JavaScript is now!
SPLASH-I When: Wed 28 Oct 2015 11:15 - 12:00 People: Tom Van Cutsem
… engine that supports all new features. To overcome this period of change, I …
Flow: a static type checker for JavaScript
SPLASH-I When: Wed 28 Oct 2015 13:30 - 15:00 People: Avik Chaudhuri
… . Flow adds minimal compile-time overhead, as it does all its work proactively …
Automatic Memory Reclamation for Lock-Free Data Structures
OOPSLA When: Wed 28 Oct 2015 16:15 - 16:37 People: Nachshon Cohen, Erez Petrank
… Lock-free data-structures are widely employed in practice, yet designing lock-free memory reclamation for them is notoriously difficult. In particular, all known lock-free reclamation schemes are ``manual; in the sense that the developer …
Customizable Gradual Polymorphic Effects for Scala
OOPSLA When: Fri 30 Oct 2015 16:37 - 17:00 People: Matías Toro, Éric Tanter
… , all represent promising steps towards making effect systems suitable …
Customizable Gradual Polymorphic Effects for Scala
OOPSLA Artifacts People: Matías Toro, Éric Tanter
… , all represent promising steps towards making effect systems suitable …
Fighting Spam with Haskell
SPLASH-I When: Fri 30 Oct 2015 10:30 - 11:15 People: Simon Marlow
… One of Facebook’s most important weapons in the fight against abuse is a system called Sigma. Sigma’s job is to proactively identify malicious content such as spam, phishing attacks, and links to malware. All of the bad content detected …
Selective Control-Flow Abstraction via Jumping
OOPSLA Artifacts People: Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan
… , yet analyzing the product graph of all possible event orderings is intractable …
Selective Control-Flow Abstraction via Jumping
OOPSLA When: Wed 28 Oct 2015 13:52 - 14:15 People: Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan
… for precision, yet analyzing the product graph of all possible event orderings …
How Scale Affects Structure in Java Programs
OOPSLA Artifacts People: Crista Lopes, Joel Ossher
… now be properly normalized so that all the information that is left in them …
How Scale Affects Structure in Java Programs
OOPSLA When: Fri 30 Oct 2015 10:52 - 11:15 People: Crista Lopes, Joel Ossher
… now be properly normalized so that all the information that is left in them …
Teaching Big Data with a Virtual Cluster
SPLASH-E When: Mon 26 Oct 2015 08:45 - 09:15 People: Joshua Eckroth
… Both industry and academia are confronting the challenge of big data, i.e., data processing that involves data so voluminous or arriving at such high velocity that no single commodity machine is capable of storing or processing them all …
Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis
OOPSLA When: Thu 29 Oct 2015 16:42 - 17:06 People: David Darais, Matthew Might, David Van Horn
… once and for all, making it a reusable analysis component. As new analysis …
Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation
OOPSLA When: Thu 29 Oct 2015 17:06 - 17:30 People: Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
… is crucial for learning from an existing codebase. Also, they show that among all …
Programming with Enumerable Sets of Structures
OOPSLA When: Wed 28 Oct 2015 11:15 - 11:37 People: Ivan Kuraj, Viktor Kunčak, Daniel Jackson
… generating all structures). The foundation of efficient enumeration lies in both direct …
A Sound and Optimal Incremental Build System
OOPSLA Artifacts People: Sebastian Erdweg, Moritz Lichter, Manuel Weiel
… Build systems are used in all but the smallest software projects to invoke the right build tools on the right files in the right order. A build system must be sound (after a build, generated files consistently reflect the latest source …
A Sound and Optimal Incremental Build System with Dynamic Dependencies
OOPSLA When: Wed 28 Oct 2015 10:52 - 11:15 People: Sebastian Erdweg, Moritz Lichter, Manuel Weiel
… Build systems are used in all but the smallest software projects to invoke the right build tools on the right files in the right order. A build system must be sound (after a build, generated files consistently reflect the latest source …
Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
OOPSLA When: Thu 29 Oct 2015 10:52 - 11:15 People: Vu Le, Chengnian Sun, Zhendong Su
… and LLVM. Developers have confirmed all 72 bugs and fixed 68 of them. …
Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities
OOPSLA When: Fri 30 Oct 2015 10:52 - 11:15 People: Luca Della Toffola, Michael Pradel, Thomas Gross
… of comparing objects at all method invocations in detail, MemoizeIt first …
Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities
OOPSLA Artifacts People: Luca Della Toffola, Michael Pradel, Thomas Gross
… of comparing objects at all method invocations in detail, MemoizeIt first …
Automating Ad-hoc Data Representation Transformations
OOPSLA When: Fri 30 Oct 2015 13:30 - 13:52 People: Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, Martin Odersky
… , to retrofitting specialization and value class status, and all the way to collection …
Efficient Support for Strong Semantics in Transactional and Non-transactional Programs
Student Research Competition When: Wed 28 Oct 2015 18:00 - 21:00 People: Aritra Sengupta
… are aimed at efficiently enforcing this strong memory model for all programs …
Lightning Talk #3 - Why a theory for software engineering teaching is important
SPLASH-E When: Mon 26 Oct 2015 15:50 - 16:00 People: María Clara Gómez, Carlos Zapata, Yadran Eterovic
… for organizing all knowledge generated from several experiences in order to make it available …
Vectorization of Apply to Reduce Interpretation Overhead of R
OOPSLA When: Thu 29 Oct 2015 11:15 - 11:37 People: Haichuan Wang, David Padua, Peng Wu
… the vectorization transformation as an R package. To enable the optimization, all …
ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access
OOPSLA When: Thu 29 Oct 2015 10:52 - 11:15 People: Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia
… (rather than app) level. ShamDroid performs better than all of these tools …
SATCheck: SAT-Directed Stateless Model Checking for SC and TSO
OOPSLA When: Wed 28 Oct 2015 10:52 - 11:15 People: Brian Demsky, Patrick Lam
… observed behavior, and repeats the process until it has explored all reachable …
SATCheck: SAT-Directed Stateless Model Checking for SC and TSO
OOPSLA Artifacts People: Brian Demsky, Patrick Lam
… observed behavior, and repeats the process until it has explored all reachable …
Mining Programming Language Usage with Boa
Tutorials When: Thu 29 Oct 2015 15:30 - 17:00 People: Robert Dyer, Hridesh Rajan, Tien N. Nguyen, Hoan Nguyen
… as all of that is handled by Boa. This opens up the possibilities …
Tomorrow’s Network Operators Will Be Programmers
Keynotes When: Wed 28 Oct 2015 08:30 - 10:00 People: Nick Feamster
… Communications networks remain incredibly difficult to manage, troubleshoot, and secure. Network management challenges exist in all kinds of networks. In this talk, I will describe how Software Defined Networking (SDN), which decouples …