SPLASH 2015 (series) /
SPLASH 2015 Program
Filter 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
Conference DayFri 23 OctDisplayed time zone: Eastern Time (US & Canada) change
Conference Day
Fri 23 OctDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mMeeting | Bootcamp 1 PLoP | ||
10:30 - 12:00 | |||
10:30 90mMeeting | Bootcamp 2 PLoP | ||
13:00 - 15:00 | |||
13:00 2hMeeting | Bootcamp 3 PLoP | ||
15:30 - 18:00 | |||
15:30 2h30mMeeting | Bootcamp 4 PLoP | ||
Conference DaySat 24 OctDisplayed time zone: Eastern Time (US & Canada) change
Conference Day
Sat 24 OctDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 15mTalk | QA to AQ Part Four - Shifting from Quality Assurance to Agile Quality: “Prioritizing Qualities and Making them Visible” PLoP | ||
08:45 15mTalk | Towards A Catalogue of Design Patterns Variants PLoP | ||
09:00 15mTalk | Patterns to Develop and Evolve an Agile Architecture During a Software Project PLoP | ||
09:15 15mTalk | Dynamic Generated Adapters from Adaptive Object Models to Static APIs PLoP | ||
09:30 15mTalk | Relating Patterns and Reference Architectures PLoP | ||
09:45 15mTalk | Logical Layering Heuristic Pattern PLoP | ||
08:30 - 10:00 | |||
08:30 90mDay opening | Opening and Games 1 PLoP | ||
10:30 - 12:00 | |||
10:30 90mTalk | PLoP Keynote: Keeping A Pattern Language Alive PLoP Mary Lynn MannsUniversity of North Carolina Asheville, USA | ||
13:00 - 15:00 | |||
13:00 20mTalk | Dynamic Generated Adapters from Adaptive Object Models to Static APIs PLoP | ||
13:20 20mTalk | Logical Layering Heuristic Pattern PLoP | ||
13:40 20mTalk | Patterns to Develop and Evolve an Agile Architecture During a Software Project PLoP | ||
14:00 20mTalk | QA to AQ Part Four - Shifting from Quality Assurance to Agile Quality: “Prioritizing Qualities and Making them Visible” PLoP | ||
14:20 20mTalk | Relating Patterns and Reference Architectures PLoP | ||
14:40 20mTalk | Towards A Catalogue of Design Patterns Variants PLoP | ||
13:00 - 15:00 | |||
13:00 60mOther | Reading Time 1 PLoP | ||
14:00 60mOther | Games 1 PLoP | ||
15:30 - 18:00 | |||
15:30 37mTalk | Fearless Change Journey PLoP Mary Lynn MannsUniversity of North Carolina Asheville, USA | ||
16:07 37mTalk | Generative Processes of Community with the Fundamental Properties PLoP | ||
16:45 37mTalk | Pattern Language of Layering Focus Group PLoP | ||
17:22 37mDay closing | Daily Review 1 PLoP | ||
Conference DaySun 25 OctDisplayed time zone: Eastern Time (US & Canada) change
Conference Day
Sun 25 OctDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mDay opening | Opening and Games 2 PLoP | ||
08:30 - 10:00 | |||
09:00 15mDay opening | Opening Parsing@SLE | ||
09:15 45mTalk | Invited talk: Parsing Unpreprocessed C Code - The TypeChef Experience Parsing@SLE | ||
10:30 - 12:00 | |||
10:30 - 12:00 | |||
10:30 30mTalk | Modular Syntax Parsing@SLE Cyrus OmarCarnegie Mellon University | ||
11:00 30mTalk | 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 30mTalk | Fastparse: programmable parsers for the 21st century Parsing@SLE | ||
13:00 - 15:00 | |||
13:00 60mOther | Reading Time 2 PLoP | ||
14:00 60mOther | Games 2 PLoP | ||
13:30 - 15:00 | |||
13:30 30mTalk | Operator Precedence for Parser Combinators Parsing@SLE Anastasia IzmaylovaCentrum Wiskunde & Informatica | ||
14:00 30mTalk | Disambiguating Grammars with Tree Automata Parsing@SLE Michael D. AdamsUniversity of Utah | ||
14:30 30mTalk | 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 - 18:00 | |||
15:30 2hTalk | Developing an Open, Collaborative Design Pattern Repository PLoP | ||
15:30 2hTalk | Improving Writer’s Workshop by Introducing Checklists and Perspectives PLoP | ||
17:30 30mDay closing | Daily Review 2 PLoP | ||
15:30 - 17:00 | |||
15:30 30mTalk | 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 15mDay closing | Closing Parsing@SLE | ||
18:00 - 20:30 | |||
18:00 2h30mSocial Event | Hillside/PLoP Meeting Reception PLoP | ||
20:30 - 21:30 | |||
20:30 60mSocial Event | Musical Bofs PLoP | ||
Conference DayMon 26 OctDisplayed time zone: Eastern Time (US & Canada) change
Conference Day
Mon 26 OctDisplayed 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 10mDay opening | Opening MobileDeLi | ||
08:40 25mTalk | MobileDeli Keynote: Mobile security MobileDeLi Robert SeacordSecure Coding Institute | ||
09:05 15mTalk | A Lightweight JavaScript Engine for Mobile Devices MobileDeLi | ||
09:20 15mTalk | An Energy-Saving Framework for Mobile Devices Based on Crowdsourcing Intelligences MobileDeLi | ||
09:35 15mTalk | 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 5mTalk | Challenges in Transition from Web to App MobileDeLi File Attached | ||
09:55 5mTalk | Mobile Devices as Interfaces for Steering Cloud-Based High-Performance Computations MobileDeLi | ||
08:30 - 10:00 | |||
08:30 15mDay opening | SPLASH-E Introduction SPLASH-E Eli TilevichVirginia Tech | ||
08:45 30mTalk | Teaching Big Data with a Virtual Cluster SPLASH-E Joshua EckrothStetson University File Attached | ||
09:15 30mTalk | A Generic Framework for Engaging Online Data Sources in Introductory Programming Courses SPLASH-E Nadeem HamidBerry College File Attached | ||
09:45 15mBreak | Session 1 Discussion SPLASH-E | ||
08:30 - 10:00 | |||
08:30 90mDay opening | Opening and Games 3 PLoP | ||
08:30 - 10:00 | |||
08:30 90mTalk | 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 50mTalk | AGERE! Keynote: Concurrent, Distributed Thinking for First-time Programmers in StarLogo Nova AGERE! | ||
09:20 20mTalk | Objects as Session-Typed Processes AGERE! | ||
09:40 20mTalk | Exploring AOP from an OOP Perspective AGERE! Rem CollierUniversity College Dublin, Seán RussellUniversity College Dublin, David LillisUniversity College Dublin | ||
08:30 - 10:00 | |||
08:30 30mTalk | Organizers' Welcome PLATEAU | ||
09:00 60mTalk | PLATEAU Keynote: Computational Thinking for All: Expanding the Boundaries of Computing for Nonprogrammers PLATEAU Mary Beth RossonPennsylvania State University File Attached | ||
08:30 - 10:00 | |||
08:30 45mTalk | Rethinking the Human-Readability Infrastructure Future Programming Workshop | ||
09:15 45mTalk | Coordinating extensibility with CoLingua Future Programming Workshop | ||
08:30 - 10:00 | |||
08:30 30mDay opening | Introductions Smart Software Strategies | ||
09:00 60mMeeting | Roundtable discussion; brainstorm topics to discuss in the workshop Smart Software Strategies | ||
10:30 - 12:00 | |||
10:30 30mTalk | Tackling Real World Complexity in a Software Engineering Student Project - An Experience Report SPLASH-E File Attached | ||
11:00 30mTalk | 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 30mTalk | Teaching Code Review Management using Branch Based Workflows SPLASH-E | ||
10:30 - 12:00 | |||
10:30 90mTalk | PLoP Keynote: Progress Toward an Engineering Discipline of Software PLoP Mary ShawCarnegie Mellon University | ||
10:30 - 12:00 | |||
10:30 10mDay opening | Opening Remarks GPCE | ||
10:40 30mTalk | 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 30mTalk | Almost First-Class Language Embedding: Taming Staged Embedded DSLs GPCE | ||
11:40 20mTalk | 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 10mDay opening | Opening SLE | ||
10:40 30mTalk | 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 30mTalk | 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 20mTalk | 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 - 12:00 | |||
10:30 20mTalk | Bulk-Synchronous Communication Mechanisms in Diderot AGERE! File Attached | ||
10:50 20mTalk | Programming Abstractions for Augmented Worlds AGERE! | ||
11:10 20mTalk | Manyfold Actors: Extending the C++ Actor Framework to Heterogeneous Many-Core Machines using OpenCL AGERE! | ||
11:30 20mTalk | A Performance and Scalability Analysis of Actor Message Passing and Migration in SALSA Lite AGERE! | ||
10:30 - 12:00 | |||
10:30 20mTalk | Frequency Distribution of Error Messages PLATEAU David PritchardUniversity of Waterloo, Canada File Attached | ||
10:50 20mTalk | 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 20mTalk | Aiding Programmers using Lightweight Integrated Code Visualization PLATEAU File Attached | ||
11:30 10mTalk | 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 13mTalk | Understanding the Effects of Code Presentation PLATEAU File Attached | ||
10:30 - 11:30 | |||
10:30 60mTalk | Concolic Testing: A Decade Later WODA Koushik SenUniversity of California, Berkeley | ||
10:30 - 12:00 | |||
10:30 45mTalk | 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 45mTalk | Living Computation: Robust-first programming in ULAM Future Programming Workshop Dave AckleyUNM Computer Science | ||
10:30 - 12:00 | |||
10:30 90mMeeting | 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 30mTalk | SQL for Deep Dynamic Analysis? WODA | ||
13:00 - 15:00 | |||
13:00 30mOther | Reading Time 3 PLoP | ||
13:30 90mTalk | Focus Group on Security (and Related) Patterns PLoP | ||
13:30 90mTalk | 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 20mTalk | 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 20mTalk | An Interactive Approach to Mobile App Verification MobileDeLi | ||
14:10 50mOther | 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 - 15:00 | |||
13:30 25mTalk | 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 25mTalk | Tool Demo - Teaching Software Architecture Concepts with HUSACCT SPLASH-E File Attached | ||
14:20 25mTalk | Tool Demo - Writing C Code Patches in a VPL Learning Environment SPLASH-E Ted KafalaCMSV File Attached | ||
14:45 15mBreak | Session 2 & Demos Discussion SPLASH-E Eli TilevichVirginia Tech | ||
13:30 - 15:00 | |||
13:30 30mTalk | 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 30mTalk | Analysing the Kconfig Semantics and its Analysis Tools GPCE Sascha El-SharkawyUniversity of Hildesheim, Adam KrafczykUniversity of Hildesheim, Klaus SchmidStiftung Universistat Hildesheim | ||
14:30 30mTalk | 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 | |||
13:30 30mTalk | Distributed Model-to-Model Transformation with ATL on MapReduce SLE DOI | ||
14:00 30mTalk | 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 30mTalk | Modular Capture Avoidance for Program Transformations SLE Link to publication DOI | ||
13:30 - 15:00 | |||
13:30 90mTalk | Symbolic Techniques for Software Debugging and Repair Tutorials | ||
13:30 - 15:00 | |||
13:30 20mTalk | Deny Capabilities for Safe, Fast Actors AGERE! Media Attached | ||
13:50 20mTalk | Optimizing Communicating Event-Loop Languages with Truffle AGERE! Link to publication Pre-print Media Attached | ||
14:10 20mTalk | Actario: A Framework for Reasoning About Actor Systems AGERE! Link to publication Pre-print Media Attached | ||
14:30 20mTalk | 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 - 15:00 | |||
13:30 30mTalk | Ayudante: Identifying Undesired Variable Interactions WODA Irfan Ul HaqIMDEA Software Institute, Juan CaballeroIMDEA Software Institute, Michael D. ErnstUniversity of Washington | ||
14:00 30mTalk | 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 30mTalk | 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 - 15:00 | |||
13:30 45mTalk | BayesDB: Query the Probable Implications of Data Future Programming Workshop | ||
14:15 45mTalk | The Gamma: Programming tools for data journalism Future Programming Workshop Tomas PetricekUniversity of Cambridge, UK | ||
13:30 - 15:00 | |||
13:30 90mMeeting | 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 15mTalk | Program Analysis for Mobile: how and why to run WALA on your phone MobileDeLi Julian DolbyIBM Research | ||
15:45 15mTalk | Gaps and Future Directions in Mobile Security Research MobileDeLi Violetta VylegzhaninaVanderbilt University, Jules WhiteVanderbilt University, Douglas C. SchmidtVanderbilt University | ||
16:00 60mOther | Activity:Mobile Computing to Support Sustainability MobileDeLi | ||
15:30 - 17:00 | |||
15:30 10mTalk | 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 10mTalk | Lightning Talk #2 - A Temporal Weighted Grading Scheme for Software Design Courses SPLASH-E Vibha SazawalUniversity of Maryland | ||
15:50 10mTalk | 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 10mTalk | Lightning Talk #4 - Music and Computing – Integrating Computer Science into the Music Curriculum SPLASH-E John PetersonWestern State Colorado University | ||
16:10 10mTalk | Lightning Talk #5 - OPEN SPLASH-E | ||
16:20 40mDay closing | Post-workshop Discussion SPLASH-E Eli TilevichVirginia Tech | ||
15:30 - 18:00 | |||
15:30 2h30mDay closing | Retrospective and Closing PLoP | ||
15:30 - 17:30 | |||
15:30 30mTalk | 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 30mTalk | 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 30mTalk | Inverse macro in Scala GPCE | ||
17:00 20mTalk | Towards Tool Support for Spreadsheet-based Domain-Specific Languages GPCE | ||
15:30 - 17:00 | |||
15:30 30mTalk | 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 30mTalk | Designing Languages using Lightning SLE Loïc GammaitoniUniversity of Luxembourg, Luxembourg, Pierre KelsenUniversity of Luxembourg, Luxembourg, Christian GlodtUniversity of Luxembourg, Luxembourg DOI | ||
16:30 30mTalk | Analysis and Transformation with the Nuthatch Tree-Walking Library SLE Anya Helene BaggeUniversity of Bergen, Norway DOI | ||
15:30 - 17:00 | |||
15:30 20mTalk | Akka.js: Towards a portable actor runtime environment AGERE! | ||
15:50 20mTalk | 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 20mTalk | Jacco: More Efficient Model Checking Toolset for Java Actor Programs AGERE! Arvin ZakeriyanUniversity of Tehran, Ehsan Khamespanah, Marjan SirjaniReykjavik University, Ramtin Khosravi | ||
16:30 30mOther | 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 20mTalk | On the Need to Define Community Agreements for Controlled Experiments with Human Subjects -- A Discussion Paper PLATEAU File Attached | ||
15:50 70mTalk | Group discussion PLATEAU | ||
15:30 - 16:00 | |||
15:30 30mTalk | 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 - 17:00 | |||
15:30 45mTalk | Medic: Metaprogramming and Trace-Oriented Debugging Future Programming Workshop | ||
16:15 45mTalk | 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 - 17:00 | |||
15:30 60mMeeting | Third discussion session Smart Software Strategies | ||
16:30 30mDay closing | Preparation of the workshop poster Smart Software Strategies | ||
16:00 - 17:00 | |||
16:00 15mTalk | Infection Size as a Measure of Bug Severity WODA | ||
16:15 15mTalk | Just-in-Time Data Structures: Towards Declarative Swap Rules WODA Mattias De WaelVrije Universiteit Brussel | ||
16:30 15mTalk | Towards Deployment-Time Dynamic Analysis of Server Applications WODA | ||
16:45 15mTalk | Supporting PHP Dynamic Analysis in PHP AiR WODA Mark HillsEast Carolina University | ||
18:00 - 21:00 | |||
18:00 3hSocial Event | Welcome Reception & Poster Session Social Events | ||
Conference DayTue 27 OctDisplayed time zone: Eastern Time (US & Canada) change
Conference Day
Tue 27 OctDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:55 5mTalk | Opening Doctoral Symposium | ||
09:00 60mTalk | DS Invited Keynote Talk I: How to debug the Internet of Things, or, PhD or startup? Doctoral Symposium Patrick EugsterPurdue University | ||
08:30 - 10:00 | |||
08:45 15mDay opening | Workshop opening ETX | ||
09:00 60mTalk | ETX Invited Speaker: The Eclipse Academic Program: Creating the Eclipse University Ecosystem ETX Brian BarryFD Labs | ||
08:30 - 10:00 | |||
08:30 5mDay opening | DBPL Welcome DBPL | ||
08:35 85mTalk | DBPL Keynote: The Gremlin Graph Traversal Machine and Language DBPL Marko RodriguezDataStax | ||
08:30 - 10:00 | |||
08:30 30mTalk | Welcome Session NOOL | ||
09:00 30mTalk | Behavioural Prototypes NOOL Link to publication | ||
09:30 30mTalk | 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 | |||
08:30 90mTalk | 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 | |||
08:30 90mTalk | 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 - 10:00 | |||
08:30 10mDay opening | Welcome and Introduction DLS | ||
08:40 60mTalk | DLS Keynote: Declare Your Language DLS Link to publication DOI Media Attached | ||
09:40 20mTalk | 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 - 10:00 | |||
08:30 10mDay opening | Workshop opening REBLS | ||
08:40 60mTalk | REBLS Keynote - Self-Adjusting Computation: Practical Abstractions for Dynamic Software REBLS Umut A. AcarCarnegie Mellon University | ||
09:40 20mTalk | Live Programming for Event-Based Languages REBLS | ||
08:30 - 10:00 | |||
08:30 5mDay opening | Opening and Welcome SEPS | ||
08:35 85mTalk | SEPS Invited Tallk: Hybrid Inference of Semantics for Software Adaptation SEPS | ||
09:00 - 10:00 | |||
09:00 15mDay opening | Opening Remarks PLMW Darya MelicherCarnegie Mellon University | ||
09:15 45mTalk | 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 30mDay opening | Introduction PROMOTO | ||
09:30 60mTalk | PROMOTO Keynote: The BBC micro:bit PROMOTO Jonathan ProtzenkoMicrosoft Research | ||
10:30 - 12:00 | |||
10:30 10mTalk | Lightning Talks Doctoral Symposium | ||
10:40 40mTalk | Trace Register Allocation Doctoral Symposium DOI Pre-print | ||
11:20 40mTalk | Trace Obliviousness Computation Doctoral Symposium | ||
10:30 - 12:00 | |||
10:30 40mTalk | CSIclipse: Presenting Crash Analysis Data to Developers ETX Pre-print | ||
11:15 40mTalk | 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 - 12:00 | |||
10:30 30mTalk | 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 30mTalk | Relational Foundations for Functorial Data Migration DBPL | ||
11:30 30mTalk | 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 | |||
10:30 30mTalk | Beyond Bash: Shell scripting in a statically-typed, object-oriented language NOOL | ||
11:00 30mTalk | Rust: Idioms and Design Patterns NOOL Nicholas CameronMozilla Research | ||
11:30 30mTalk | Whiley: a Better C? NOOL David J. PearceVictoria University of Wellington Link to publication | ||
10:30 - 12:00 | |||
10:30 45mTalk | Why Do a PhD and How to Pick an Area PLMW Yannis SmaragdakisUniversity of Athens Media Attached | ||
11:15 45mTalk | Life in Academia After Your PhD PLMW Alex PotaninVictoria University of Wellington File Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | Native-2-Native: Automated Cross-Platform Code Synthesis from Web-Based Programming Resources GPCE Media Attached File Attached | ||
11:00 20mTalk | CLOP: A multi-stage compiler to seamlessly embed heterogeneous code GPCE Media Attached File Attached | ||
11:20 20mTalk | 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 20mTalk | 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 30mTalk | Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview SLE Christoff BürgerLund University, Sweden DOI | ||
11:00 30mTalk | 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 30mTalk | 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 - 12:00 | |||
10:30 22mTalk | A Formalization of Typed Lua DLS Media Attached | ||
10:52 22mTalk | Gradual Certified Programming in Coq DLS | ||
11:15 22mTalk | Message Safety in Dart DLS Erik Ernst, Mathias SchwarzUber Aarhus, Fabio StroccoAarhus University, Denmark, Anders MøllerAarhus University | ||
11:37 22mTalk | Control-Flow Analysis of Dynamic Languages via Pointer Analysis DLS | ||
10:30 - 12:00 | |||
10:30 22mTalk | 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 22mTalk | Type Inference of Asynchronous Arrows in JavaScript REBLS | ||
11:15 22mTalk | Functional Reactive Programming with nothing but Promises (Implementing Push/Pull FRP using JavaScript Promises) REBLS | ||
11:37 22mTalk | 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 - 12:00 | |||
10:30 30mTalk | Exana: An Execution-driven Application Analysis Tool for Assisting Productive Performance Tuning SEPS | ||
11:00 30mTalk | Profiling for Detecting Performance Anomalies in Concurrent Software SEPS | ||
11:30 30mTalk | 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 - 12:00 | |||
11:00 30mTalk | 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 30mTalk | A Flow-Based Programming Framework for Mobile App development PROMOTO | ||
13:30 - 15:10 | |||
13:30 60mTalk | DS Invited Keynote Talk II: Lessons and Stories from My Career Doctoral Symposium Gary Leavens University of Central Florida | ||
14:30 40mTalk | Privacy and Security Constraints for Code Contributions Doctoral Symposium | ||
13:30 - 15:00 | |||
13:30 20mTalk | Towards Improving Software Security using Language Engineering and mbeddr C DSM Link to publication Pre-print Media Attached | ||
13:50 20mTalk | Extensible Visual Constraint Language DSM | ||
14:10 20mTalk | 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 30mOther | Group work topic selection DSM | ||
13:30 - 15:00 | |||
13:30 90mTalk | ETX Keynote: High-Level Concurrency Libraries: Challenges for Tool Support ETX Philipp HallerKTH Royal Institute of Technology Media Attached File Attached | ||
13:30 - 15:00 | |||
13:30 22mTalk | Requesting heterogeneous data sources with array comprehensions in Hop.js DBPL | ||
13:52 22mTalk | A Datalog-based Protocol for Lazy Data Migration in Agile NoSQL Application Development DBPL | ||
14:15 22mTalk | 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 22mTalk | 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 | |||
13:30 30mTalk | Ubiquitous Object Orientation to Foster the Advancement of Programming Languages NOOL Darya MelicherCarnegie Mellon University Link to publication | ||
14:00 30mTalk | Gradual typing is morally incorrect; we're all monsters now NOOL Link to publication | ||
14:30 30mTalk | Enforcing Object-based Access in Newspeak NOOL Link to publication | ||
13:30 - 15:00 | |||
13:30 45mTalk | Repeatability, Reproducibility and Rigor in CS Research PLMW Jan VitekNortheastern University File Attached | ||
14:15 45mTalk | Why Programming Languages Matter PLMW Andrew BlackPortland State University File Attached | ||
13:30 - 15:00 | |||
13:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 - 15:00 | |||
13:30 22mTalk | Compiling for Multi-Language Task Migration DLS | ||
13:52 22mTalk | 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 22mTalk | 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 22mTalk | 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 - 15:30 | |||
13:30 60mTalk | Promoto Keynote: Towards More Natural Programming for Mobile and Touch PROMOTO Brad A. MyersCarnegie Mellon University | ||
14:30 30mTalk | Supporting ``What-If'' in Touch-Screen Web Applications PROMOTO Peter SimonyiCarleton University, Jeff WilsonCarleton University, Judith BrownCarleton University, Robert BiddleCarleton University | ||
15:00 30mTalk | Collaborative Annotations for Large Touchscreen Web Applications PROMOTO | ||
13:30 - 15:00 | |||
13:30 50mTalk | 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 20mTalk | Temporal Correlation Patterns REBLS Oliver BračevacTU Darmstadt | ||
14:40 20mTalk | 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 30mTalk | Interleaving generation for data race and deadlock reproduction SEPS | ||
14:00 30mTalk | An Empirical Study on Parallelism in Modern Open-source Projects SEPS | ||
14:30 30mTalk | ATL-MR: Model Transformation on MapReduce SEPS | ||
15:30 - 17:20 | |||
15:30 30mTalk | DS Invited Keynote Talk III: Papers vs. Artifacts Doctoral Symposium Philipp HallerKTH Royal Institute of Technology | ||
16:00 40mTalk | Panini: A Concurrent Programming Model With Modular Reasoning Doctoral Symposium | ||
16:40 40mTalk | The Spreadsheet Paradigm: A Basis for Powerful and Accessible Programming Doctoral Symposium | ||
15:30 - 17:00 | |||
15:30 90mOther | Group work DSM | ||
15:30 - 17:00 | |||
15:30 40mTalk | 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 40mTalk | 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 10mDay closing | Wrap up ETX | ||
15:30 - 17:00 | |||
15:30 30mTalk | Using Dependent Types and Tactics to Enable Semantic Optimization of Language-Integrated Queries DBPL | ||
16:00 30mTalk | 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 30mTalk | Typing Regular Path Query Languages for Data Graphs DBPL | ||
15:30 - 17:00 | |||
15:30 30mTalk | Proposal for an Object-Oriented Multiple Dispatch Mechanism NOOL Link to publication | ||
16:00 30mTalk | Classes Considered Harmful NOOL Andrew BlackPortland State University Pre-print File Attached | ||
16:30 30mTalk | Delegation is Not Quite Inheritance NOOL James NobleVictoria University of Wellington Link to publication File Attached | ||
15:30 - 17:00 | |||
15:30 60mOther | Panel: Graduate School: Why and How? PLMW Jonathan BellColumbia University, Chris MartensCarnegie Mellon University, Timothy JonesVictoria University of Wellington | ||
16:30 30mTalk | What to Do at SPLASH PLMW Darya MelicherCarnegie Mellon University | ||
15:30 - 17:30 | |||
15:30 30mTalk | Modular Interpreters for the Masses: Implicit Context Propagation Using Object Algebras GPCE | ||
16:00 30mTalk | 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 30mTalk | 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 20mTalk | Model Querying with Query Models GPCE | ||
17:20 10mDay closing | GPCE'15 Closing and GPCE'16 Announcement GPCE | ||
15:30 - 17:00 | |||
15:30 30mTalk | The Whiley Rewrite Language (WyRL) SLE David J. PearceVictoria University of Wellington DOI | ||
16:00 30mTalk | Parsing Expression Grammars Made Practical SLE Nicolas LaurentUniversité Catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium DOI Pre-print | ||
16:30 30mDay closing | Closing SLE | ||
15:30 - 17:30 | |||
15:30 24mTalk | Measuring Polymorphism in Python Programs DLS | ||
15:54 24mTalk | Tracking Down Performance Variation Against Source Code Evolution DLS | ||
16:18 24mTalk | 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 24mTalk | 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 24mTalk | Access Control to Reflection with Object Ownership DLS Camille TeruelINRIA, Stéphane DucasseINRIA, France, Damien CassouLille 1 University, Marcus Denker INRIA Lille | ||
15:30 - 17:00 | |||
15:30 22mTalk | Logical Reactive Programming REBLS | ||
15:52 22mTalk | Reactive Interfaces: Combining Events and Expressing Signals REBLS Ragnar MogkTechnische Universität Darmstadt | ||
16:15 22mTalk | Reactive Traversal of Recursive Data Types REBLS | ||
16:37 22mTalk | 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 30mTalk | Investigating Potential Performance Benefits of Memory Layout Optimization based on Roofline Model SEPS | ||
16:00 30mTalk | 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 30mTalk | Lighthouse: A Taxonomy-based Solver Selection Tool SEPS | ||
16:00 - 17:35 | |||
16:00 30mDemonstration | Demos PROMOTO | ||
16:30 30mOther | Open Discussion PROMOTO | ||
17:00 35mDay closing | Closing PROMOTO | ||
17:00 - 17:30 | |||
17:00 30mDay closing | Discussion and closing remarks REBLS | ||
Conference DayWed 28 OctDisplayed time zone: Eastern Time (US & Canada) change
Conference Day
Wed 28 OctDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mTalk | Tomorrow’s Network Operators Will Be Programmers Keynotes Nick FeamsterPrinceton University Media Attached File Attached | ||
10:00 - 10:45 | |||
10:00 45mDemonstration | 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 | |||
10:00 45mDemonstration | 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 - 12:00 | |||
10:30 45mTalk | Changing Engines in Flight: Facebook's Conversion to Hack SPLASH-I Josh WatzmanFacebook Media Attached | ||
11:15 45mTalk | ECMAScript 2015: the future of JavaScript is now! SPLASH-I Tom Van CutsemAlcatel-Lucent Bell Labs Media Attached File Attached | ||
10:30 - 12:00 | |||
10:30 90mTalk | 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 90mTalk | 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 - 12:00 | |||
10:30 22mTalk | 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 22mTalk | SATCheck: SAT-Directed Stateless Model Checking for SC and TSO OOPSLA Link to publication | ||
11:15 22mTalk | 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 22mTalk | 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 22mTalk | Synthesis of Layout Engines from Relational Constraints OOPSLA Link to publication Media Attached | ||
10:52 22mTalk | 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 22mTalk | FlashMeta: A Framework for Inductive Program Synthesis OOPSLA Link to publication DOI Media Attached | ||
11:37 22mTalk | 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 | |||
12:00 45mDemonstration | Heterogeneous Device Hopping: Bridging the Mobile Cross-Platform Gap Via a Declarative Query Language Demos | ||
12:00 - 12:45 | |||
12:00 45mDemonstration | 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 | |||
12:45 45mDemonstration | 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 | |||
12:45 45mDemonstration | 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 | |||
13:30 90mTalk | Flow: a static type checker for JavaScript SPLASH-I Avik ChaudhuriFacebook Media Attached | ||
13:30 - 15:00 | |||
13:30 90mTalk | 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 90mTalk | 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 | |||
13:30 22mTalk | Conditionally Correct Superoptimization OOPSLA Rahul SharmaStanford University, Eric SchkufzaStanford University, Berkeley ChurchillStanford University, Alex AikenStanford University DOI | ||
13:52 22mTalk | 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 22mTalk | Automating Grammar Comparison OOPSLA Ravichandhran MadhavanEPFL, Switzerland, Mikaël MayerEPFL, Switzerland, Sumit GulwaniMicrosoft Research, USA, Viktor KunčakEPFL, Switzerland Link to publication | ||
14:37 22mTalk | Reasoning about the POSIX File System: Local Update and Global Pathnames OOPSLA DOI | ||
15:00 - 15:45 | |||
15:00 45mDemonstration | 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 | |||
15:00 45mDemonstration | Ultra Lightweight JavaScript Engine for Internet of Things: demonstration Demos | ||
15:30 - 17:00 | |||
15:30 45mTalk | What is a compiler? We thought we knew… SPLASH-I Mads TorgersenMicrosoft | ||
16:15 45mTalk | When CT meets IT: Programming Challenges in the age of ICT Convergence SPLASH-I Peng WuHuawei America Lab File Attached | ||
15:30 - 17:00 | |||
15:30 90mTalk | Software Analytics: Achievements and Challenges Tutorials | ||
15:30 - 17:00 | |||
15:30 22mTalk | 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 22mTalk | 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 22mTalk | Automatic Memory Reclamation for Lock-Free Data Structures OOPSLA DOI | ||
16:37 22mTalk | Protocol-Based Verification of Message-Passing Parallel Programs OOPSLA Hugo LópezTechnical University of Denmark, Eduardo MarquesUniversity of Lisbon, Portugal, Francisco MartinsUniversity of Lisbon, Portugal, Nicholas NgImperial College London, UK, César SantosUniversity of Lisbon, Portugal, Vasco VasconcelosUniversity of Lisbon, Portugal, Nobuko YoshidaImperial College London, UK Link to publication | ||
15:30 - 17:00 | Session 1Onward! Essays at Grand Station 2 Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research | ||
15:30 45mTalk | Against a Universal Definition of Type Onward! Essays Tomas PetricekUniversity of Cambridge, UK DOI Media Attached | ||
16:15 45mTalk | The Cuban Software Revolution: 2016–2025 Onward! Essays David M. WestTranscendence, USA DOI | ||
18:00 - 21:00 | |||
18:00 3hSocial Event | Posters Reception Social Events | ||
18:00 - 21:00 | Poster SessionPosters at Admiral and Reflections Chair(s): Nick SumnerSimon Fraser University, Jeff HuangTexas A&M University | ||
18:00 3hTalk | Shiranui: A Live Programming with Support for Unit Testing Posters Tomoki ImaiTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology, Japan, Tomoyuki AotaniTokyo Institute of Technology, Japan DOI | ||
18:00 3hTalk | Exploiting Parallelism in Mobile Devices Posters Arghya ChatterjeeRice University, USA, Timothy NewtonRice University, USA, Tom RoushRice University, USA, Hunter TidwellRice University, USA, Vivek SarkarRice University DOI | ||
18:00 3hTalk | ModeSens: An Approach for Multi-modal Mobile Sensing Posters Ahmed Abdel MoamenUniversity of Saskatchewan, Canada, Nadeem JamaliUniversity of Saskatchewan, Canada DOI | ||
18:00 3hTalk | Towards Transitory Encapsulation Posters Sebastian FleissnerAustralian National University, Australia DOI | ||
18:00 3hTalk | Statik: An Incremental Compiler Generator Posters Michael BiggsBroadway Technology, USA DOI | ||
18:00 3hTalk | Toward Incremental Type Checking for Java Posters DOI | ||
18:00 3hTalk | Pyrlang: A High Performance Erlang Virtual Machine Based on RPython Posters Ruochen HuangTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology, Japan, Tomoyuki AotaniTokyo Institute of Technology, Japan DOI | ||
18:00 3hTalk | Conf.Researchr.Org: Towards a Domain-Specific Content Management System for Managing Large Conference Websites Posters Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology, Craig AnslowMiddlesex University, London DOI | ||
18:00 3hTalk | Evaluating Work Distribution Patterns for Parallel Bitmap Compression over SMPs Posters Ben McCamishOregon State University, USA, Xinghui ZhaoWashington State University, David ChiuUniversity of Puget Sound, USA, Jason SawinUniversity of St. Thomas, USA, Guadalupe CanahuateUniversity of Iowa, USA DOI | ||
18:00 3hTalk | Spotter: Towards a Unified Search Interface in IDEs Posters Aliaksei SyrelUniversity of Bern, Switzerland, Andrei ChişUniversity of Bern, Switzerland, Tudor Gîrbatudorgirba.com, Switzerland, Juraj KubelkaUniversity of Chile, Chile, Oscar NierstraszUniversity of Bern, Switzerland, Stefan Reichhartn.n., Switzerland DOI Pre-print Media Attached | ||
18:00 3hTalk | Toward a Java Based Infrastructure for Unmanned Aerial Vehicles Posters Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekState University of New York (SUNY) Buffalo DOI | ||
18:00 3hTalk | Porting the NetBeans Java 8 Enhanced for Loop Lambda Expression Refactoring to Eclipse Posters Md. ArefinNew York City College of Technology, City University of New York, Raffi KhatchadourianHunter College, City University of New York DOI Pre-print File Attached | ||
19:30 - 21:30 | Richard's Pretty Good TalksRPG at Grand Station 2 Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research | ||
19:30 60mMeeting | Programming as Writing (and vice versa?) RPG | ||
20:30 60mMeeting | Singing the Blues / What is a Song? RPG | ||
Conference DayThu 29 OctDisplayed time zone: Eastern Time (US & Canada) change
Conference Day
Thu 29 OctDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mTalk | How Dart Learned From Past Object-Oriented Systems Keynotes Lars BakGoogle Media Attached File Attached | ||
10:00 - 10:45 | |||
10:00 45mDemonstration | 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 | ||
10:00 - 10:45 | |||
10:00 45mDemonstration | 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 | ||
10:30 - 12:00 | |||
10:30 45mTalk | Model, Execute, Deploy: Answering the Hard Questions about End-user Programming SPLASH-I Shan Shan HuangLogicblox Media Attached | ||
11:15 45mTalk | Spur: Efficient Support for Live Programming in Dynamic Languages SPLASH-I Eliot MirandaCadence Design Systems Media Attached | ||
10:30 - 12:00 | |||
10:30 90mTalk | Building Secure Software Architectures using Security Patterns Tutorials Eduardo FernandezFlorida Atlantic University | ||
10:30 - 12:00 | 5. MobilityOOPSLA at Grand Station 1 Chair(s): Lukasz ZiarekState University of New York (SUNY) Buffalo | ||
10:30 22mTalk | Interactively Verifying Absence of Explicit Information Flows in Android Apps OOPSLA DOI Media Attached | ||
10:52 22mTalk | ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access OOPSLA Lucas BrutschyETH Zurich, Switzerland, Pietro FerraraIBM Research, USA, Omer TrippIBM Research, USA, Marco PistoiaIBM Research, USA Pre-print Media Attached | ||
11:15 22mTalk | Scalable Race Detection for Android Applications OOPSLA Pavol BielikETH Zurich, Switzerland, Veselin RaychevETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland DOI Media Attached | ||
11:37 22mTalk | Versatile yet Lightweight Record-and-Replay for Android OOPSLA Yongjian HuUniversity of California at Riverside, USA, Tanzirul AzimUniversity of California at Riverside, USA, Iulian NeamtiuUniversity of California at Riverside, USA DOI Media Attached | ||
10:30 - 12:00 | |||
10:30 22mTalk | Declarative Fence Insertion OOPSLA John BenderUniversity of California at Los Angeles, USA, Mohsen LesaniMIT, Jens PalsbergUniversity of California at Los Angeles, USA Link to publication | ||
10:52 22mTalk | Finding Deep Compiler Bugs via Guided Stochastic Program Mutation OOPSLA Vu LeUniversity of California at Davis, USA, Chengnian SunUniversity of California at Davis, USA, Zhendong SuUniversity of California at Davis, USA DOI | ||
11:15 22mTalk | Vectorization of Apply to Reduce Interpretation Overhead of R OOPSLA Haichuan WangUniversity of Illinois at Urbana-Champaign, David PaduaUniversity of Illinois at Urbana-Champaign, Peng WuHuawei America Lab DOI | ||
11:37 22mTalk | Synthesizing Java Expressions from Free-Form Queries OOPSLA Link to publication | ||
10:30 - 12:00 | |||
10:30 45mTalk | Towards a Theory of Conceptual Design for Software Onward! Essays Daniel JacksonMassachusetts Institute of Technology, USA DOI | ||
11:15 45mTalk | The Cuneiform Tablets of 2015 Onward! Essays Long Tien NguyenUniversity of California at Los Angeles, USA, Alan KayUniversity of California at Los Angeles, USA DOI | ||
10:30 - 12:00 | TalksStudent Research Competition at Grand Station 4 Chair(s): Patrick LamUniversity of Waterloo, Canada, Sam GuyerTufts University | ||
12:00 - 12:45 | |||
12:00 45mDemonstration | 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 | ||
12:00 - 12:45 | |||
12:00 45mDemonstration | 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 | ||
12:45 - 13:30 | |||
12:45 45mDemonstration | 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 | ||
12:45 - 13:30 | |||
12:45 45mDemonstration | Ultra Lightweight JavaScript Engine for Internet of Things: demonstration Demos | ||
13:30 - 15:00 | |||
13:30 45mTalk | Prospect: Finding and Exploiting Parallelism in a Productivity Language for Scientific Computing SPLASH-I Lindsey KuperIntel Labs Media Attached | ||
14:15 45mTalk | A History of JavaScript Static Analysis with WALA at IBM SPLASH-I Julian DolbyIBM Research Media Attached | ||
13:30 - 15:00 | |||
13:30 90mTalk | The Use of Text Retrieval and Natural Language Processing in Software Engineering Tutorials Venera ArnaoudovaWashington State University Pullman, Sonia HaiducFlorida State University Tallahassee, Andrian MarcusUniversity of Texas at Dallas, Giuliano AntoniolPolytechnique Montréal | ||
13:30 - 15:00 | |||
13:30 22mTalk | Just-in-Time Data Structures Onward! Papers Mattias De WaelVrije Universiteit Brussel, Stefan MarrINRIA, France, Joeri De KosterVrije Universiteit Brussel, Jennifer B. SartorVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel Link to publication DOI | ||
13:52 22mTalk | Separation of Powers in the Cloud: Where Applications and Users Become Peers Onward! Papers Media Attached | ||
14:15 22mTalk | Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations Onward! Papers Junsong LiBrown University, Justin Pombrio, Joe Gibbs PolitzSwarthmore College, Shriram KrishnamurthiBrown University Media Attached | ||
14:37 22mTalk | Musiplectics: Computational Assessment of the Complexity of Music Scores Onward! Papers | ||
15:00 - 15:45 | |||
15:00 45mDemonstration | Heterogeneous Device Hopping: Bridging the Mobile Cross-Platform Gap Via a Declarative Query Language Demos | ||
15:00 - 15:45 | |||
15:00 45mDemonstration | 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 | ||
15:30 - 17:00 | |||
15:30 45mTalk | Language-Oriented Business Applications: Helping End Users become Programmers SPLASH-I Markus Völteritemis, Germany Link to publication Media Attached | ||
16:15 45mTalk | ActiveSheets: Stream Processing with a Spreadsheet SPLASH-I Mandana VaziriIBM Thomas J. Watson Research Center | ||
15:30 - 17:00 | |||
15:30 90mTalk | Mining Programming Language Usage with Boa Tutorials Robert DyerBowling Green State University, Hridesh RajanIowa State University, USA, Tien N. NguyenIowa State University, Hoan NguyenIowa State University Pre-print File Attached | ||
15:30 - 17:30 | |||
15:30 24mTalk | Toward tool support for interactive synthesis Onward! Papers Shaon BarmanUC Berkeley, Rastislav BodikUniversity of Washington, USA, Satish ChandraSamsung Research America, Emina TorlakUniversity of Washington, Arka BhattacharyaUC Berkeley, David CullerUC Berkeley | ||
15:54 24mTalk | Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers Onward! Papers Sylvia GreweTU Darmstadt, Sebastian ErdwegTU Darmstadt, Germany, Pascal WittmannTU Darmstadt, Mira MeziniTU Darmstadt Link to publication | ||
16:18 24mTalk | One Parser to Rule Them All Onward! Papers Link to publication DOI Pre-print Media Attached | ||
16:42 24mTalk | Isolates, Channels and Event Streams for Composable Distributed Programming Onward! Papers | ||
17:06 24mTalk | A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages Onward! Papers Guillermo PolitoInria, Stéphane DucasseINRIA, France, Noury BouraqadiMines Douai, Luc FabresseMines Douai | ||
18:30 - 21:00 | |||
18:30 2h30mSocial Event | Conference Banquet Social Events | ||
Conference DayFri 30 OctDisplayed time zone: Eastern Time (US & Canada) change
Conference Day
Fri 30 OctDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mTalk | Modern software is all about data. Development environments should be, too. Keynotes Rob DeLineMicrosoft Research Media Attached File Attached | ||
10:00 - 10:45 | |||
10:00 45mDemonstration | Heterogeneous Device Hopping: Bridging the Mobile Cross-Platform Gap Via a Declarative Query Language Demos | ||
10:00 - 10:45 | |||
10:00 45mDemonstration | 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 | ||
10:30 - 12:00 | |||
10:30 45mTalk | Fighting Spam with Haskell SPLASH-I Simon MarlowFacebook Media Attached | ||
11:15 45mTalk | Domain Specific Languages @ Oracle Labs: Current Experiences, Future Hopes SPLASH-I Hassan ChafiOracle Labs | ||
10:30 - 12:00 | |||
10:30 90mTalk | Shipshape: An Open Program Analysis Platform Tutorials Media Attached | ||
10:30 - 12:00 | 9. Compilation & Dynamic AnalysisOOPSLA at Grand Station 1 Chair(s): Frank TipSamsung Research America | ||
10:30 22mTalk | Runtime Pointer Disambiguation OOPSLA Pericles Rafael AlvesFederal University of Minas Gerais, Brazil, Fabian GruberINRIA, France, Johannes DoerfertSaarland University, Alexandros LabrineasINRIA, France, Tobias GrosserETH Zurich, Switzerland, Fabrice RastelloINRIA, France, Fernando Magno Quintão PereiraFederal University of Minas Gerais, Brazil Link to publication | ||
10:52 22mTalk | Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities OOPSLA Luca Della ToffolaETH Zurich, Switzerland, Michael PradelTU Darmstadt, Germany, Thomas GrossETH Zurich, Switzerland DOI | ||
11:15 22mTalk | RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization OOPSLA Wen-Chuan LeePurdue University, USA, Tao BaoPurdue University, USA, Yunhui ZhengIBM Research, Xiangyu ZhangPurdue University, USA, Keval VoraUniversity of California at Riverside, USA, Rajiv GuptaUniversity of California at Riverside, USA DOI | ||
11:37 22mTalk | Automated Backward Error Analysis for Numerical Code OOPSLA Zhoulai FuUniversity of California at Davis, USA, Zhaojun BaiUniversity of California at Davis, USA, Zhendong SuUniversity of California at Davis, USA DOI | ||
10:30 - 12:00 | |||
10:30 22mTalk | Using C Language Extensions for Developing Embedded Software: A Case Study OOPSLA Markus Völteritemis, Germany, Arie van DeursenDelft University of Technology, Netherlands, Bernd Kolbitemis AG, Stephan Eberleitemis AG DOI Pre-print Media Attached | ||
10:52 22mTalk | How Scale Affects Structure in Java Programs OOPSLA DOI Pre-print Media Attached File Attached | ||
11:15 22mTalk | Use at Your Own Risk: The Java Unsafe API in the Wild OOPSLA Luis MastrangeloUniversity of Lugano, Switzerland, Luca PonzanelliUniversity of Lugano, Switzerland, Andrea MocciUniversity of Lugano, Switzerland, Michele LanzaUniversity of Lugano, Switzerland, Matthias HauswirthUniversity of Lugano, Switzerland, Nate NystromUniversity of Lugano, Switzerland DOI Media Attached | ||
11:37 22mTalk | Approximate Computation with Outlier Detection in Topaz OOPSLA Sara AchourMassachusetts Institute of Technology, USA, Martin C. RinardMassachusetts Institute of Technology, USA DOI Media Attached | ||
12:00 - 12:45 | |||
12:00 45mDemonstration | 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 | ||
12:00 - 12:45 | |||
12:00 45mDemonstration | 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 | |||
12:45 45mDemonstration | 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 | ||
12:45 - 13:30 | |||
12:45 45mDemonstration | Ultra Lightweight JavaScript Engine for Internet of Things: demonstration Demos | ||
13:30 - 15:00 | |||
13:30 90mTalk | Analyze your Java Source Code with ExtendJ Tutorials Media Attached | ||
13:30 - 15:00 | 11. Programming Language DesignOOPSLA at Grand Station 1 Chair(s): Gary Leavens University of Central Florida | ||
13:30 22mTalk | Remote-Scope Promotion: Clarified, Rectified, and Verified OOPSLA John WickersonImperial College London, Mark BattyUniversity of Cambridge, Bradford M. BeckmannAdvanced Micro Devices, Inc, Alastair F. DonaldsonImperial College London DOI Media Attached | ||
13:52 22mTalk | Incremental Computation with Names OOPSLA Matthew HammerUniversity of Maryland, College Park, Jana DunfieldUniversity of British Columbia, Canada, Kyle HeadleyUniversity of Maryland, College Park, Nicholas LabichUniversity of Maryland at College Park, USA, Jeffrey S. FosterUniversity of Maryland at College Park, USA, Michael HicksUniversity of Maryland at College Park, USA, David Van HornUniversity of Maryland at College Park, USA DOI | ||
14:15 22mTalk | Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages OOPSLA Tim FelgentreffHPI, Germany, Todd MillsteinUniversity of California at Los Angeles, USA, Alan BorningUniversity of Washington, USA, Robert HirschfeldHPI DOI | ||
14:37 22mTalk | Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Collections OOPSLA Link to publication | ||
13:30 - 15:00 | |||
13:30 22mTalk | Automating Ad-hoc Data Representation Transformations OOPSLA Vlad UrecheEPFL, Switzerland, Aggelos BiboudisUniversity of Athens, Yannis SmaragdakisUniversity of Athens, Martin OderskyEPFL, Switzerland Pre-print Media Attached | ||
13:52 22mTalk | Tracing vs. Partial Evaluation: Comparing Meta-compilation Approaches for Self-Optimizing Interpreters OOPSLA Link to publication Media Attached | ||
14:15 22mTalk | Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine OOPSLA DOI Pre-print Media Attached | ||
14:37 22mTalk | Partial Evaluation of Machine Code OOPSLA Venkatesh SrinivasanUniversity of Wisconsin-Madison, USA, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc. DOI Media Attached | ||
15:00 - 15:45 | |||
15:00 45mDemonstration | 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 | ||
15:00 - 15:45 | |||
15:00 45mDemonstration | 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:30 - 17:00 | |||
15:30 90mTalk | Concurrency in Rust: Data race safety with zero cost abstractions Tutorials | ||
15:30 - 17:00 | |||
15:30 22mTalk | A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking OOPSLA Sebastian ErdwegTU Darmstadt, Germany, Oliver BračevacTU Darmstadt, Edlira KuciTU Darmstadt, Germany, Matthias KrebsTU Darmstadt, Germany, Mira MeziniTU Darmstadt Link to publication Pre-print | ||
15:52 22mTalk | Disjointness Domains for Fine-Grained Aliasing OOPSLA Stephan BrandauerUppsala University, Dave ClarkeUppsala University, Sweden and KU Leuven, Belgium, Tobias WrigstadUppsala University Link to publication File Attached | ||
16:15 22mTalk | The Chemical Approach to Typestate-Oriented Programming OOPSLA DOI | ||
16:37 22mTalk | Customizable Gradual Polymorphic Effects for Scala OOPSLA DOI | ||
17:00 - 18:30 | |||
17:00 90mSocial Event | Ice Cream Social Social Events | ||