SPLASH 2014 (series) /
SPLASH 2014 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Fri 17 OctDisplayed time zone: Tijuana, Baja California change
Fri 17 Oct
Displayed time zone: Tijuana, Baja California change
13:00 - 17:00 | Friday AfternoonSummer School on Multicore Programming at FAB 86-01 at Portland State University (PSU) Chair(s): Danny Dig Oregon State University | ||
13:00 30mRegistration | Registration and check-in Summer School on Multicore Programming | ||
13:30 30mTalk | Welcome and class overview Summer School on Multicore Programming | ||
14:00 30mTalk | Multicore Architecture Summer School on Multicore Programming | ||
14:30 60mTalk | Threading Concepts Summer School on Multicore Programming | ||
15:30 60mTalk | Parallel Programming Patterns Summer School on Multicore Programming | ||
16:30 30mTalk | Programming with Eclipse Summer School on Multicore Programming | ||
Sat 18 OctDisplayed time zone: Tijuana, Baja California change
Sat 18 Oct
Displayed time zone: Tijuana, Baja California change
09:00 - 12:00 | Saturday MorningSummer School on Multicore Programming at FAB 86-01 at Portland State University (PSU) Chair(s): Danny Dig Oregon State University | ||
09:00 3hTalk | Parallelism with Java Threads and ThreadPools Summer School on Multicore Programming | ||
13:00 - 17:00 | Saturday AfternoonSummer School on Multicore Programming at FAB 86-01 at Portland State University (PSU) Chair(s): Danny Dig Oregon State University | ||
13:00 3hTalk | Correctness, Thread-safety, and Scalability Summer School on Multicore Programming | ||
16:00 60mTalk | Parallelism with with Lightweight Task Framework and Parallel Streams in Java 7/8 Summer School on Multicore Programming | ||
Sun 19 OctDisplayed time zone: Tijuana, Baja California change
Sun 19 Oct
Displayed time zone: Tijuana, Baja California change
09:00 - 12:00 | Sunday MorningSummer School on Multicore Programming at FAB 86-01 at Portland State University (PSU) Chair(s): Danny Dig Oregon State University | ||
09:00 3hTalk | Thread-safety with Atomics* and Concurrent Collections Summer School on Multicore Programming | ||
13:00 - 17:00 | Sunday AfternoonSummer School on Multicore Programming at FAB 86-01 at Portland State University (PSU) Chair(s): Danny Dig Oregon State University | ||
13:00 2hTalk | Refactoring for Improving Throughput and Scalability Summer School on Multicore Programming | ||
15:00 2hTalk | Upcoming Concurrency Libraries in Java Summer School on Multicore Programming Doug Lea State University of New York (SUNY) Oswego | ||
Mon 20 OctDisplayed time zone: Tijuana, Baja California change
Mon 20 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 90mMeeting | Informal Meeting Space Administration | ||
08:30 - 10:00 | |||
08:30 5mTalk | Introduction WOSC | ||
08:35 30mTalk | Applications Talk: Anshu Dubey WOSC | ||
09:05 30mTalk | An Extensible Framework for Composing Stencils with Common Scientific Computing Patterns WOSC | ||
09:35 15mTalk | Nanoblock Unroll: Towards the automatic stencil code generation with the optimal performance WOSC | ||
09:50 10mTalk | Trace-Driven Memory Access Pattern Recognition in Computational Kernels WOSC | ||
08:30 - 10:00 | |||
08:30 30mOther | Opening, Introductions, Welcome PROMOTO | ||
09:00 60mTalk | Programming Gadgets with Gadgets PROMOTO Peli de Halleux Microsoft Research | ||
08:30 - 10:00 | |||
08:30 45mDay opening | Introductions Doctoral Symposium | ||
09:15 45mTalk | Structured Source Retrieval for Improving Software Search during Program Comprehension Tasks Doctoral Symposium | ||
08:30 - 10:00 | |||
08:30 5mDay opening | Opening & Welcome AGERE! | ||
08:35 60mTalk | Upgrade Programming for Mobile Cloud AGERE! Gul Agha University of Illinois at Urbana-Champaign | ||
09:35 25mTalk | Selectors: Actors with Multiple Guarded Mailboxes AGERE! | ||
08:30 - 10:00 | Welcome, Introductions, DiscussionFOOL at Salon G Chair(s): Marco Servetto Victoria University of Wellington | ||
08:30 90mOther | Informal Group Discussion FOOL | ||
08:30 - 10:00 | |||
08:30 30mDay opening | Welcome & Introductions DSLDI | ||
09:00 30mTalk | Compositionality in embedded DSLs DSLDI Jeremy Gibbons University of Oxford, UK | ||
09:30 30mTalk | Formal Semantics as a Language Designer’s Toolbox: A case for semantics-inspired language design DSLDI Paolo G. Giarrusso University of Marburg, Klaus Ostermann University of Marburg, Tillmann Rendel University of Marburg, Eric Walkingshaw University of Marburg | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Morning Break Catering | ||
10:30 - 12:00 | |||
10:30 90mMeeting | Informal Meeting Space Administration | ||
10:30 - 12:00 | |||
10:30 15mTalk | HLSF: A High-Level, C++-Based Framework for Stencil Computations on Accelerators WOSC | ||
10:45 15mTalk | StenSAL: A Single Assignment Language for Relentlessly Executing Explicit Stencil Algorithms WOSC | ||
11:00 30mTalk | Applications Talk: Hans Johansen WOSC | ||
11:30 30mTalk | Converting Stencils to Accumulations for Communication-Avoiding Optimization in Geometric Multigrid WOSC | ||
10:30 - 12:00 | |||
10:30 45mTalk | Live programming of mobile apps in App Inventor PROMOTO | ||
11:15 45mTalk | Software Engineering Principles in the Midas Gesture Specification Language, PROMOTO Wolfgang De Meuter Vrije Universiteit Brussel | ||
10:30 - 12:00 | |||
10:30 45mTalk | An Approach to Safely Evolve Program Families in C Doctoral Symposium Flavio Medeiros Federal University of Campina Grande | ||
11:15 45mTalk | Diagnosing Degenerate Forms in Software Doctoral Symposium | ||
10:30 - 12:00 | |||
10:30 22mTalk | Fault Tolerant Distributed Computing using Asynchronous Local Checkpointing AGERE! | ||
10:52 22mTalk | Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures AGERE! | ||
11:15 22mTalk | Multiple Inheritance in AgentSpeak(L)-style Programming Languages AGERE! | ||
11:37 22mTalk | From Actor Event-Loop to Agent Control-Loop - Impact on Programming AGERE! Alessandro Ricci University of Bologna | ||
10:30 - 12:00 | |||
10:30 30mTalk | Program Equivalence through Trace Equivalence FOOL File Attached | ||
11:00 30mTalk | The Problem of Structural Type Tests in a Gradual-Typed Language FOOL John Boyland University of Wisconsin, Milwaukee File Attached | ||
11:30 30mTalk | Managing Gradual Typing with Message-Safety in Dart FOOL File Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | Accordion: An EDSL for Hardware Instruction Set Extensions DSLDI | ||
11:00 30mTalk | PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs DSLDI | ||
11:30 30mTalk | Stella: A DSL for structuring high-performance simulations in Python DSLDI | ||
13:30 - 15:00 | |||
13:30 90mMeeting | Informal Meeting Space Administration | ||
13:30 - 15:00 | |||
13:30 30mTalk | Applications Talk: Sylvain Paris WOSC | ||
14:00 30mTalk | Improving Parallelism of Recursive Stencil Algorithms without Sacrificing Cache Performance WOSC | ||
14:30 30mTalk | Applications Talk: Zalman Stern WOSC | ||
13:30 - 15:00 | |||
13:30 45mTalk | A Preview of Pencil Code PROMOTO | ||
14:15 45mTalk | Supporting situated STEM learning - TouchDevelop Integration of the UCL Engduino over Bluetooth PROMOTO Dean Mohamedally University College London | ||
13:30 - 15:00 | |||
13:30 45mTalk | High-Performance Language Interoperability in Multi-Language Runtimes Doctoral Symposium | ||
14:15 45mTalk | When Importless Becomes Meaningful: A Call for Tag-based Namespaces in Programming Languages Doctoral Symposium | ||
13:30 - 15:00 | |||
13:30 22mTalk | CAF - The C++ Actor Framework for Scalable and Resource-efficient Applications AGERE! | ||
13:52 22mTalk | An Automatic Actors to Threads Mapping Technique for JVM-based Actor Frameworks AGERE! | ||
14:15 22mTalk | Event-based Analysis of Timed Rebeca Models using SQL AGERE! | ||
14:37 22mTalk | Efficient TCTL Model Checking Algorithm for Timed Actors AGERE! | ||
13:30 - 15:00 | FOOF (Future of Object-Oriented Foundations)FOOL at Salon G Chair(s): Marco Servetto Victoria University of Wellington | ||
13:30 44mTalk | The Success, Failure, and Future of Distributed Objects FOOL File Attached | ||
14:15 45mTalk | A Simple, Symmetric, Subjective Foundation for Object-, Aspect- and Context-Oriented Programming FOOL Harold Ossher IBM Research, David Ungar IBM Research, Doug Kimelman IBM Research, I: James Noble Victoria University of Wellington File Attached | ||
13:30 - 15:00 | |||
13:30 30mTalk | A Common Core for Language Tools DSLDI Gabriël Konat Delft University of Technology, Vlad Vergu TU Delft, Guido Wachsmuth Delft University of Technology, Eelco Visser Delft University of Technology | ||
14:00 30mTalk | Composable Syntax Macros DSLDI | ||
14:30 30mTalk | SMAST: Constructing Languages for Multi-Disciplinary Engineering Problems DSLDI | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Afternoon Break Catering | ||
15:30 - 17:00 | |||
15:30 90mMeeting | Informal Meeting Space Administration | ||
15:30 - 17:00 | |||
15:30 70mTalk | Panel: The Future of Optimizing Stencils: Real Problems, Red Herrings & Solved Issues WOSC | ||
16:40 20mTalk | Closing Remarks WOSC | ||
15:30 - 17:00 | |||
15:30 30mTalk | Data-Driven Inference of API Mappings PROMOTO | ||
16:00 30mTalk | Mobile vs. Desktop Programming Projects: The Effect on Students PROMOTO Matthias Hauswirth University of Lugano | ||
16:30 30mTalk | Panel on Mobile Computing and Education PROMOTO Judith Bishop Microsoft Research, Matthias Hauswirth University of Lugano, Dean Mohamedally University College London, Alberto Sillitti Free University of Bolzano | ||
15:30 - 17:00 | |||
15:30 45mTalk | Structured Editing for HCI Metacomputing Universal Syntax and Deconstructible User Interfaces Doctoral Symposium | ||
16:15 45mTalk | Discussion and Wrap Up Doctoral Symposium | ||
15:30 - 17:00 | |||
15:30 15mTalk | Savina - An Actor Benchmark Suite AGERE! | ||
15:45 5mTalk | Composita: Bringing Order to Agent Communications AGERE! | ||
15:50 5mTalk | Modular Reasoning in Capsule AGERE! | ||
15:55 5mTalk | Supporting Relative Location Constraints in Actor Systems AGERE! | ||
16:00 55mMeeting | Brainstorming & Discussion AGERE! | ||
16:55 5mDay closing | Closing AGERE! | ||
15:30 - 17:00 | |||
15:30 90mTalk | Extensibilty for the masses FOOL William Cook UT Austin File Attached | ||
15:30 - 17:00 | |||
15:30 30mTalk | A Rationale for Faust Design Decisions DSLDI | ||
16:00 60mDay closing | Group Discussion/Panel: DSL tooling - Where are we now and where we are headed? DSLDI | ||
18:00 - 21:00 | |||
18:00 3hDinner | Welcome Reception Social Events | ||
Tue 21 OctDisplayed time zone: Tijuana, Baja California change
Tue 21 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 90mMeeting | Informal Meeting Space Administration | ||
08:30 - 10:00 | |||
08:30 30mDay opening | Welcome and Opening ETX Jan S. Rellermeyer IBM Research | ||
09:00 60mTalk | Invited Talk: Anish Karmarkar (Oracle) ETX Anish Karmarkar Oracle | ||
08:30 - 10:00 | |||
08:30 45mTalk | Welcome and Introduction of First Keynote PSP | ||
09:15 45mTalk | Keynote 1: Stephen Chong PSP | ||
08:30 - 10:00 | |||
08:30 30mDay opening | Meet, Greet, and Caffeinate SPLASH-E | ||
09:00 30mTalk | Talk on the CORGIS Big-Data Framework and the MUSIC model for assessing student motivation SPLASH-E Austin Cory Bart Virginia Tech, Jason Riddle Virginia Tech, Omar Saleem Virginia Tech, Bushra Chowdhury Virginia Tech, Eli Tilevich Virginia Tech, Cliff Shaffer Virginia Tech, Dennis Kafura Virginia Tech File Attached | ||
09:30 30mTalk | The Gidget Tool for Learning Programming SPLASH-E | ||
08:30 - 10:00 | Invited Speaker: Michael Pradel - Session ASEPS at Salon B Chair(s): Ali Jannesari Technical University of Darmstadt | ||
08:30 10mTalk | Opening and Welcome SEPS | ||
08:40 60mTalk | Invited Talk: Automatic and Precise Program Analyses for Reliable and Efficient Concurrency SEPS Michael Pradel University of California, Berkeley, USA | ||
09:40 20mTalk | Lighthouse: A User-Centered Web Service for Linear Algebra Software SEPS | ||
08:30 - 10:00 | |||
08:30 22mTalk | Welcome and Introduction DSM | ||
08:52 22mTalk | A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation DSM | ||
09:15 22mTalk | Generating Code using Reflection in the Context of Computer-assisted Legacy System Analyses and Reengineering DSM | ||
09:37 22mTalk | Omniscient Debugging for Model Transformations DSM | ||
08:30 - 10:00 | Invited Speaker: Josh BlochPLATEAU at Salon D Chair(s): Craig Anslow University of Calgary, Thomas LaToza University of California, Irvine, Joshua Sunshine Carnegie Mellon University | ||
08:30 30mOther | Welcome and Introductions PLATEAU | ||
09:00 60mTalk | Invited Speaker: A Brief, Opinionated History of the API PLATEAU | ||
08:30 - 10:00 | |||
08:30 10mTalk | Opening MobileDeLi | ||
08:40 35mTalk | The 3 questions every enterprise mobile application developer should ask MobileDeLi | ||
09:15 15mTalk | Reducing Attack Surface on Hybrid Mobile Apps MobileDeLi | ||
09:30 30mTalk | Helping Children Eat Well Via Mobile Software MobileDeLi | ||
08:30 - 10:00 | Keynote: Evan Czaplicki with ElmREBLS at Salon H Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel, Patrick Eugster Purdue University, Guido Salvaneschi TU Darmstadt, Lukasz Ziarek State University of New York (SUNY) Buffalo | ||
08:30 90mTalk | Elm: Functional Reactive Programming for Front-End Applications REBLS | ||
08:30 - 10:00 | Invited paper and technical paper session 1DLS at Salon I Chair(s): Laurence Tratt King's College London | ||
08:30 60mTalk | Invited talk: Why do we know so little about programming languages, and what would have happened if we had known more? DLS Stefan Hanenberg University of Duisburg-Essen | ||
09:30 20mTalk | Scriptable Operating Systems with Lua DLS Lourival Vieira Neto The NetBSD Foundation, Roberto Ierusalimschy PUC-Rio, Ana Lúcia de Moura , Marc Balmer | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Morning Break Catering | ||
10:30 - 12:00 | |||
10:30 90mMeeting | Informal Meeting Space Administration | ||
10:30 - 12:00 | |||
10:30 30mTalk | The Eclipse Runtime Perspective for Object-Oriented Code Exploration and Program Comprehension ETX Marwan Abi-Antoun Wayne State University, Andrew Giang Wayne State University, Sumukhi Chandrashekar Wayne State University, Ebrahim Khalaj Wayne State University | ||
11:00 30mTalk | Encouraging privacy by design concepts with privacy Policy Auto-Generation in Eclipse (PAGE) ETX | ||
11:30 30mTalk | PermitMe: Integrating Android Permissioning Support in the IDE ETX Emmanuel Bello-Ogunu University of North Carolina Charlotte, Mohammed Shehab University of North Carolina Charlotte | ||
10:30 - 12:00 | |||
10:30 35mTalk | Idea Garden: Helping End-User Programmers Help Themselves SPLASH-E William Jernigan Oregon State University | ||
11:05 15mTalk | Discussion on motivation, errors, and supporting new programmers SPLASH-E | ||
11:20 20mTalk | Discussion on scaling software courses to large numbers of students SPLASH-E | ||
11:40 20mTalk | Impromptu topics SPLASH-E | ||
10:30 - 12:00 | |||
10:30 50mTalk | Invited Talk: Dependence Programing with CnC SEPS | ||
11:20 20mTalk | Consideration of loop parallelization on heterogeneous multicore architecture using path and data dependence profiling SEPS | ||
11:40 20mTalk | Discovering Parallelization Opportunities in Sequential Programs - A Closer-to-Complete Solution SEPS P: Rohit Atre , A: Zhen Li , A: Ali Jannesari Technical University of Darmstadt, A: Felix Wolf German Research School for Simulation Sciences - RWTH Aachen University | ||
10:30 - 12:00 | |||
10:30 30mTalk | Development of Modelling Frameworks and Viewpoints with Kitalpha DSM | ||
11:00 30mTalk | Design of a Domain-Specific Language for Material Flow Analysis using Microsoft DSL tools: An Experience Paper DSM | ||
11:30 30mTalk | Mapping-Based Exchange of Models Between Meta-Modeling Tools DSM | ||
10:30 - 12:00 | |||
10:30 22mTalk | Asking and Answering Questions during a Programming Change Task in Pharo Language PLATEAU File Attached | ||
10:52 22mTalk | EUKLAS: Supporting Copy-and-Paste Strategies for Integrating Example Code PLATEAU Christian Doerner Senacor Technologies AG, Andrew Faulring Carnegie Mellon University , Brad A. Myers Carnegie Mellon University File Attached | ||
11:15 22mTalk | Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers PLATEAU Roxane Koitz-Hristov Graz University of Technology, Wolfgang Slany Institute of Software Technology, Graz University of Technology File Attached | ||
11:37 22mTalk | Usability and Suitability Survey of Features in Visual IDEs for Non-Programmers PLATEAU Jean Michel Rouly George Mason University, Jonathan Orbeck University of Alabama, Eugene Syriani University of Montreal File Attached | ||
10:30 - 12:00 | |||
10:30 25mTalk | Invited Talk: Integrating Security, Analytics and Application Management into the Mobile Development Lifecycle MobileDeLi | ||
10:55 25mTalk | Wearable-based mobile app for decision making: The case of a safe workplace MobileDeLi | ||
11:20 40mTalk | Panel: How Mobile affects Business Processes? : The Research Perspective MobileDeLi | ||
10:30 - 12:00 | |||
10:30 30mTalk | Structured Reactive Programming with Céu REBLS | ||
11:00 30mTalk | Taking Back Control (Flow) of Reactive Programming REBLS | ||
11:30 30mTalk | Optimizing Distributed REScala REBLS | ||
10:30 - 12:00 | |||
10:30 20mTalk | Abstracting Abstract Control DLS | ||
10:50 20mTalk | Contracts for Domain-Specific Languages in Ruby DLS | ||
11:10 20mTalk | Sweeten Your JavaScript: Hygienic Macros for ES5 DLS | ||
11:30 20mTalk | Design and Evaluation of Gradual Typing for Python DLS | ||
13:30 - 15:00 | |||
13:30 90mMeeting | Informal Meeting Space Administration | ||
13:30 - 15:00 | |||
13:30 60mTalk | Invited Talk: Tamás Szabó (itemis AG) ETX Tamás Szabó itemis | ||
14:30 30mDemonstration | Open Demos ETX | ||
13:30 - 15:00 | |||
13:30 45mTalk | Keynote 2: Caspar Bowden PSP | ||
14:15 45mTalk | Lucas Waye. "Privacy Integrated Data Stream Queries" PSP | ||
13:30 - 15:00 | |||
13:30 30mTalk | An Experience Report at Teaching Group Based Agile Software Engineering Teams SPLASH-E | ||
14:00 30mTalk | Feedback on Course Design: Project-based software engineering education in an evening master's program SPLASH-E Yadran Eterovic Pontificia Universidad Catlica de Chile | ||
14:30 30mTalk | Open Discussion (around course designs) SPLASH-E | ||
13:30 - 15:00 | |||
13:30 50mTalk | Invited Talk: Applying Software Engineering Principles to Computational Science SEPS Jeff Carver University of Alabama | ||
14:20 20mTalk | Critical-Blame Analysis for OpenMP 4.0 Offloading on Intel Xeon Phi SEPS | ||
14:40 20mTalk | A Parallelization Approach for Resource Restricted Embedded Heterogeneous MPSoCs Inspired by OpenMP SEPS | ||
13:30 - 15:00 | |||
13:30 30mTalk | Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems DSM | ||
14:00 30mTalk | SenseDSL: Automating the Integration of Sensors for MCU-based Robots and Cyber-Physical Systems DSM | ||
14:30 30mTalk | Group Work Initial Discussion DSM | ||
13:30 - 15:00 | |||
13:30 25mTalk | How Developers Use Data Race Detection Tools PLATEAU File Attached | ||
13:55 15mTalk | Research.js: Evaluating Your Research on the Web PLATEAU Joel Galenson University of California, Berkeley and Qualcomm Research, Cindy Rubio-González University of California, Berkeley, Sarah E. Chasins University of California, Berkeley, Liang Gong University of California, Berkeley File Attached | ||
14:10 15mTalk | Supporting Social Interactions and Awareness in Educational Programming Environments PLATEAU File Attached | ||
14:25 35mTalk | Invited Talk: How Do API Documentation and Static Typing Affect API Usability? PLATEAU | ||
13:30 - 15:00 | |||
13:30 20mTalk | Contextion: A Framework for Developing Context-Aware Mobile Applications MobileDeLi | ||
13:50 20mTalk | Invited Talk: Rapidly Prototyping Apps for Mobile Cloud-Connected Devices MobileDeLi Nikolai Tillmann Microsoft Research | ||
14:10 25mTalk | Invited Talk: TouchGuru - Integrating Static Analysis with a Mobile Development Environment MobileDeLi | ||
14:35 25mTalk | Invited Talk: User Feedback in Mobile Development MobileDeLi Bernd Bruegge Technische Universität München | ||
13:30 - 15:00 | |||
13:30 20mTalk | SqueakJS - A Modern and Practical Smalltalk That Runs in Any Browser DLS Bert Freudenberg CDG Labs, Dan Ingalls , Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Tobias Pape Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI | ||
13:50 20mTalk | ACDC-JS: Explorative Benchmarking of JavaScript Memory Management DLS Martin Aigner University of Salzburg, Thomas Hütter , Christoph Kirsch , Alexander Miller , Hannes Payer , Mario Preishuber | ||
14:10 20mTalk | Dynamic Page Sharing Optimization for the R Language DLS Helena Kotthaus Department of Computer Science 12, TU Dortmund University, Ingo Korb , Michael Engel , Peter Marwedel | ||
14:30 20mTalk | Using JavaScript and WebCL for Numerical Computations: A Comparative Study of Native and Web Technologies DLS Faiz Khan , Vincent Foley-Bourgon , Sujay Kathrotia , Erick Lavoie McGill University, Laurie Hendren McGill University | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Afternoon Break Catering | ||
15:30 - 17:00 | |||
15:30 90mMeeting | Informal Meeting Space Administration | ||
15:30 - 17:00 | |||
15:30 60mOther | Open Discussion ETX | ||
16:30 15mDay closing | Closing ETX Jan S. Rellermeyer IBM Research | ||
15:30 - 17:00 | |||
15:30 30mAwards | Best Paper Award PSP | ||
16:00 30mTalk | PANEL: Security and Privacy in Programming PSP | ||
16:30 30mTalk | Next Steps PSP | ||
15:30 - 17:00 | |||
15:30 30mTalk | Using Catrobat, a Scratch-like visual programming language for smartphones, in a middle school physics course SPLASH-E Wolfgang Slany Institute of Software Technology, Graz University of Technology , Roxane Koitz-Hristov Graz University of Technology | ||
16:00 30mTalk | yaPOSH: Engineering Behaviors for Videogame Characters SPLASH-E Jakub Gemrot Faculty of Mathematics and Physics, Charles University in Prague, Martin Černý Faculty of Mathematics and Physics, Charles University in Prague, Cyril Brom Faculty of Mathematics and Physics, Charles University in Prague | ||
16:30 15mTalk | Open Discussion (around drag-and-drop language design) SPLASH-E | ||
16:45 15mMeeting | Business Meeting SPLASH-E | ||
15:30 - 17:00 | |||
15:30 20mTalk | Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations SEPS A: Christopher Earl University of Utah, A: Matthew Might University of Utah , A: Abhishek Bagusetty , A: James C. Sutherland University of Utah | ||
15:50 20mTalk | Characterizing the Energy Efficiency of Java's Thread-Safe Collections in a Multi-Core Environment SEPS | ||
16:10 20mTalk | Resource-Based Transaction Management for Best-Effort Hardware Transactional Memory SEPS | ||
16:30 20mTalk | On Scaling Dynamic Programming Problems with a Multithreaded Tabling System SEPS | ||
16:50 10mTalk | Closing Remarks SEPS | ||
15:30 - 17:00 | |||
15:30 45mTalk | Group Work on selected topics DSM | ||
16:15 45mTalk | Group work reporting DSM | ||
15:30 - 17:00 | |||
15:30 22mTalk | Wyvern: Impacting Software Security via Programming Language Design PLATEAU Darya Melicher Carnegie Mellon University, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University File Attached | ||
15:52 22mTalk | Considering Productivity Effects of Explicit Type Declarations PLATEAU Michael Coblenz Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University File Attached | ||
16:15 22mTalk | Usability Hypotheses in the Design of Plaid PLATEAU File Attached | ||
16:37 22mOther | Group Activity PLATEAU | ||
15:30 - 17:00 | |||
15:30 90mTalk | Activity: Hands-on Integrating Mobile to your Business Process MobileDeLi | ||
15:30 - 17:00 | |||
15:30 45mTalk | Alea Reactive Dataflow: GPU Parallelization Made Simple REBLS | ||
16:15 45mDay closing | Plenary session REBLS | ||
15:30 - 17:00 | |||
15:30 20mTalk | Typed Objects in JavaScript DLS | ||
15:50 20mTalk | Object Versioning to Support Recovery Needs: Using Proxies to Preserve Previous Development States in Lively DLS Bastian Steinert Hasso Plattner Institute, Lauritz Thamsen , Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI | ||
16:10 20mTalk | Dynamic Detection of Object Capability Violations Through Model Checking DLS | ||
16:30 20mTalk | On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk DLS Oscar Callaú University of Chile, Romain Robbes , Éric Tanter University of Chile, David Röthlisberger , Alexandre Bergel | ||
Wed 22 OctDisplayed time zone: Tijuana, Baja California change
Wed 22 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 90mMeeting | Informal Meeting Space Administration | ||
08:30 - 10:00 | |||
08:30 90mTalk | Keynote: Software Security - A Study in Technology Transfer Keynotes Link to publication | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Morning Break Catering | ||
10:30 - 12:00 | |||
10:30 90mMeeting | Informal Meeting Space Administration | ||
10:30 - 12:00 | |||
10:30 22mTalk | Programming with Managed Time Onward! Papers | ||
10:52 23mTalk | Call by Meaning Onward! Papers Hesam Samimi SAP Labs, Chris Deaton Cycorp, Yoshiki Ohshima Viewpoints Research Institute, Alessandro Warth SAP Labs, Todd Millstein University of California, Los Angeles | ||
11:15 22mTalk | Versionable, Branchable, and Mergeable Application State Onward! Papers | ||
11:37 23mTalk | The Semantics of Version Control Onward! Papers | ||
10:30 - 12:00 | |||
10:30 22mTalk | Checking Correctness of TypeScript Interfaces for JavaScript Libraries OOPSLA Link to publication | ||
10:52 22mTalk | Determinacy in Static Analysis for jQuery OOPSLA Link to publication | ||
11:15 22mTalk | EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation OOPSLA Michael Pradel University of California, Berkeley, USA, Parker Schuh University of California, Berkeley, George Necula University of California, Berkeley, Koushik Sen University of California, Berkeley Link to publication | ||
11:37 22mTalk | Using Web Corpus Statistics for Program Analysis OOPSLA Chun-Hung Hsiao University of Michigan, Michael Cafarella University of Michigan, Satish Narayanasamy University of Michigan Link to publication | ||
10:30 - 12:00 | |||
10:30 22mTalk | Tardis: Affordable Time-Travel Debugging in Managed Runtimes OOPSLA Link to publication | ||
10:52 22mTalk | Phosphor: Illuminating Dynamic Data Flow in Commodity JVMs OOPSLA Link to publication Media Attached | ||
11:15 22mTalk | Rubah: DSU for Java on a stock JVM OOPSLA Luís Pina Technical University of Lisbon / INESC-ID, Luís Veiga INESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Michael Hicks University of Maryland, College Park Link to publication | ||
11:37 22mTalk | Fast Conservative Garbage Collection OOPSLA Rifat Shahriyar Australian National University, Steve Blackburn Australian National University , Kathryn S McKinley Microsoft Research Link to publication | ||
10:30 - 12:00 | |||
10:30 90mTalk | QA to AQ: Shifting from Quality Assurance to Agile Quality Tutorials Joe Yoder The Refactory, Inc. | ||
10:30 - 12:00 | |||
10:30 90mTalk | Rust - Zero-cost safety Tutorials Nicholas Matsakis Mozilla Corporation | ||
12:00 - 13:30 | |||
12:00 90mMeeting | SPLASH Steering Committee Meeting Administration | ||
13:00 - 13:40 | |||
13:00 40mTalk | Demo 1: Pocket Code - IDE for your Phone Demos Wolfgang Slany Institute of Software Technology, Graz University of Technology | ||
13:30 - 15:00 | |||
13:30 90mMeeting | Informal Meeting Space Administration | ||
13:30 - 15:00 | |||
13:30 45mTalk | In search of types Onward! Essays Stephen Kell University of Cambridge | ||
14:15 45mTalk | Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language Onward! Essays Mathieu Acher University of Rennes, Benoit Combemale University of Rennes, Philippe Collet University of Nice Media Attached | ||
13:30 - 15:00 | |||
13:30 22mTalk | Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host OOPSLA Eric Holk Indiana University, Ryan R. Newton Indiana University, Jeremy G. Siek , Andrew Lumsdaine Indiana University Link to publication | ||
13:52 22mTalk | Smten with Satisfiability-Based Search OOPSLA Link to publication | ||
14:15 22mTalk | StreamJIT: A Commensal Compiler for High-Performance Stream Programming OOPSLA Jeffrey Bosboom MIT CSAIL, Sumanaruban Rajadurai National University of Singapore, Weng-Fai Wong National University of Singapore, Saman Amarasinghe MIT Link to publication | ||
14:37 22mTalk | SurveyMan: Programming and Automatically Debugging Surveys OOPSLA Emma Tosch University of Massachusetts, Amherst, Emery D. Berger University of Massachusetts, Amherst Link to publication File Attached | ||
13:30 - 15:00 | |||
13:30 90mOther | Privacy and Security in a Networked World Panels M: Steven D. Fraser Independent Consultant, P: Djenana Campara KDM Analytics, P: Michael Fanning Microsoft, P: Gary McGraw Cigital, P: Kevin Sullivan University of Virginia | ||
13:30 - 15:00 | |||
13:30 90mTalk | Towards Language Composition Tutorials Laurence Tratt King's College London | ||
13:30 - 15:00 | |||
13:30 90mTalk | Coccinelle for the Working Programmer Tutorials Julia Lawall LIP6 | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Afternoon Break Catering | ||
15:30 - 17:00 | |||
15:30 90mMeeting | Informal Meeting Space Administration | ||
15:30 - 17:00 | |||
15:30 90mAwards | SPLASH Awards Awards | ||
18:00 - 21:00 | SPLASH Poster ReceptionPosters at Exhibit Hall Chair(s): K R Jayaram IBM Research, USA, Nick Sumner Simon Fraser University | ||
18:00 3hTalk | Searching for Answers: An Exploratory Study of the Formation, Use, and Impact of Queries During Debugging Posters | ||
18:00 3hTalk | Enhancing Conformance Checking for Contract-Based Programs Posters | ||
18:00 3hTalk | Self-Adaptive Parallel Programming Through Tunable Concurrency Posters | ||
18:00 3hTalk | HJ-Viz: A New Tool for Visualizing, Debugging and Optimizing Parallel Programs Posters Peter Elmers Rice University, Hongyu Li Rice University, Shams Imam Rice University, Vivek Sarkar Rice University | ||
18:00 3hTalk | Detecting Design Similarity Patterns Using Program Execution Traces Posters | ||
18:00 3hTalk | Taming the Dynamic Behavior of JavaScript Posters | ||
20:00 - 22:00 | SPLASH 2015 OC MeetingAdministration at Salon C Chair(s): Jonathan Aldrich Carnegie Mellon University | ||
20:00 60mMeeting | SPLASH 2015 Organizing Committee Meeting Administration | ||
Thu 23 OctDisplayed time zone: Tijuana, Baja California change
Thu 23 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 90mMeeting | Informal Meeting Space Administration | ||
08:30 - 10:00 | |||
08:30 90mTalk | Keynote: Machine Learning for Programming Keynotes Link to publication Media Attached | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Morning Break Catering | ||
10:30 - 12:00 | |||
10:30 90mMeeting | Informal Meeting Space Administration | ||
10:30 - 12:00 | |||
10:30 22mTalk | Multi-tier Functional Reactive Programming for the Web Onward! Papers Bob Reynders iMinds - Distrinet, KU Leuven, Dominique Devriese iMinds - Distrinet, KU Leuven, Frank Piessens iMinds - Distrinet, KU Leuven | ||
10:52 22mTalk | Towards Tierless Programming in a General-Purpose Language Onward! Papers Laure Philips Software Languages Lab, Coen De Roover Software Languages Lab, Software Engineering Laboratory, Tom Van Cutsem Alcatel-Lucent Bell Labs, Wolfgang De Meuter Vrije Universiteit Brussel | ||
11:15 22mTalk | Capturing and Exploiting IDE Interactions Onward! Papers Zhongxian Gu UC Davis, Drew Schleck UC Davis, Earl T. Barr University College London, Zhendong Su University of California, Davis | ||
11:37 22mTalk | A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs Onward! Papers Eelco Visser Delft University of Technology, Guido Wachsmuth Delft University of Technology, Andrew Tolmach Portland State University, Pierre Neron TU Delft, Vlad Vergu TU Delft, Augusto Passalaqua TU Delft, Gabriël Konat Delft University of Technology Media Attached | ||
10:30 - 12:00 | SRC PresentationsStudent Research Competition at Salon C Chair(s): Işıl Dillig University of Texas, Austin, Sam Guyer Tufts University | ||
10:30 - 12:00 | |||
10:30 22mTalk | Rate Types for Stream Programs OOPSLA Link to publication File Attached | ||
10:52 22mTalk | Foundations of Path-Dependent Types OOPSLA Nada Amin EPFL, Tiark Rompf Purdue & Oracle Labs, Martin Odersky Ecole Polytechnique Federale de Lausanne Link to publication File Attached | ||
11:15 22mTalk | Confined Gradual Typing OOPSLA Esteban Allende , Johan Fabry University of Chile, Ronald Garcia University of British Columbia, Éric Tanter University of Chile Link to publication | ||
11:37 22mTalk | Refactoring Java Generics by Inferring Wildcards, In Practice OOPSLA Link to publication File Attached | ||
10:30 - 12:00 | |||
10:30 22mTalk | Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler OOPSLA Florian David LIP6-UPMC/INRIA, Gaël Thomas LIP6-UPMC/INRIA, Julia Lawall LIP6, Gilles Muller LIP6-INRIA/UPMC Link to publication | ||
10:52 22mTalk | Chisel: Reliability-Aware Optimization of Approximate Computational Kernels OOPSLA Link to publication | ||
11:15 22mTalk | An Experimental Survey of Energy Management Across the Stack OOPSLA Link to publication | ||
11:37 22mTalk | Understanding Energy Behaviors of Thread Management Constructs OOPSLA Gustavo Pinto Federal University of Pernambuco, Fernando Castor UFPE, Yu David Liu State University of New York (SUNY) Binghamton Link to publication | ||
10:30 - 12:00 | |||
10:30 90mTalk | One VM to Rule Them All Tutorials Christian Wimmer Oracle Labs | ||
10:30 - 12:00 | |||
10:30 90mTalk | Hardware Design for Software Developers Using Liquid Metal Tutorials | ||
10:30 - 12:00 | |||
10:30 90mTalk | Panel: East Meets West — the Influences of Geography on Software Production Wavefront Steven D. Fraser Independent Consultant, Dennis Mancl Alcatel-Lucent, Aki Namioka Marchex, Roberto Salama Millennium Partners, Allen Wirfs-Brock Mozilla Corporation | ||
12:00 - 13:30 | |||
12:00 90mMeeting | Onward! Steering Committee Meeting Administration | ||
12:00 - 13:30 | |||
12:00 49h30mLunch | Women's Lunch - Google Social Events | ||
13:00 - 13:40 | |||
13:00 40mTalk | Demo 2: OMEN - A Tool for Synthesizing Tests for Deadlock Detection Demos Malavika Samak Indian Institute of Science, Bangalore, Murali Krishna Ramanathan Indian Institute of Science, Bangalore | ||
13:30 - 15:00 | |||
13:30 90mMeeting | Informal Meeting Space Administration | ||
13:30 - 15:00 | |||
13:30 45mTalk | Coverage and Its Discontents Onward! Essays Alex Groce Oregon State University, Amin Alipour Oregon State University, Rahul Gopinath Oregon State University | ||
14:15 45mTalk | Getting to Flow in Software Development Onward! Essays Gail Murphy University of British Columbia | ||
13:30 - 15:00 | |||
13:30 22mTalk | Distributed REScala: An Update Algorithm for Distributed Reactive Programming OOPSLA Joscha Drechsler Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt, A: Ragnar Mogk Technische Universität Darmstadt, A: Mira Mezini Technical University of Darmstadt Link to publication | ||
13:52 22mTalk | From Object Algebras to Attribute Grammars OOPSLA Tillmann Rendel University of Marburg, Jonathan Immanuel Brachthäuser University of Marburg, Klaus Ostermann University of Marburg Link to publication | ||
14:15 22mTalk | Late Data Layout: Unifying Data Representation Transformations OOPSLA Link to publication | ||
14:37 22mTalk | i3QL: Language-Integrated Live Data Views OOPSLA Ralf Mitschke Technical University of Darmstadt, Sebastian Erdweg TU Darmstadt, Mirko Köhler Technical University of Darmstadt, Mira Mezini Technical University of Darmstadt, Guido Salvaneschi TU Darmstadt Link to publication | ||
13:30 - 15:00 | |||
13:30 22mTalk | Atlas: Leveraging Locks for Non-volatile Memory Consistency OOPSLA Link to publication | ||
13:52 22mTalk | Fast Splittable Pseudorandom Number Generators OOPSLA Guy L. Steele Jr. Oracle Labs, Doug Lea State University of New York (SUNY) Oswego, Christine H. Flood Red Hat Link to publication | ||
14:15 22mTalk | Multithreaded Test Synthesis for Deadlock Detection OOPSLA Malavika Samak Indian Institute of Science, Bangalore, Murali Krishna Ramanathan Indian Institute of Science, Bangalore Link to publication | ||
14:37 22mTalk | Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts OOPSLA Tom Bergan University of Washington, Dan Grossman University of Washington, Luis Ceze University of Washington Link to publication | ||
13:30 - 15:00 | |||
13:30 90mTalk | Software Engineering for Mobile Development: Best Practices, Anti-patterns, Tools, and Techniques Tutorials Aharon Abadi IBM Research | ||
13:30 - 15:00 | |||
13:30 90mTalk | Invited Talk: Avoiding the software development apocalypse through continuous build and test Wavefront Eric Forsberg Mentor Graphics Corporation | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Afternoon Break Catering | ||
15:30 - 17:00 | |||
15:30 90mMeeting | Informal Meeting Space Administration | ||
15:30 - 17:00 | |||
15:30 22mTalk | Korz: Simple, Symmetric, Subjective,
Context-Oriented Programming Onward! Papers | ||
15:52 22mTalk | Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages Onward! Papers Boris Spasojevic University of Bern, Switzerland, Mircea Lungu University of Bern, Switzerland, Oscar Nierstrasz University of Bern, Switzerland DOI Pre-print | ||
16:15 22mTalk | Description Logic as Programming Language Onward! Papers James Skene Auckland University of Technology | ||
16:37 22mTalk | It's only illegal if you get caught Onward! Papers | ||
15:30 - 17:00 | |||
15:30 22mTalk | CheckCell: Data Debugging for Spreadsheets OOPSLA Dan Barowy University of Massachusetts, Amherst, Dimitar Gochev University of Massachusetts, Amherst, Emery D. Berger University of Massachusetts, Amherst Link to publication | ||
15:52 22mTalk | Finding Minimum Type Error Sources OOPSLA Zvonimir Pavlinovic New York University, Tim King New York University, Thomas Wies New York University Link to publication File Attached | ||
16:15 22mTalk | Flint: Fixing Linearizability Violations OOPSLA Peng Liu Purdue University, Omer Tripp IBM Thomas J. Watson Research Center, Xiangyu Zhang Purdue University Link to publication | ||
16:37 22mTalk | Statistical Debugging for Real-World Performance Problems OOPSLA Link to publication | ||
15:30 - 17:00 | |||
15:30 22mTalk | Adaptive LL(*) Parsing: The Power of Dynamic Analysis OOPSLA Terence Parr University of San Francisco, Sam Harwell University of Texas at Austin, Kathleen Fisher Tufts University Link to publication File Attached | ||
15:52 22mTalk | Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring OOPSLA Milos Gligoric University of Illinois at Urbana-Champaign, Wolfram Schulte Microsoft, Chandra Prasad Microsoft, Danny van Velzen Microsoft, Iman Narasamdya Microsoft, Ben Livshits Microsoft Research Link to publication | ||
16:15 22mTalk | Mix10: Compiling MATLAB to X10 for High Performance OOPSLA Link to publication | ||
16:37 22mTalk | Staged Parser Combinators for Efficient Data Processing OOPSLA Manohar Jonnalagedda EPFL, Switzerland, Thierry Coppey EPFL, Switzerland; Google, Sandro Stucki EPFL, Switzerland, Tiark Rompf Purdue & Oracle Labs, Martin Odersky Ecole Polytechnique Federale de Lausanne Link to publication | ||
15:30 - 17:00 | |||
15:30 90mTalk | Exercises in Programming Style Tutorials Crista Lopes University of California, Irvine | ||
18:30 - 21:30 | |||
18:30 3hDinner | Conference Banquet Social Events | ||
Fri 24 OctDisplayed time zone: Tijuana, Baja California change
Fri 24 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 90mMeeting | Informal Meeting Space Administration | ||
08:30 - 10:00 | |||
08:30 90mTalk | Keynote: Humane Representation of Thought: A Trail Map for the 21st Century Keynotes Link to publication Media Attached | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Morning Break Catering | ||
10:30 - 12:00 | |||
10:30 90mMeeting | Informal Meeting Space Administration | ||
10:30 - 12:00 | Session the FourthOnward! Papers at Salon A Chair(s): Emery D. Berger University of Massachusetts, Amherst | ||
10:30 22mTalk | Phrase-Based Statistical Translation of Programming Languages Onward! Papers | ||
10:52 22mTalk | Interleaving of Modification and Use in Data-driven Tool Development Onward! Papers Marcel Taeumel Hasso Plattner Institute, Michael Perscheid Hasso Plattner Institute, Bastian Steinert Hasso Plattner Institute, Jens Lincke Hasso Plattner Institute, Robert Hirschfeld HPI | ||
11:15 22mTalk | Unifying Textual and Visual: a Theoretical Account of the Visual Perception of Programming Languages Onward! Papers Stéphane Conversy University of Toulouse - ENAC | ||
11:37 22mTalk | Variational Data Structures: Exploring Tradeoffs in Computing with Variability Onward! Papers Eric Walkingshaw University of Marburg, Christian Kästner Carnegie Mellon University, Martin Erwig Oregon State University, Sven Apel University of Passau, Eric Bodden Fraunhofer SIT and TU Darmstadt | ||
10:30 - 12:00 | Specification and VerificationOOPSLA at Salon E Chair(s): Gary T. Leavens University of Central Florida | ||
10:30 22mTalk | Bounded Exhaustive Test Input Generation from Hybrid Invariants OOPSLA Nico Rosner Dept. of Computer Science FCEyN, University of Buenos Aires, Valeria Bengolea Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Shadi Abdul Khalek Google, Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Sarfraz Khurshid University of Texas at Austin Link to publication | ||
10:52 22mTalk | Compiler Verification Meets Cross-Language Linking via Data Abstraction OOPSLA Link to publication | ||
11:15 22mTalk | GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation OOPSLA Link to publication | ||
11:37 22mTalk | Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants OOPSLA Ankush Desai University of California, Berkeley, Pranav Garg University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign Link to publication | ||
10:30 - 12:00 | |||
10:30 22mTalk | Accelerating Iterators in Optimizing AST Interpreters OOPSLA Wei Zhang University of California, Irvine, Per Larsen University of California, Irvine, Stefan Brunthaler University of California, Irvine, Michael Franz University of California, Irvine Link to publication | ||
10:52 22mTalk | Call Sequence Prediction through Probabilistic Calling Automata OOPSLA Zhijia Zhao College of William and Mary / North Carolina State University, Bo Wu College of William and Mary, Mingzhou Zhou College of William and Mary, Yufei Ding College of William and Mary, Jianhua Sun College of William and Mary, Xipeng Shen North Carolina State University, Youfeng Wu Intel Corporation Link to publication | ||
11:15 22mTalk | Space-Efficient Multi-Versioning for Input-Adaptive Feedback-Driven Program Optimizations OOPSLA Mingzhou Zhou College of William and Mary, Xipeng Shen North Carolina State University, Yaoqing Gao IBM Toronto Labs, Graham Yiu IBM Toronto Labs Link to publication | ||
11:37 22mTalk | The HipHop Virtual Machine OOPSLA Keith Adams Facebook, Jason Evans Facebook, Bertrand Maher Facebook, Guilherme Ottoni Facebook, Drew Paroski Facebook, Brett Simmers Facebook, Edwin Smith Facebook, Owen Yamauchi Facebook Link to publication | ||
10:30 - 12:00 | |||
10:30 90mTalk | Designing Programming Languages for People: Data-Driven Methods Tutorials | ||
10:30 - 12:00 | |||
10:30 90mTalk | Programming Distributed Algorithms Tutorials Y. Annie Liu Stony Brook University, Scott Stoller Stony Brook University, Bo Lin Stony Brook University | ||
10:30 - 12:00 | |||
10:30 90mTalk | Invited Talk: Design Goals of the Smallest Federated Wiki Wavefront Ward Cunningham New Relic Media Attached | ||
13:00 - 13:40 | |||
13:00 40mTalk | Demo 3: Agile Programming With Executable Models Demos | ||
13:30 - 15:00 | |||
13:30 90mMeeting | Informal Meeting Space Administration | ||
13:30 - 15:00 | |||
13:30 45mTalk | The Programming Language Wars Onward! Essays | ||
14:15 45mTalk | I Throw Itching Powder at Tulips Onward! Essays Richard P. Gabriel IBM Research, USA | ||
13:30 - 15:00 | |||
13:30 22mTalk | Validation of Memory Accesses Through Symbolic Analyses OOPSLA Henrique Nazaré Santos UFMG, Izabela Karennina Travizani Maffra UFMG, Willer Fernandes Santos UFMG, Leonardo Barbosa Oliveira UFMG, Laure Gonnord University of Lyon & LIP, France, Fernando Magno Quintão Pereira UFMG Link to publication | ||
13:52 22mTalk | Abstract Semantic Differencing via Speculative Correlation OOPSLA Link to publication | ||
14:15 22mTalk | Efficient Subcubic Alias Analysis for C OOPSLA Qirun Zhang The Hong Kong University of Science and Technology, A: Xiao Xiao The Hong Kong University of Science and Technology, A: Charles Zhang Hong Kong University of Science and Technology, A: Hao Yuan BOPU Technologies, A: Zhendong Su University of California, Davis Link to publication | ||
14:37 22mTalk | Static Analysis for Independent App Developers OOPSLA Lucas Brutschy ETH Zurich, Pietro Ferrara IBM Thomas J. Watson Research Center, Peter Müller ETH Zurich Link to publication | ||
13:30 - 15:00 | |||
13:30 90mTalk | Batteries Included: Generative Programming with Scala and LMS Tutorials | ||
15:00 - 17:00 | |||
15:00 26hBreak | Ice Cream Social Social Events | ||
15:30 - 17:00 | |||
15:30 90mMeeting | Informal Meeting Space Administration | ||