SPLASH 2015 (series) /
SPLASH 2015 Program
Conference Dates
Conference Dates are in time zone (GMT-04:00) Eastern Time (US & Canada), and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Fri 23 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
Fri 23 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change
08:30 - 10:00 Meeting | Bootcamp 1 PLoP |
10:30 - 12:00 Meeting | Bootcamp 2 PLoP |
13:00 - 15:00 Meeting | Bootcamp 3 PLoP |
15:30 - 18:00 Meeting | Bootcamp 4 PLoP |
Sat 24 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
Sat 24 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change
08:30 - 08:45 Talk | QA to AQ Part Four - Shifting from Quality Assurance to Agile Quality: “Prioritizing Qualities and Making them Visible” PLoP | ||
08:45 - 09:00 Talk | Towards A Catalogue of Design Patterns Variants PLoP | ||
09:00 - 09:15 Talk | Patterns to Develop and Evolve an Agile Architecture During a Software Project PLoP | ||
09:15 - 09:30 Talk | Dynamic Generated Adapters from Adaptive Object Models to Static APIs PLoP | ||
09:30 - 09:45 Talk | Relating Patterns and Reference Architectures PLoP | ||
09:45 - 10:00 Talk | Logical Layering Heuristic Pattern PLoP |
08:30 - 10:00 Day opening | Opening and Games 1 PLoP |
10:30 - 12:00 Talk | PLoP Keynote: Keeping A Pattern Language Alive PLoP Mary Lynn MannsUniversity of North Carolina Asheville, USA |
13:00 - 13:20 Talk | Dynamic Generated Adapters from Adaptive Object Models to Static APIs PLoP | ||
13:20 - 13:40 Talk | Logical Layering Heuristic Pattern PLoP | ||
13:40 - 14:00 Talk | Patterns to Develop and Evolve an Agile Architecture During a Software Project PLoP | ||
14:00 - 14:20 Talk | QA to AQ Part Four - Shifting from Quality Assurance to Agile Quality: “Prioritizing Qualities and Making them Visible” PLoP | ||
14:20 - 14:40 Talk | Relating Patterns and Reference Architectures PLoP | ||
14:40 - 15:00 Talk | Towards A Catalogue of Design Patterns Variants PLoP |
13:00 - 14:00 Other | Reading Time 1 PLoP | ||
14:00 - 15:00 Other | Games 1 PLoP |
15:30 - 16:07 Talk | Fearless Change Journey PLoP Mary Lynn MannsUniversity of North Carolina Asheville, USA | ||
16:07 - 16:45 Talk | Generative Processes of Community with the Fundamental Properties PLoP | ||
16:45 - 17:22 Talk | Pattern Language of Layering Focus Group PLoP | ||
17:22 - 18:00 Day closing | Daily Review 1 PLoP |
Sun 25 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
Sun 25 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change
08:30 - 10:00 Day opening | Opening and Games 2 PLoP |
09:00 - 09:15 Day opening | Opening Parsing@SLE | ||
09:15 - 10:00 Talk | Invited talk: Parsing Unpreprocessed C Code - The TypeChef Experience Parsing@SLE |
10:30 - 12:00: Second SessionParsing@SLE at Reflections Chair(s): Eric Van WykUniversity of Minnesota | |||
10:30 - 11:00 Talk | Modular Syntax Parsing@SLE Cyrus OmarCarnegie Mellon University | ||
11:00 - 11:30 Talk | Improving Syntactic Completion Parsing@SLE Luis Eduardo de Souza AmorimTU Delft, Guido WachsmuthDelft University of Technology, Eelco VisserDelft University of Technology File Attached | ||
11:30 - 12:00 Talk | Fastparse: programmable parsers for the 21st century Parsing@SLE |
13:00 - 14:00 Other | Reading Time 2 PLoP | ||
14:00 - 15:00 Other | Games 2 PLoP |
13:30 - 14:00 Talk | Operator Precedence for Parser Combinators Parsing@SLE Anastasia IzmaylovaCentrum Wiskunde & Informatica | ||
14:00 - 14:30 Talk | Disambiguating Grammars with Tree Automata Parsing@SLE Michael D. AdamsUniversity of Utah | ||
14:30 - 15:00 Talk | Name Resolution Strategies in Variability Realization Languages for Software Product Lines Parsing@SLE Sven SchusterTechnische Universität Braunschweig, Christoph SeidlTechnische Universität Braunschweig, Ina Schaefer |
15:30 - 17:30 Talk | Developing an Open, Collaborative Design Pattern Repository PLoP | ||
15:30 - 17:30 Talk | Improving Writer’s Workshop by Introducing Checklists and Perspectives PLoP | ||
17:30 - 18:00 Day closing | Daily Review 2 PLoP |
15:30 - 17:00: Fourth SessionParsing@SLE at Reflections Chair(s): Ali AfroozehCentrum Wiskunde & Informatica | |||
15:30 - 16:00 Talk | Towards Abstract-Syntax-Preserving Grammar Migrations Parsing@SLE Martijn DwarsDelft University of Technology, Jeffrey GoderieDelft University of Technology, Eduardo AmorimDelft University of Technology, Guido WachsmuthDelft University of Technology, Eelco VisserDelft University of Technology File Attached | ||
16:00 - 16:15 Day closing | Closing Parsing@SLE |
18:00 - 20:30 Social Event | Hillside/PLoP Meeting Reception PLoP |
20:30 - 21:30 Social Event | Musical Bofs PLoP |
Mon 26 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change
08:30 - 10:00: Session IMobileDeLi at Edenburg Chair(s): Jeff GrayUniversity of Alabama, USA, Aharon AbadiIBM Research, Lori FlynnCERT | |||
08:30 - 08:40 Day opening | Opening MobileDeLi | ||
08:40 - 09:05 Talk | MobileDeli Keynote: Mobile security MobileDeLi Robert SeacordSecure Coding Institute | ||
09:05 - 09:20 Talk | A Lightweight JavaScript Engine for Mobile Devices MobileDeLi | ||
09:20 - 09:35 Talk | An Energy-Saving Framework for Mobile Devices Based on Crowdsourcing Intelligences MobileDeLi | ||
09:35 - 09:50 Talk | Improving the Android Development Lifecycle with the VALERA Record-and-replay Approach MobileDeLi Yongjian HuUniversity of California at Riverside, USA, Tanzirul AzimUniversity of California at Riverside, USA, Iulian NeamtiuUniversity of California at Riverside, USA | ||
09:50 - 09:55 Talk | Challenges in Transition from Web to App MobileDeLi File Attached | ||
09:55 - 10:00 Talk | Mobile Devices as Interfaces for Steering Cloud-Based High-Performance Computations MobileDeLi |
08:30 - 08:45 Day opening | SPLASH-E Introduction SPLASH-E Eli TilevichVirginia Tech | ||
08:45 - 09:15 Talk | Teaching Big Data with a Virtual Cluster SPLASH-E Joshua EckrothStetson University File Attached | ||
09:15 - 09:45 Talk | A Generic Framework for Engaging Online Data Sources in Introductory Programming Courses SPLASH-E Nadeem HamidBerry College File Attached | ||
09:45 - 10:00 Break | Session 1 Discussion SPLASH-E |
08:30 - 10:00 Day opening | Opening and Games 3 PLoP |
08:30 - 10:00 Talk | GPCE Keynote: "Technologies to Enable the Next-Generation Stadium and Fan Experience" by Priya Narasimhan GPCE Priya NarasimhanCarnegie Mellon University |
08:30 - 10:00: Keynote + AbstractionAGERE! at Grand Station 4 Chair(s): Carlos VarelaRensselaer Polytechnic Institute, US, Elisa Gonzalez BoixVrije Universiteit Brussel, Alessandro RicciUniversity of Bologna, Philipp HallerKTH Royal Institute of Technology | |||
08:30 - 09:20 Talk | AGERE! Keynote: Concurrent, Distributed Thinking for First-time Programmers in StarLogo Nova AGERE! | ||
09:20 - 09:40 Talk | Objects as Session-Typed Processes AGERE! | ||
09:40 - 10:00 Talk | Exploring AOP from an OOP Perspective AGERE! Rem CollierUniversity College Dublin, Seán RussellUniversity College Dublin, David LillisUniversity College Dublin |
08:30 - 10:00: Welcome and KeynotePLATEAU at Grand Station 5 Chair(s): Craig AnslowMiddlesex University, London | |||
08:30 - 09:00 Talk | Organizers' Welcome PLATEAU | ||
09:00 - 10:00 Talk | PLATEAU Keynote: Computational Thinking for All: Expanding the Boundaries of Computing for Nonprogrammers PLATEAU Mary Beth RossonPennsylvania State University File Attached |
08:30 - 09:15 Talk | Rethinking the Human-Readability Infrastructure Future Programming Workshop | ||
09:15 - 10:00 Talk | Coordinating extensibility with CoLingua Future Programming Workshop |
08:30 - 09:00 Day opening | Introductions Smart Software Strategies | ||
09:00 - 10:00 Meeting | Roundtable discussion; brainstorm topics to discuss in the workshop Smart Software Strategies |
10:30 - 11:00 Talk | Tackling Real World Complexity in a Software Engineering Student Project - An Experience Report SPLASH-E File Attached | ||
11:00 - 11:30 Talk | Continuous Testing in Introductory Computer Science Education SPLASH-E Andrew RichardsonUniversity of British Columbia , Mira LeungUniversity of British Columbia, Jordan ElderUniversity of British Columbia File Attached | ||
11:30 - 12:00 Talk | Teaching Code Review Management using Branch Based Workflows SPLASH-E |
10:30 - 12:00 Talk | PLoP Keynote: Progress Toward an Engineering Discipline of Software PLoP Mary ShawCarnegie Mellon University |
10:30 - 10:40 Day opening | Opening Remarks GPCE | ||
10:40 - 11:10 Talk | Shallow Embedding of DSLs via Online Partial Evaluation GPCE Roland Leißa, Klaas BoescheSaarland University, Sebastian Hack, Richard MembarthGerman Research Center for Artificial Intelligence, Philipp SlusallekGerman Research Center for Artificial Intelligence | ||
11:10 - 11:40 Talk | Almost First-Class Language Embedding: Taming Staged Embedded DSLs GPCE | ||
11:40 - 12:00 Talk | Generating Safe Boundary APIs between Typed EDSLs and their Environments GPCE Bob ReyndersiMinds - Distrinet, KU Leuven, Dominique DevrieseiMinds - Distrinet, KU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven |
10:30 - 12:00: Language Development and EvaluationSLE at Grand Station 2 Chair(s): Davide Di RuscioUniversity of L'Aquila | |||
10:30 - 10:40 Day opening | Opening SLE | ||
10:40 - 11:10 Talk | On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience SLE Salome MaroChalmers University of Technology, Sweden, Jan-Philipp SteghöferChalmers University of Technology, Sweden, Anthony AnjorinChalmers University of Technology, Sweden, Matthias TichyUniversity of Ulm, Germany, Lars GelinEricsson, Sweden DOI | ||
11:10 - 11:40 Talk | An Empirical Study on Simplification of Business Process Modeling Languages SLE Eric UmuhozaPolitecnico di Milano, Italy, Marco BrambillaPolitecnico di Milano, Italy, Davide RipamontiPolitecnico di Milano, Italy, Jordi CabotICREA, Spain DOI Media Attached | ||
11:40 - 12:00 Talk | Melange: A Meta-language for Modular and Reusable Development of DSLs SLE Thomas DegueuleINRIA, France, Benoit CombemaleINRIA, France, Arnaud BlouinINSA Rennes, France, Olivier BaraisUniversity of Rennes 1, France, Jean-Marc JézéquelUniversity of Rennes 1, France DOI |
10:30 - 10:50 Talk | Bulk-Synchronous Communication Mechanisms in Diderot AGERE! File Attached | ||
10:50 - 11:10 Talk | Programming Abstractions for Augmented Worlds AGERE! | ||
11:10 - 11:30 Talk | Manyfold Actors: Extending the C++ Actor Framework to Heterogeneous Many-Core Machines using OpenCL AGERE! | ||
11:30 - 11:50 Talk | A Performance and Scalability Analysis of Actor Message Passing and Migration in SALSA Lite AGERE! |
10:30 - 10:50 Talk | Frequency Distribution of Error Messages PLATEAU David PritchardUniversity of Waterloo, Canada File Attached | ||
10:50 - 11:10 Talk | An Evaluation of the DiaSuite Toolset by Professional Developers PLATEAU Milan KabáčUniversity of Bordeaux / Inria Bordeaux / LaBRI, Nic VolanschiInria Bordeaux, Charles ConselUniversity of Bordeaux File Attached | ||
11:10 - 11:30 Talk | Aiding Programmers using Lightweight Integrated Code Visualization PLATEAU File Attached | ||
11:30 - 11:40 Talk | Towards moldable development tools PLATEAU Andrei ChişUniversity of Bern, Switzerland, Tudor Gîrbatudorgirba.com, Switzerland, Oscar NierstraszUniversity of Bern, Switzerland Pre-print Media Attached File Attached | ||
11:40 - 11:53 Talk | Understanding the Effects of Code Presentation PLATEAU File Attached |
10:30 - 11:30 Talk | Concolic Testing: A Decade Later WODA Koushik SenUniversity of California, Berkeley |
10:30 - 11:15 Talk | An end-user programming environment that's cell-based, copy/paste friendly, with a flat and forward execution model Future Programming Workshop Jake SandlundBraintree | ||
11:15 - 12:00 Talk | Living Computation: Robust-first programming in ULAM Future Programming Workshop Dave AckleyUNM Computer Science |
10:30 - 12:00 Meeting | Vote on discussion topics; first discussion session Smart Software Strategies |
11:30 - 12:00: Research Reports 1WODA at Haselton 1 Chair(s): Yu David LiuState University of New York (SUNY) Binghamton | |||
11:30 - 12:00 Talk | SQL for Deep Dynamic Analysis? WODA |
13:00 - 13:30 Other | Reading Time 3 PLoP | ||
13:30 - 15:00 Talk | Focus Group on Security (and Related) Patterns PLoP | ||
13:30 - 15:00 Talk | Software Engineering Research Patterns Mining Focus Group PLoP Mary ShawCarnegie Mellon University |
13:30 - 15:00: Session IIIMobileDeLi at Edenburg Chair(s): Aharon AbadiIBM Research, Jeff GrayUniversity of Alabama, USA, Lori FlynnCERT | |||
13:30 - 13:50 Talk | Automatic Code Generation for Cross-platform, Multi-Device Mobile Apps: Some Reflections from an Industrial Experience MobileDeLi Eric UmuhozaPolitecnico di Milano, Italy, Hamza Ed-DouibiMines Nantes, Marco BrambillaPolitecnico di Milano, Italy, Jordi CabotICREA, Spain, Aldo BongioWebRatio S.r.l | ||
13:50 - 14:10 Talk | An Interactive Approach to Mobile App Verification MobileDeLi | ||
14:10 - 15:00 Other | Panel: “Mobile security: methods and challenges during development” MobileDeLi Marco PistoiaIBM Research, USA, Patrick TagueCarnegie Mellon University, Jan S. RellermeyerIBM Research, Garret WassermannCERT Coordination Center |
13:30 - 13:55 Talk | Tool Demo - PyFRP: Function Reactive Programming in Python SPLASH-E John PetersonWestern State Colorado University, Alan ClearyMontana State University, Ken RoeThe Johns Hopkins University File Attached | ||
13:55 - 14:20 Talk | Tool Demo - Teaching Software Architecture Concepts with HUSACCT SPLASH-E File Attached | ||
14:20 - 14:45 Talk | Tool Demo - Writing C Code Patches in a VPL Learning Environment SPLASH-E Ted KafalaCMSV File Attached | ||
14:45 - 15:00 Break | Session 2 & Demos Discussion SPLASH-E Eli TilevichVirginia Tech |
13:30 - 15:00: Session 3GPCE at Grand Station 1 Chair(s): Ulrik Pagh SchultzUniversity of Southern Denmark | |||
13:30 - 14:00 Talk | An Empirical Study on Configuration-Related Type Issues GPCE Flávio MedeirosFederal University of Campina Grande, Iran RodriguesFederal University of Alagoas, Márcio RibeiroFederal University of Alagoas (UFAL), Leopoldo TeixeiraFederal University of Pernambuco, Rohit GheyiUFCG, Brazil | ||
14:00 - 14:30 Talk | Analysing the Kconfig Semantics and its Analysis Tools GPCE Sascha El-SharkawyUniversity of Hildesheim, Adam KrafczykUniversity of Hildesheim, Klaus SchmidStiftung Universistat Hildesheim | ||
14:30 - 15:00 Talk | Migrating Large Object-oriented Applications into Component-based ones: Instantiation and Inheritance Transformation GPCE Zakarea Al SharaLIRMM, CNRS and University of Montpellier, Abdelhak SeriaiLIRMM, CNRS and University of Montpellier, Chouki TibermacineLIRMM, CNRS and University of Montpellier, Hinde BouzianeLIRMM, CNRS and University of Montpellier, Christophe DonyLIRMM, CNRS and University of Montpellier, Anas ShatnawiLIRMM, CNRS and University of Montpellier |
13:30 - 15:00: Model and Program TransformationSLE at Grand Station 2 Chair(s): Tijs van der StormCWI | |||
13:30 - 14:00 Talk | Distributed Model-to-Model Transformation with ATL on MapReduce SLE DOI | ||
14:00 - 14:30 Talk | Managing Uncertainty in Bidirectional Model Transformations SLE Romina EramoUniversity of L'Aquila, Italy, Alfonso PierantonioUniversity of L'Aquila, Italy, Gianni RosaUniversity of L'Aquila, Italy DOI | ||
14:30 - 15:00 Talk | Modular Capture Avoidance for Program Transformations SLE Link to publication DOI |
13:30 - 15:00 Talk | Symbolic Techniques for Software Debugging and Repair Tutorials |
13:30 - 13:50 Talk | Deny Capabilities for Safe, Fast Actors AGERE! Media Attached | ||
13:50 - 14:10 Talk | Optimizing Communicating Event-Loop Languages with Truffle AGERE! Link to publication Pre-print Media Attached | ||
14:10 - 14:30 Talk | Actario: A Framework for Reasoning About Actor Systems AGERE! Link to publication Pre-print Media Attached | ||
14:30 - 14:50 Talk | A model-based approach to secure multi-party distributed systems AGERE! Najah Ben SaidVerimag, Takoua AbdellatifUniversity of Sousse, Saddek BensalemVerimag, Marius BozgaVerimag/CNRS |
13:30 - 14:00 Talk | Ayudante: Identifying Undesired Variable Interactions WODA Irfan Ul HaqIMDEA Software Institute, Juan CaballeroIMDEA Software Institute, Michael D. ErnstUniversity of Washington | ||
14:00 - 14:30 Talk | Efficient Dynamic Analysis of the Synchronization Performance of Java Applications WODA Peter HoferChristian Doppler Laboratory on Monitoring and Evolution of Very-Large-Scale Software Systems, Johannes Kepler University Linz, David GnedtChristian Doppler Laboratory on Monitoring and Evolution ofVery-Large-Scale Software Systems, Johannes Kepler UniversityLinz, Hanspeter MössenböckJohannes Kepler University Linz | ||
14:30 - 15:00 Talk | Recovering Execution Data from Incomplete Observations WODA Peter OhmannUniversity of Wisconsin - Madison, David Bingham BrownUniversity of Wisconsin - Madison, Ben LiblitUniversity of Wisconsin–Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc. Pre-print |
13:30 - 14:15 Talk | BayesDB: Query the Probable Implications of Data Future Programming Workshop | ||
14:15 - 15:00 Talk | The Gamma: Programming tools for data journalism Future Programming Workshop Tomas PetricekUniversity of Cambridge, UK |
13:30 - 15:00 Meeting | Second discussion session Smart Software Strategies |
15:30 - 17:00: Session IVMobileDeLi at Edenburg Chair(s): Aharon AbadiIBM Research, Lori FlynnCERT, Jeff GrayUniversity of Alabama, USA | |||
15:30 - 15:45 Talk | Program Analysis for Mobile: how and why to run WALA on your phone MobileDeLi Julian DolbyIBM Research | ||
15:45 - 16:00 Talk | Gaps and Future Directions in Mobile Security Research MobileDeLi Violetta VylegzhaninaVanderbilt University, Jules WhiteVanderbilt University, Douglas C. SchmidtVanderbilt University | ||
16:00 - 17:00 Other | Activity:Mobile Computing to Support Sustainability MobileDeLi |
15:30 - 15:40 Talk | Lightning Talk #1 - Transferring Software Engineering Practices as an Educational Process: Lessons and Challenges SPLASH-E Yadran EterovicPontificia Universidad Catlica de Chile, Jorge BozoUniversidad Católica del Norte, Chile File Attached | ||
15:40 - 15:50 Talk | Lightning Talk #2 - A Temporal Weighted Grading Scheme for Software Design Courses SPLASH-E Vibha SazawalUniversity of Maryland | ||
15:50 - 16:00 Talk | Lightning Talk #3 - Why a theory for software engineering teaching is important SPLASH-E María Clara GómezUniversidad de Medellín, Carlos ZapataUniversidad Nacional de Colombia, Yadran EterovicPontificia Universidad Catlica de Chile | ||
16:00 - 16:10 Talk | Lightning Talk #4 - Music and Computing – Integrating Computer Science into the Music Curriculum SPLASH-E John PetersonWestern State Colorado University | ||
16:10 - 16:20 Talk | Lightning Talk #5 - OPEN SPLASH-E | ||
16:20 - 17:00 Day closing | Post-workshop Discussion SPLASH-E Eli TilevichVirginia Tech |
15:30 - 18:00 Day closing | Retrospective and Closing PLoP |
15:30 - 16:00 Talk | Safer SDN programming through Arbiter GPCE Michael LopezTexas A&M University, C. Jasson CaseyTexas A&M University and Flowgrammable.org, Gabriel Dos ReisTexas A&M University and Microsoft | ||
16:00 - 16:30 Talk | Contract-Based General-Purpose GPU Programming GPCE Alexey KolesnichenkoETH Zurich, Chris PoskittETH Zurich, Switzerland, Sebastian NanzETH Zurich, Bertrand MeyerETH Zurich, Innopolis University and Eiffel Software Link to publication DOI Pre-print Media Attached File Attached | ||
16:30 - 17:00 Talk | Inverse macro in Scala GPCE | ||
17:00 - 17:20 Talk | Towards Tool Support for Spreadsheet-based Domain-Specific Languages GPCE |
15:30 - 17:00: Tools ISLE at Grand Station 2 Chair(s): David J. PearceVictoria University of Wellington | |||
15:30 - 16:00 Talk | XMLText: From XML Schema to Xtext SLE Patrick NeubauerVienna University of Technology, Austria, Alexander BergmayrVienna University of Technology, Austria, Tanja MayerhoferVienna University of Technology, Austria, Javier TroyaVienna University of Technology, Austria, Manuel WimmerVienna University of Technology, Austria DOI | ||
16:00 - 16:30 Talk | Designing Languages using Lightning SLE Loïc GammaitoniUniversity of Luxembourg, Luxembourg, Pierre KelsenUniversity of Luxembourg, Luxembourg, Christian GlodtUniversity of Luxembourg, Luxembourg DOI | ||
16:30 - 17:00 Talk | Analysis and Transformation with the Nuthatch Tree-Walking Library SLE Anya Helene BaggeUniversity of Bergen, Norway DOI |
15:30 - 15:50 Talk | Akka.js: Towards a portable actor runtime environment AGERE! | ||
15:50 - 16:10 Talk | Connect.js: A cross mobile platform actor library for multi-networked mobile applications AGERE! Elisa Gonzalez BoixVrije Universiteit Brussel, Christophe ScholliersVrije Universiteit Brussel, Nicolas LarreaVUB, Wolfgang De MeuterVrije Universiteit Brussel | ||
16:10 - 16:30 Talk | Jacco: More Efficient Model Checking Toolset for Java Actor Programs AGERE! Arvin ZakeriyanUniversity of Tehran, Ehsan Khamespanah, Marjan SirjaniReykjavik University, Ramtin Khosravi | ||
16:30 - 17:00 Other | Discussion/Panel AGERE! |
15:30 - 17:00: Group DiscussionPLATEAU at Grand Station 5 Chair(s): Joshua SunshineCarnegie Mellon University, Craig AnslowMiddlesex University, London, Thomas LaTozaGeorge Mason University | |||
15:30 - 15:50 Talk | On the Need to Define Community Agreements for Controlled Experiments with Human Subjects -- A Discussion Paper PLATEAU File Attached | ||
15:50 - 17:00 Talk | Group discussion PLATEAU |
15:30 - 16:00: Research Reports 3WODA at Haselton 1 Chair(s): Matthias HauswirthUniversity of Lugano, Switzerland | |||
15:30 - 16:00 Talk | A Formal Foundation for Trace-Based JIT Compilers WODA Maarten VandercammenVrije Universiteit Brussel, Jens Nicolay, Stefan MarrINRIA, France, Joeri De KosterVrije Universiteit Brussel, Theo D'HondtVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel DOI Pre-print |
15:30 - 16:15 Talk | Medic: Metaprogramming and Trace-Oriented Debugging Future Programming Workshop | ||
16:15 - 17:00 Talk | Lively Groups: Shared Behavior in a World of Objects without Classes or Prototypes Future Programming Workshop Tim FelgentreffHPI, Germany, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI, Lauritz ThamsenTU Berlin |
15:30 - 16:30 Meeting | Third discussion session Smart Software Strategies | ||
16:30 - 17:00 Day closing | Preparation of the workshop poster Smart Software Strategies |
16:00 - 17:00: Extended AbstractsWODA at Haselton 1 Chair(s): Harry XuUniversity of California, Irvine | |||
16:00 - 16:15 Talk | Infection Size as a Measure of Bug Severity WODA | ||
16:15 - 16:30 Talk | Just-in-Time Data Structures: Towards Declarative Swap Rules WODA Mattias De WaelVrije Universiteit Brussel | ||
16:30 - 16:45 Talk | Towards Deployment-Time Dynamic Analysis of Server Applications WODA | ||
16:45 - 17:00 Talk | Supporting PHP Dynamic Analysis in PHP AiR WODA Mark HillsEast Carolina University |
18:00 - 21:00 Social Event | Welcome Reception & Poster Session Social Events |
Tue 27 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
Tue 27 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change
08:55 - 09:00 Talk | Opening Doctoral Symposium | ||
09:00 - 10:00 Talk | DS Invited Keynote Talk I: How to debug the Internet of Things, or, PhD or startup? Doctoral Symposium Patrick EugsterPurdue University |
08:45 - 09:00 Day opening | Workshop opening ETX | ||
09:00 - 10:00 Talk | ETX Invited Speaker: The Eclipse Academic Program: Creating the Eclipse University Ecosystem ETX Brian BarryFD Labs |
08:30 - 08:35 Day opening | DBPL Welcome DBPL | ||
08:35 - 10:00 Talk | DBPL Keynote: The Gremlin Graph Traversal Machine and Language DBPL Marko RodriguezDataStax |
08:30 - 10:00: Concurrent OO LanguagesNOOL at Ellwood 2 Chair(s): Alex PotaninVictoria University of Wellington | |||
08:30 - 09:00 Talk | Welcome Session NOOL | ||
09:00 - 09:30 Talk | Behavioural Prototypes NOOL Link to publication | ||
09:30 - 10:00 Talk | Inversion in Programming Language Design: The Encore Way NOOL Dave ClarkeUppsala University, Sweden and KU Leuven, Belgium, Tobias WrigstadUppsala University, Nobuko YoshidaImperial College London, UK, Frank S. de Boer, Einar Broch JohnsenUniversity of Oslo |
08:30 - 10:00 Talk | SLE/GPCE Keynote: What's the value of an end user? Platforms and Research: The case of Pharo and Moose GPCE Stéphane DucasseINRIA, France Media Attached |
08:30 - 10:00 Talk | SLE/GPCE Keynote: What's the value of an end user? Platforms and Research: The case of Pharo and Moose SLE Stéphane DucasseINRIA, France Media Attached |
08:30 - 08:40 Day opening | Welcome and Introduction DLS | ||
08:40 - 09:40 Talk | DLS Keynote: Declare Your Language DLS Link to publication DOI Media Attached | ||
09:40 - 10:00 Talk | From APIs to Languages: Generalising Method Names DLS James NobleVictoria University of Wellington, Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington Pre-print |
08:30 - 08:40 Day opening | Workshop opening REBLS | ||
08:40 - 09:40 Talk | REBLS Keynote - Self-Adjusting Computation: Practical Abstractions for Dynamic Software REBLS Umut A. AcarCarnegie Mellon University | ||
09:40 - 10:00 Talk | Live Programming for Event-Based Languages REBLS |
08:30 - 10:00: Welcome and keynoteSEPS at Haselton 2 Chair(s): Ali JannesariTechnical University of Darmstadt | |||
08:30 - 08:35 Day opening | Opening and Welcome SEPS | ||
08:35 - 10:00 Talk | SEPS Invited Tallk: Hybrid Inference of Semantics for Software Adaptation SEPS |
09:00 - 09:15 Day opening | Opening Remarks PLMW Darya MelicherCarnegie Mellon University | ||
09:15 - 10:00 Talk | SE & PL Research Overview PLMW Joshua SunshineCarnegie Mellon University |
09:00 - 10:30: Session 1PROMOTO at Grand Station 5 Chair(s): Alberto SillittiCenter for Applied Software Engineering, Steven D. FraserInnoxec – Innovation Executive Services | |||
09:00 - 09:30 Day opening | Introduction PROMOTO | ||
09:30 - 10:30 Talk | PROMOTO Keynote: The BBC micro:bit PROMOTO Jonathan ProtzenkoMicrosoft Research |
10:30 - 10:40 Talk | Lightning Talks Doctoral Symposium | ||
10:40 - 11:20 Talk | Trace Register Allocation Doctoral Symposium DOI Pre-print | ||
11:20 - 12:00 Talk | Trace Obliviousness Computation Doctoral Symposium |
10:30 - 11:10 Talk | CSIclipse: Presenting Crash Analysis Data to Developers ETX Pre-print | ||
11:15 - 11:55 Talk | Androsgi: bringing the power of OSGi to Android ETX Steven BohezGhent University - iMinds, Elias De ConinckGhent University - iMinds, Tim VerbelenGhent University, Bart DhoedtGhent University - iMinds |
10:30 - 11:00 Talk | A common data manipulation language for nested data in heterogeneous environments. DBPL João Costa SecoNOVA LINCS -- Universidade Nova de Lisboa, Hugo LourençoOutSystems SA, Paulo FerreiraOutSystems SA | ||
11:00 - 11:30 Talk | Relational Foundations for Functorial Data Migration DBPL | ||
11:30 - 12:00 Talk | Abstract Rewriting Approach to Solve Datalog Programs DBPL Fernando Tarin MoralesThe University of Tokyo / National Institute of Informatics, Fuyuki IshikawaNational Institute of Informatics, Shinichi HonidenThe University of Tokyo / National Institute of Informatics |
10:30 - 12:00: Systems OO LanguagesNOOL at Ellwood 2 Chair(s): James NobleVictoria University of Wellington | |||
10:30 - 11:00 Talk | Beyond Bash: Shell scripting in a statically-typed, object-oriented language NOOL | ||
11:00 - 11:30 Talk | Rust: Idioms and Design Patterns NOOL Nicholas CameronMozilla Research | ||
11:30 - 12:00 Talk | Whiley: a Better C? NOOL David J. PearceVictoria University of Wellington Link to publication |
10:30 - 11:15 Talk | Why Do a PhD and How to Pick an Area PLMW Yannis SmaragdakisUniversity of Athens Media Attached | ||
11:15 - 12:00 Talk | Life in Academia After Your PhD PLMW Alex PotaninVictoria University of Wellington File Attached |
10:30 - 11:00 Talk | Native-2-Native: Automated Cross-Platform Code Synthesis from Web-Based Programming Resources GPCE Media Attached File Attached | ||
11:00 - 11:20 Talk | CLOP: A multi-stage compiler to seamlessly embed heterogeneous code GPCE Media Attached File Attached | ||
11:20 - 11:40 Talk | Composing Code Generators for C&C ADLs With Application-Specific Behavior Languages (Tool Demonstration) GPCE Bernhard RumpeRWTH Aachen University, Germany, Andreas WortmannRWTH Aachen University, Jan Oliver RingertTel Aviv University Media Attached File Attached | ||
11:40 - 12:00 Talk | Orchestrating Masses of Sensors: A Design-Driven Development Approach GPCE Media Attached |
10:30 - 12:00: Formal Modeling and Language ValidationSLE at Grand Station 2 Chair(s): Marco BrambillaPolitecnico di Milano, Italy | |||
10:30 - 11:00 Talk | Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview SLE Christoff BürgerLund University, Sweden DOI | ||
11:00 - 11:30 Talk | Example-Based Validation of Domain-Specific Visual Languages SLE Jesús J. López-FernándezAutonomous University of Madrid, Spain, Esther GuerraAutonomous University of Madrid, Spain, Juan de LaraAutonomous University of Madrid, Spain DOI | ||
11:30 - 12:00 Talk | A Combined Formal Model for Relational Context-Dependent Roles SLE Thomas KühnTU Dresden, Germany, Stephan BöhmeTU Dresden, Germany, Sebastian GötzTU Dresden, Germany, Uwe AßmannTU Dresden, Germany DOI |
10:30 - 10:52 Talk | A Formalization of Typed Lua DLS Media Attached | ||
10:52 - 11:15 Talk | Gradual Certified Programming in Coq DLS | ||
11:15 - 11:37 Talk | Message Safety in Dart DLS Erik Ernst, Mathias SchwarzUber Aarhus, Fabio StroccoAarhus University, Denmark, Anders MøllerAarhus University | ||
11:37 - 12:00 Talk | Control-Flow Analysis of Dynamic Languages via Pointer Analysis DLS |
10:30 - 10:52 Talk | Indexing RETE's Working Memory - Catering to Dynamic Changes of the Ruleset REBLS Simon Van de WaterVUB, Thierry RenauxVrije Universiteit Brussel, Lode Hoste, Wolfgang De MeuterVrije Universiteit Brussel | ||
10:52 - 11:15 Talk | Type Inference of Asynchronous Arrows in JavaScript REBLS | ||
11:15 - 11:37 Talk | Functional Reactive Programming with nothing but Promises (Implementing Push/Pull FRP using JavaScript Promises) REBLS | ||
11:37 - 12:00 Talk | Type Safe Evolution of Live Systems REBLS Miguel DominguesNOVA-LINCS - Universidade Nova de Lisboa, João Costa SecoNOVA LINCS -- Universidade Nova de Lisboa |
10:30 - 11:00 Talk | Exana: An Execution-driven Application Analysis Tool for Assisting Productive Performance Tuning SEPS | ||
11:00 - 11:30 Talk | Profiling for Detecting Performance Anomalies in Concurrent Software SEPS | ||
11:30 - 12:00 Talk | Annotatable Systrace: An Extended Linux ftrace for Tracing a Parallelized Program SEPS Daichi Fukui , Mamoru Shimaoka, Hiroki Mikami, Dominic Hillenbrand , Hideo Yamamoto , Keiji Kimura Waseda University , Hironori Kasahara |
11:00 - 11:30 Talk | Measuring the Usability and Capability of App Inventor to Create Mobile Applications PROMOTO Benjamin XieMassachusetts Institute of Technology, Isra ShabirMassachusetts Institute of Technology, Hal AbelsonMIT | ||
11:30 - 12:00 Talk | A Flow-Based Programming Framework for Mobile App development PROMOTO |
13:30 - 14:30 Talk | DS Invited Keynote Talk II: Lessons and Stories from My Career Doctoral Symposium Gary Leavens University of Central Florida | ||
14:30 - 15:10 Talk | Privacy and Security Constraints for Code Contributions Doctoral Symposium |
13:30 - 13:50 Talk | Towards Improving Software Security using Language Engineering and mbeddr C DSM Link to publication Pre-print Media Attached | ||
13:50 - 14:10 Talk | Extensible Visual Constraint Language DSM | ||
14:10 - 14:30 Talk | Systematic Evaluation of Three Data Marshalling Approaches for Distributed Software Systems DSM Hugo AndradeChalmers University of Technology, Federico GiaimoChalmers University of Technology, Christian BergerUniversity of Gothenburg, Ivica CrnkovicChalmers University of Technology, Sweden | ||
14:30 - 15:00 Other | Group work topic selection DSM |
13:30 - 15:00 Talk | ETX Keynote: High-Level Concurrency Libraries: Challenges for Tool Support ETX Philipp HallerKTH Royal Institute of Technology Media Attached File Attached |
13:30 - 13:52 Talk | Requesting heterogeneous data sources with array comprehensions in Hop.js DBPL | ||
13:52 - 14:15 Talk | A Datalog-based Protocol for Lazy Data Migration in Agile NoSQL Application Development DBPL | ||
14:15 - 14:37 Talk | Function Inlining in XQuery 3.0 Optimization DBPL Leonard WörtelerUniversity of Konstanz, Michael GrossniklausUniversity of Konstanz, Christian GrünUniversity of Konstanz, Marc H. SchollUniversity of Konstanz | ||
14:37 - 15:00 Talk | Relational Algebra by way of Adjunctions DBPL Jeremy GibbonsUniversity of Oxford, UK, Fritz HengleinDIKU, Denmark, Ralf HinzeUniversity of Oxford, UK, Nicolas WuUniversity of Bristol, UK |
13:30 - 15:00: Typing OO LanguagesNOOL at Ellwood 2 Chair(s): Alex PotaninVictoria University of Wellington | |||
13:30 - 14:00 Talk | Ubiquitous Object Orientation to Foster the Advancement of Programming Languages NOOL Darya MelicherCarnegie Mellon University Link to publication | ||
14:00 - 14:30 Talk | Gradual typing is morally incorrect; we're all monsters now NOOL Link to publication | ||
14:30 - 15:00 Talk | Enforcing Object-based Access in Newspeak NOOL Link to publication |
13:30 - 14:15 Talk | Repeatability, Reproducibility and Rigor in CS Research PLMW Jan VitekNortheastern University File Attached | ||
14:15 - 15:00 Talk | Why Programming Languages Matter PLMW Andrew BlackPortland State University File Attached |
13:30 - 15:00: Session 7GPCE at Grand Station 1 Chair(s): Christian KästnerCarnegie Mellon University | |||
13:30 - 14:00 Talk | Generating Reactive Programs for Graphical User Interfaces from Multi-way Dataflow Constraint Systems GPCE Gabriel FoustTexas A & M University, Jaakko JärviTexas A&M University, Sean ParentAdobe Systems, Inc. | ||
14:00 - 14:30 Talk | POP-PL: A Patient-Oriented Prescription Programming Language GPCE Spencer P. FlorenceNorthwestern University, Burke FetscherNorthwestern University, Matthew FlattUniversity of Utah, William H TempsNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Tina KiguradzeNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Dennis P. WestNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Charlotte NiznikNorthwestern University Feinberg School of Medicine, Departmentof Dermatology, Paul R. YarnoldOptimal Data Analysis LLC, Robby FindlerNorthwestern University, Steven M. BelknapNorthwestern University Feinberg School of Medicine, Departmentof Dermatology | ||
14:30 - 15:00 Talk | Lightweight, Generative Variant Exploration for High-Performance Graphics Applications GPCE Kai SelgradFriedrich-Alexander-Universität Erlangen-Nürnberg, Alexander LierFriedrich-Alexander-Universität Erlangen-Nürnberg, Franz KöferlFriedrich-Alexander-Universität Erlangen-Nürnberg, Marc StammingerFriedrich-Alexander-Universität Erlangen-Nürnberg, Daniel LohmannFriedrich-Alexander University of Erlangen-Nürnberg |
13:30 - 15:00: Model Execution and VerificationSLE at Grand Station 2 Chair(s): Davide Di RuscioUniversity of L'Aquila | |||
13:30 - 14:00 Talk | Weaving Concurrency in eXecutable Domain-Specific Modeling Languages SLE Florent LatombeUniversity of Toulouse, France, Xavier CrégutUniversity of Toulouse, France, Benoit CombemaleINRIA, France, Julien DeAntoni, Marc PantelUniversity of Toulouse, France DOI Pre-print Media Attached File Attached | ||
14:00 - 14:30 Talk | Supporting Efficient and Advanced Omniscient Debugging for xDSMLs SLE Erwan BousseIRISA, France, Jonathan CorleyUniversity of Alabama, USA, Benoit CombemaleINRIA, France, Jeff GrayUniversity of Alabama, USA, Benoit BaudryINRIA, France Link to publication DOI File Attached | ||
14:30 - 15:00 Talk | Using Decision Rules for Solving Conflicts in Extended Feature Models SLE Lina OchoaUniversity of Los Andes, Colombia, Oscar González-RojasUniversity of Los Andes, Colombia, Thomas ThümTU Braunschweig, Germany DOI |
13:30 - 13:52 Talk | Compiling for Multi-Language Task Migration DLS | ||
13:52 - 14:15 Talk | High-Performance Cross-Language Interoperability in a Multi-Language Runtime DLS Matthias GrimmerJohannes Kepler University Linz, Chris SeatonOracle Labs / University of Manchester, Roland SchatzJohannes Kepler University Linz, Thomas WuerthingerOracle Labs, Hanspeter MössenböckJohannes Kepler University Linz | ||
14:15 - 14:37 Talk | Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR DLS David LeopoldsederJohannes Kepler University Linz, Lukas StadlerOracle Labs, Christian WimmerOracle Labs, Hanspeter MössenböckJohannes Kepler University Linz | ||
14:37 - 15:00 Talk | Language Independent Storage Strategies for Tracing JIT based VMs DLS Tim FelgentreffHPI, Germany, Tobias PapeHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI, Carl Friedrich Bolz-TereickKing's College London , Anton GulenkoTU Berlin |
13:30 - 14:30 Talk | Promoto Keynote: Towards More Natural Programming for Mobile and Touch PROMOTO Brad A. MyersCarnegie Mellon University | ||
14:30 - 15:00 Talk | Supporting ``What-If'' in Touch-Screen Web Applications PROMOTO Peter SimonyiCarleton University, Jeff WilsonCarleton University, Judith BrownCarleton University, Robert BiddleCarleton University | ||
15:00 - 15:30 Talk | Collaborative Annotations for Large Touchscreen Web Applications PROMOTO |
13:30 - 14:20 Talk | REBLS Industrial Talk (PREZI): Playful but not a Toy: Views on Reactive Programming from within a Large Software Project REBLS Johannes EmerichPrezi Media Attached | ||
14:20 - 14:40 Talk | Temporal Correlation Patterns REBLS Oliver BračevacTU Darmstadt | ||
14:40 - 15:00 Talk | Dynamic Condition Response Graphs as Foundation for Event-based Languages and Systems REBLS |
13:30 - 15:00: Modeling and techniques for parallel softwareSEPS at Haselton 2 Chair(s): Yukinori SatoTokyo Institute of Technology | |||
13:30 - 14:00 Talk | Interleaving generation for data race and deadlock reproduction SEPS | ||
14:00 - 14:30 Talk | An Empirical Study on Parallelism in Modern Open-source Projects SEPS | ||
14:30 - 15:00 Talk | ATL-MR: Model Transformation on MapReduce SEPS |
15:30 - 16:00 Talk | DS Invited Keynote Talk III: Papers vs. Artifacts Doctoral Symposium Philipp HallerKTH Royal Institute of Technology | ||
16:00 - 16:40 Talk | Panini: A Concurrent Programming Model With Modular Reasoning Doctoral Symposium | ||
16:40 - 17:20 Talk | The Spreadsheet Paradigm: A Basis for Powerful and Accessible Programming Doctoral Symposium |
15:30 - 17:00 Other | Group work DSM |
15:30 - 16:10 Talk | Experience from Implementing a Complex Eclipse Extension for Software Product Line Engineering ETX Sascha El-SharkawyUniversity of Hildesheim, Christian KröherUniversity of Hildesheim, Holger EichelbergerUniversity of Hildesheim, Klaus SchmidStiftung Universistat Hildesheim | ||
16:10 - 16:50 Talk | GOLD: A Graph Oriented Language Implemented Using the Eclipse Xtext FrameWork ETX Alejandro SoteloUniversidad de los Andes, Silvia TakahashiSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia | ||
16:50 - 17:00 Day closing | Wrap up ETX |
15:30 - 16:00 Talk | Using Dependent Types and Tactics to Enable Semantic Optimization of Language-Integrated Queries DBPL | ||
16:00 - 16:30 Talk | Relative Expressive Power of Downward Fragments of Navigational Query Languages on Trees and Chains DBPL Jelle HellingsHasselt University and Transnational University of Limburg, Marc GyssensHasselt University and Transnational University of Limburg, Yuqing WuIndiana University, Dirk Van GuchtIndiana University, Jan Van den BusscheHasselt University and Transnational University of Limburg, Stijn VansummerenUniversité Libre de Bruxelles, George H. L. FletcherEindhoven University of Technology | ||
16:30 - 17:00 Talk | Typing Regular Path Query Languages for Data Graphs DBPL |
15:30 - 17:00: Designing OO LanguagesNOOL at Ellwood 2 Chair(s): Alex PotaninVictoria University of Wellington | |||
15:30 - 16:00 Talk | Proposal for an Object-Oriented Multiple Dispatch Mechanism NOOL Link to publication | ||
16:00 - 16:30 Talk | Classes Considered Harmful NOOL Andrew BlackPortland State University Pre-print File Attached | ||
16:30 - 17:00 Talk | Delegation is Not Quite Inheritance NOOL James NobleVictoria University of Wellington Link to publication File Attached |
15:30 - 16:30 Other | Panel: Graduate School: Why and How? PLMW Jonathan BellColumbia University, Chris MartensCarnegie Mellon University, Timothy JonesVictoria University of Wellington | ||
16:30 - 17:00 Talk | What to Do at SPLASH PLMW Darya MelicherCarnegie Mellon University |
15:30 - 16:00 Talk | Modular Interpreters for the Masses: Implicit Context Propagation Using Object Algebras GPCE | ||
16:00 - 16:30 Talk | Addressing Metamodel Revisions in Model-based Software Product Lines GPCE Jaime FontSan Jorge University, Lorena ArcegaSan Jorge University, Oystein HaugenØstfold University College, Carlos CetinaSan Jorge University | ||
16:30 - 17:00 Talk | Generative Software Product Line Development using Variability-Aware Design Patterns GPCE Christoph SeidlTechnische Universität Braunschweig, Sven SchusterTechnische Universität Braunschweig, Ina Schaefer | ||
17:00 - 17:20 Talk | Model Querying with Query Models GPCE | ||
17:20 - 17:30 Day closing | GPCE'15 Closing and GPCE'16 Announcement GPCE |
15:30 - 17:00: Tools II and ClosingSLE at Grand Station 2 Chair(s): Anya Helene BaggeUniversity of Bergen, Norway | |||
15:30 - 16:00 Talk | The Whiley Rewrite Language (WyRL) SLE David J. PearceVictoria University of Wellington DOI | ||
16:00 - 16:30 Talk | Parsing Expression Grammars Made Practical SLE Nicolas LaurentUniversité Catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium DOI Pre-print | ||
16:30 - 17:00 Day closing | Closing SLE |
15:30 - 15:54 Talk | Measuring Polymorphism in Python Programs DLS | ||
15:54 - 16:18 Talk | Tracking Down Performance Variation Against Source Code Evolution DLS | ||
16:18 - 16:42 Talk | Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines DLS Madhukar KedlayaUniversity of California, Santa Barbara, Behnam RobatmiliQualcomm Research, Ben HardekopfUC Santa Barbara | ||
16:42 - 17:06 Talk | An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio DLS Lars FischerUniversity of Duisburg-Essen, Essen, Germany, Stefan HanenbergUniversity of Duisburg-Essen | ||
17:06 - 17:30 Talk | Access Control to Reflection with Object Ownership DLS Camille TeruelINRIA, Stéphane DucasseINRIA, France, Damien CassouLille 1 University, Marcus Denker INRIA Lille |
15:30 - 15:52 Talk | Logical Reactive Programming REBLS | ||
15:52 - 16:15 Talk | Reactive Interfaces: Combining Events and Expressing Signals REBLS Ragnar MogkTechnische Universität Darmstadt | ||
16:15 - 16:37 Talk | Reactive Traversal of Recursive Data Types REBLS | ||
16:37 - 17:00 Talk | Real-Time Deadlines in Functional-Reactive Programming REBLS Media Attached File Attached |
15:30 - 17:00: Performance tuning and auto-tuningSEPS at Haselton 2 Chair(s): Xinghui ZhaoWashington State University | |||
15:30 - 16:00 Talk | Investigating Potential Performance Benefits of Memory Layout Optimization based on Roofline Model SEPS | ||
16:00 - 16:30 Talk | Empirical Performance Study of Speculative Parallel Processing on Commercial Multi-core CPU with Hardware Transactional Memory SEPS Kanemitsu OtsuUtsunomiya University, Yutaka Matsuno , Takeshi Ohkawa , Takashi Yokota , Takanobu BabaProfessor, Utsunomiya University, Japan | ||
16:30 - 17:00 Talk | Lighthouse: A Taxonomy-based Solver Selection Tool SEPS |
16:00 - 16:30 Demonstration | Demos PROMOTO | ||
16:30 - 17:00 Other | Open Discussion PROMOTO | ||
17:00 - 17:35 Day closing | Closing PROMOTO |
17:00 - 17:30 Day closing | Discussion and closing remarks REBLS |
Wed 28 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
Wed 28 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change
08:30 - 10:00 Talk | Tomorrow’s Network Operators Will Be Programmers Keynotes Nick FeamsterPrinceton University Media Attached File Attached |
10:00 - 10:45 Demonstration | Custom Full-Coverage Dynamic Program Analysis for Android Demos Haiyang SunUniversità della Svizzera italiana, Yudi ZhengUniversity of Lugano, Lubomír BulejUniversità della Svizzera italiana, Stephen KellUniversity of Cambridge, Walter BinderUniversity of Lugano |
10:00 - 10:45 Demonstration | Consensus-based Mining of API Preconditions in Big Code Demos Hoan NguyenIowa State University, Robert DyerBowling Green State University, Tien N. NguyenIowa State University, Hridesh RajanIowa State University, USA |
10:30 - 11:15 Talk | Changing Engines in Flight: Facebook's Conversion to Hack SPLASH-I Josh WatzmanFacebook Media Attached | ||
11:15 - 12:00 Talk | ECMAScript 2015: the future of JavaScript is now! SPLASH-I Tom Van CutsemAlcatel-Lucent Bell Labs Media Attached File Attached |
10:30 - 12:00 Talk | Evaluating Programming Languages and Tools in Studies with Human Participants Tutorials Thomas LaTozaGeorge Mason University File Attached |
10:30 - 12:00: Software ProfessionalismPanels at Fountain View Chair(s): Steven D. FraserInnoxec – Innovation Executive Services | |||
10:30 - 12:00 Talk | Software Professionalism – Is it “Good Enough?” Panels P: Dennis ManclMSWX, P: Nancy MeadCarnegie Mellon Software Engineering Institute, P: Mary ShawCarnegie Mellon University, P: Werner WildUniversity of Innsbruck, P: Steven D. FraserInnoxec – Innovation Executive Services |
10:30 - 10:52 Talk | Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach OOPSLA Anthony Widjaja LinYale-NUS College, Singapore, Matthew HagueRoyal Holloway University of London, UK, C.-H. Luke OngUniversity of Oxford, UK Link to publication | ||
10:52 - 11:15 Talk | SATCheck: SAT-Directed Stateless Model Checking for SC and TSO OOPSLA Link to publication | ||
11:15 - 11:37 Talk | Programming with Enumerable Sets of Structures OOPSLA Ivan KurajMassachusetts Institute of Technology, USA, Viktor KunčakEPFL, Switzerland, Daniel JacksonMassachusetts Institute of Technology, USA DOI | ||
11:37 - 12:00 Talk | Stateless Model Checking of Event-Driven Applications OOPSLA Casper Svenning JensenAarhus University, Denmark, Anders MøllerAarhus University, Veselin RaychevETH Zurich, Switzerland, Dimitar DimitrovETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland DOI |
10:30 - 12:00: 2. Domain Specific LanguagesOOPSLA at Grand Station 2 Chair(s): Eelco VisserDelft University of Technology | |||
10:30 - 10:52 Talk | Synthesis of Layout Engines from Relational Constraints OOPSLA Link to publication Media Attached | ||
10:52 - 11:15 Talk | A Sound and Optimal Incremental Build System with Dynamic Dependencies OOPSLA Sebastian ErdwegTU Darmstadt, Germany, Moritz LichterTU Darmstadt, Germany, Manuel WeielTU Darmstadt, Germany Link to publication Media Attached | ||
11:15 - 11:37 Talk | FlashMeta: A Framework for Inductive Program Synthesis OOPSLA Link to publication DOI Media Attached | ||
11:37 - 12:00 Talk | Scrap your Boilerplate with Object Algebras OOPSLA Haoyuan ZhangUniversity of Hong Kong, China, Zewei ChuUniversity of Hong Kong, China, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tijs van der StormCWI Link to publication Media Attached |
12:00 - 12:45 Demonstration | Heterogeneous Device Hopping: Bridging the Mobile Cross-Platform Gap Via a Declarative Query Language Demos |
12:00 - 12:45 Demonstration | Demonstrating Programming Language Feature Mining Using Boa Demos Robert DyerBowling Green State University, Hridesh RajanIowa State University, USA, Tien N. NguyenIowa State University, Hoan NguyenIowa State University Pre-print |
12:45 - 13:30 Demonstration | Making Live Programming Practical by Bridging the Gap Between Trial-and-error Development and Unit Testing Demos Tomoki ImaiTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology, Japan, Tomoyuki AotaniTokyo Institute of Technology, Japan |
12:45 - 13:30 Demonstration | GTInspector: A Moldable Domain-Aware Object Inspector Demos Andrei ChişUniversity of Bern, Switzerland, Tudor Gîrbatudorgirba.com, Switzerland, Oscar NierstraszUniversity of Bern, Switzerland, Aliaksei SyrelUniversity of Bern, Switzerland DOI Pre-print Media Attached |
13:30 - 15:00 Talk | Flow: a static type checker for JavaScript SPLASH-I Avik ChaudhuriFacebook Media Attached |
13:30 - 15:00 Talk | The Role of Ethnography in Programming Language Research: Developer-Centered Design of Languages and Tools Tutorials Yvonne DittrichIT University of Copenhagen, Cleidson de SouzaFederal University of Pará Belém, Helen SharpThe Open University File Attached |
13:30 - 15:00: Programming LanguagesPanels at Fountain View Chair(s): Steven D. FraserInnoxec – Innovation Executive Services | |||
13:30 - 15:00 Talk | The Future of Programming Languages and Programmers Panels P: Lars BakGoogle, P: Rob DeLineMicrosoft Research, P: Nick FeamsterPrinceton University, P: Lindsey KuperIntel Labs, P: Crista LopesUniversity of California, Irvine, P: Peng WuHuawei America Lab, P: Steven D. FraserInnoxec – Innovation Executive Services |
13:30 - 15:00: 3. VerificationOOPSLA at Grand Station 1 Chair(s): Guangtai LiangIBM Research - China | |||
13:30 - 13:52 Talk | Conditionally Correct Superoptimization OOPSLA Rahul SharmaStanford University, Eric SchkufzaStanford University, Berkeley ChurchillStanford University, Alex AikenStanford University DOI | ||
13:52 - 14:15 Talk | Selective Control-Flow Abstraction via Jumping OOPSLA Sam BlackshearUniversity of Colorado at Boulder, USA, Bor-Yuh Evan ChangUniversity of Colorado at Boulder, USA, Manu SridharanSamsung Research America Link to publication | ||
14:15 - 14:37 Talk | Automating Grammar Comparison OOPSLA Ravichandhran MadhavanEPFL, Switzerland, Mikaël MayerEPFL, Switzerland, Sumit GulwaniMicrosoft Research, USA, Viktor KunčakEPFL, Switzerland Link to publication | ||
14:37 - 15:00 Talk | Reasoning about the POSIX File System: Local Update and Global Pathnames OOPSLA DOI |
13:30 - 15:00: Session the FirstOnward! Papers at Grand Station 2 Chair(s): Stéphane DucasseINRIA, France | |||
13:30 - 13:52 Talk | Towards Secure Integration of Cryptographic Software Onward! Papers Steven ArztTU Darmstadt, Sarah NadiTechnische Universität Darmstadt, Karim AliTU Darmstadt, Sebastian ErdwegTU Darmstadt, Germany, Eric BoddenFraunhofer SIT and TU Darmstadt, Mira MeziniTU Darmstadt Link to publication DOI Media Attached | ||
13:52 - 14:15 Talk | Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback Onward! Papers Jürgen CitoUniversity of Zurich, Philipp LeitnerUniversity of Zurich, Harald GallUniversity of Zurich, Aryan DadashiSAP, Anne KellerSAP, Andreas RothSAP Pre-print Media Attached | ||
14:15 - 14:37 Talk | Constraints as a Design Pattern Onward! Papers Hesam SamimiSAP Labs, Alessandro WarthSAP Labs, Mahdi EslamimehrSAP Labs, Alan BorningUniversity of Washington, USA | ||
14:37 - 15:00 Talk | The Moldable Inspector Onward! Papers Andrei ChişUniversity of Bern, Switzerland, Tudor Gîrbatudorgirba.com, Switzerland, Oscar NierstraszUniversity of Bern, Switzerland, Aliaksei SyrelUniversity of Bern, Switzerland DOI Pre-print Media Attached |
15:00 - 15:45 Demonstration | Fraglight: Shedding Light on Broken Pointcuts in Evolving Aspect-Oriented Software Demos Raffi KhatchadourianHunter College, City University of New York, Awais RashidLancaster University, UK, Hidehiko MasuharaTokyo Institute of Technology, Japan, Watanabe TakuyaEdirium K.K. Media Attached |
15:00 - 15:45 Demonstration | Ultra Lightweight JavaScript Engine for Internet of Things: demonstration Demos |
15:30 - 16:15 Talk | What is a compiler? We thought we knew… SPLASH-I Mads TorgersenMicrosoft | ||
16:15 - 17:00 Talk | When CT meets IT: Programming Challenges in the age of ICT Convergence SPLASH-I Peng WuHuawei America Lab File Attached |
15:30 - 17:00 Talk | Software Analytics: Achievements and Challenges Tutorials |
15:30 - 17:00: 4. ConcurrencyOOPSLA at Grand Station 1 Chair(s): Wolfgang De MeuterVrije Universiteit Brussel | |||
15:30 - 15:52 Talk | AutoMO: Automatic Inference of Memory Order Parameters for C/C++11 OOPSLA Peizhao OuUniversity of California at Irvine, USA, Brian DemskyUniversity of California at Irvine, USA DOI | ||
15:52 - 16:15 Talk | Valor: Efficient, Software-Only Region Conflict Exceptions OOPSLA Swarnendu BiswasOhio State University, USA, Minjia ZhangOhio State University, USA, Michael D. BondOhio State University, USA, Brandon LuciaCarnegie Mellon University, USA DOI Pre-print | ||
16:15 - 16:37 Talk | Automatic Memory Reclamation for Lock-Free Data Structures OOPSLA DOI | ||
16:37 - 17:00 Talk |