SPLASH 2013
Sat 26 - Thu 31 October 2013 Indianapolis, United States

The poster session provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community.

  1. The Yin and Yang of Heterogeneous Hardware: Can Software Survive?
    Kathryn S. McKinley, Microsoft, USA
  2. The Poor Man's Proof Assistant: Using Prolog to Develop Formal Language Theoretic Proofs
    Joey Eremondi, U Saskatchewan, Canada
  3. Dictionary-Base Query Recommendation for Local Code Search
    Xi Ge, North Carolina State U, USA
  4. A Screen-Oriented Representation for Mobile Applications
    Aharon Abadi, IBM, Israel
    Yishai A. Feldman, IBM, Israel
    Konstantin Shagin, IBM, Israel
  5. Hardware and Software Support for Fine-Grained Memory Access Control and Encapsulation in C++
    Eugen Leontie, George Washington U, USA
    Gedare Bloom, George Washington U, USA
    Rahul Simha, George Washington U, USA
  6. Source Code Management for Projectional Editing
    David H. Lorenz, Open U, Israel
    Boaz Rosenan, Open U, Israel
  7. Migration from Deprecated API in Java
    Roman Štrobl, Czech Technical U Prague, Czech Republic
    Zdenek Tronícek, Czech Technical U Prague, Czech Republic
  8. On Testing the Source Compatibility in Java
    Jan Hýbl, Czech Technical U Prague, Czech Republic
    Zdenek Tronícek, Czech Technical U Prague, Czech Republic
  9. Concurrent OOP with Agents
    Alessandro Ricci, U Bologna, Italy
    Andrea Santi, U Bologna, Italy
  10. PyLOM: A Language and Run-Time System for Planning Applications
    Scotty Smith, George Washington U, USA
    Gedare Bloom, George Washington U, USA
    Rahul Simha, George Washington U, USA
  11. Model-driven Generative Framework for Automated OMG DDS Performance Testing in the Cloud
    Kyoungho An, Vanderbilt U, USA
    Takayuki Kuroda, Vanderbilt U, USA
    Aniruddha Gokhale, Vanderbilt U, USA
    Sumant Tambe, Real-Time Innovations, USA
    Andrea Sorbini, Real-Time Innovations, USA
  12. On The Implications of Language Constructs for Concurrent Execution in the Energy Efficiency of Multicore Applications
    Gustavo Pinto, Federal U Pernambuco, Brazil
    Fernando Castor-Filho, Federal U Pernambuco, Brazil
  13. Open Pattern Matching for C++
    Yuriy Solodkyy, Texas A&M U, USA
    Gabriel Dos Reis, Texas A&M U, USA
    Bjarne Stroustrup, Texas A&M U, USA
  14. Isolation for Nested Task-Parallelism (OOPSLA'13 paper)
    Jisheng Zhao, Rice U, USA
    Roberto Lublinerman, Google, USA
    Zoran Budimlic, Rice U, USA
    Swarat Chaudhuri, Rice U, USA
    Vivek Sarkar, Rice U, USA
  15. Efficient Concurrency-Bug Detection Across Inputs (OOPSLA'13 paper)
    Dongdong Deng, U Wisconsin Madison, USA
    Wei Zhang, U Wisconsin Madison, USA
    Shan Lu, U Wisconsin Madison, USA
  16. Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels. (OOPSLA '13 paper)
    Nathan Chong, Imperial College London, UK
    Alastair Donaldson, Imperial College London, UK
    Paul H.J. Kelly, Imperial College London, UK
    Jeroen Ketema, Imperial College London, UK
    Shaz Qadeer, Microsoft, USA
  17. Blame Prediction
    Dries Harnie, Vrije U Brussel, Belgium
    Christophe Scholliers, Vrije U Brussel, Belgium
    Wolfgang De Meuter, Vrije U Brussel, Belgium
  18. Flexible Access Control Policies with Delimited Histories (OOPSLA '13 paper)
    Gregor Richards, Purdue U, USA
    Christian Hammer, Saarland U, Germany
    Suresh Jagannathan, Purdue U, USA
    Francesco Zappa Nardelli, INRIA, France
    Jan Vitek, Purdue U, USA
  19. Design Considerations in Developing a Mobile Application for Scalable and Decentralized Publish/Subscribe-based Weather Alert System
    Violetta Vylegzhanina, Vanderbilt U, USA
    David Harmon Brett, Vanderbilt U, USA
    Aniruddha Gokhale, Vanderbilt U, USA
  20. Turning Nondeterminism into Parallelism (OOPSLA '13 paper)
    Omer Tripp, Tel Aviv U, Israel
    Eric Koskinen, New York U, USA
    Mooly Sagiv, Tel Aviv U, Israel
  21. Investigating Preprocessor-Based Syntax Errors (GPCE '13 paper)
    Flávio Medeiros, Federal U Campina Grande, Brazil
    Màrcio Ribeiro , Federal U Alagoas, Brazil
    Rohit Gheyi, Federal U Campina Grande, Brazil
  22. Purely Visual and Hybrid Visual/Textual Formula Composition: A Usability Study Plan (PROMOTO Workshop paper)
    Annemarie Harzl, Graz U Technology, Austria
    Vesna Krnjic, Graz U Technology, Austria
    Franz Schreiner, Graz U Technology, Austria
    Wolfgang Slany, Graz U Technology, Austria
  23. A Scratch-like visual programming system for Microsoft Windows Phone 8 (PROMOTO Workshop paper)
    Annemarie Harzl, Graz U Technology, Austria
    Philipp Neidhöfer, Graz U Technology, Austria
    Valentin Rock, Graz U Technology, Austria
    Maximilian Schafzahl, Graz U Technology, Austria
    Wolfgang Slany, Graz U Technology, Austria
  24. All about the 'with' Statement in JavaScript: Removing 'with' Statements in JavaScript Applications (DLS '13 paper)
    Changhee Park, KAIST, South Korea
    Hongki Lee, KAIST, South Korea
    Sukyoung Ryu, KAIST, South Korea
  25. Supporting Large Scale Model Transformation Reuse (GPCE '13 paper)
    Fábio Basso, Federal U Rio de Janeiro, Brazil
    Raquel Pillat, Federal U Rio de Janeiro, Brazil
    Toacy C. Oliveira, Federal U Rio de Janeiro, Brazil
    Leandro B. Becker, Federal U Santa Catarina, Brazil
  26. On the Simplicity of Synthesizing Linked Data Structure Operations (GPCE '13 paper)
    Darya Kurilova, Carnegie Mellon U, USA
    Derek Rayside, U Waterloo, Canada
  27. TruSSCom – Proposal for Trustworthy Service Representation Selection and Negotiation for Integrating Software Systems (Doctoral Symposium)
    Lahiru Gallege, Indiana U - Purdue U Indianapolis (IUPUI), USA
    Dimithu Gamage, Indiana U - Purdue U Indianapolis (IUPUI), USA
    James H. Hill, Indiana U - Purdue U Indianapolis (IUPUI), USA
    Rajeev R. Raje, Indiana U - Purdue U Indianapolis (IUPUI), USA
  28. Model-driven Performance Estimation, Deployment, and Resource Management for Cloud-hosted Services (DSM'13 Workshop)
    Faruk Caglar, Vanderbilt U, USA
    Kyoungho An, Vanderbilt U, USA
    Shashank Shekhar, Vanderbilt U, USA
    Aniruddha Gokhale, Vanderbilt U, USA
  29. Evaluating Domain-Driven Architectural Designs for Windows Phone 8 Mobile Application (Workshop paper)
    Retta Shiferaw Siyoum, U Gothenberg, Sweden
    Mozhan Soltani, U Gothenberg, Sweden
  30. Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries (GPCE '13 paper)
    Georg Ofenbeck, ETH Zurich, Switzerland
    Tiark Rompf, EPFL, Switzerland
    Alen Stojanov, ETH Zurich, Switzerland
    Martin Odersky, EPFL, Switzerland
    Markus Püschel, ETH Zürich, Switzerland
  31. Evaluating Domain-Driven Architectural Designs for Windows Phone 8 Mobile Applications
    Retta Shiferaw Siyoum, U Gothenberg, Sweden
    Mozhan Soltani, U Gothenberg, Sweden
  32. MDE-based Sensor Management and Verification for a Self-Driving Miniature Vehicle (DSM'13 paper)
    Md Abdullah Al Mamun, Chalmers U Technology, Sweden
    Christian Berger, U Gothenberg, Sweden
    Jörgen Hansson, Chalmers U Technology, Sweden
  33. Touch-enabled Programming for the Lab of Things (PROMOTO '13 paper)
    Zheng Dong, Indiana U Bloomington, USA
    Arjmand Samuel, Microsoft, USA
  34. Scalable, Example-Based Refactorings with Refaster (WRT'13 paper)
    Louis Wasserman, Google, USA
  35. Automated Assessment of Students’ Testing Skills for Improving Correctness of Their Code (Doctoral Symposium)
    Zalia Shams, Virginia Tech, USA
  36. A Secure Play Store for Android
    Feng Shen, SUNY Buffalo, USA
  37. Madeup: A Mobile Development Environment for Programming 3-D Models (PROMOTO Workshop)
    Chris Johnson, U Wisconsin Eau Claire, USA
  38. Ball-Larus Path Profiling Across Multiple Loop Iterations (OOPSLA'13 paper)
    Daniele C. D'Elia, Sapienza U Rome, Italy
    Camil Demetrescu, Sapienza U Rome, Italy
  39. Improved Type Specialization for Dynamic Scripting Languages (DLS '13 paper)
    Madhukar Kedlaya, U California Santa Barbara, USA
    Jared Roesch, U California Santa Barbara, USA
    Behnam Robatmili, Qualcomm, USA
    Mehrdad Reshadi, Qualcomm, USA
    Ben Hardekopf, U California Santa Barbara, USA
  40. Type Refinement for Static Analysis of JavaScript (DLS '13 Paper)
    Vineeth Kashyap, U California Santa Barbara, USA
    John Sarracino, U California Santa Barbara & Harvey Mudd College, USA
    John Wagner, U California Santa Barbara, USA
    Ben Wiedermann, Harvey Mudd College, USA
    Ben Hardekopf, U California Santa Barbara, USA
  41. Transforming Introductory Computer Science Projects via Real-Time Web Data (SPLASH-E '13 paper)
    Austin Cory Bart, Virginia Tech, USA
    Eli Tilevich, Virginia Tech, USA
    Clifford A. Shaffer, Virginia Tech, USA
    Tony Allevato, Virginia Tech, USA
    Simin Hall, Virginia Tech, USA
  42. Parse Views with Boolean Grammars (Parsing@SLE '13)
    Andrew Stevenson, Queen's U, Canada
    James R. Cordy, Queen's U, Canada
  43. A Page Coherency Protocol for Popcorn Replicated-kernel Operating System (SPLASH MARC'13)
    Marina Sadini, Virginia Tech, USA
    Antonio Barbalace, Virginia Tech, USA
    Binoy Ravindran, Virginia Tech, USA
    Francesco Quaglia, Virginia Tech , USA
  44. Extensible Type-Driven Parsing for Embedded DSLs in Wyvern (Parsing @ SLE '13)
    Cyrus Omar, Carnegie Mellon U, USA
    Benjamin Chung, Carnegie Mellon U, USA
    Darya Kurilova, Carnegie Mellon U, USA
    Ligia Nistor, Carnegie Mellon U, USA
    Alex Potanin, Victoria U Wellington, New Zealand
    Jonathan Aldrich, Carnegie Mellon U, USA
  45. An approach for Supporting OpenMP on the Intel SCC
    Hayder Al-Khalissi, TU Braunschweig, Germany
    Andrea Marongiu, U Bologna, Italy
    Mladen Berekovic, TU Braunschweig, Germany
  46. Program Slicing to Understand Software Generators (FOSD Workshop)
    Max Lillack, U Leipzig, Germany
    Johannes Muller, U Leipzig, Germany
    Ulrich Eisenecker, U Leipzig, Germany
  47. Reified Type Parameters Using Java Annotations (GPCE '13)
    Prodromos Gerakios, U Athens, Greece
    Aggelos Biboudis, U Athens, Greece
    Yannis Smaragdakis, U Athens, Greece
  48. Enhancing Binding-based User Interfaces with Transaction Support
    Nicolás Passerini , U Nacional de Quilmes, Argentina
    Javier Fernandes, U Nacional de Quilmes, Argentina
    Ronny De Jesus, U Nacional de Quilmes, Argentina
    Pablo Tesone, U Nacional de Oeste, Argentina
    Leonardo Gassman, U Nacional de Quilmes, Argentina
  49. Model-Based, Event-Driven Programming Paradigm for Interactive Web Applications (Onward '13 paper)
    Aleksandar Milicevic, MIT, USA
    Milos Gligoric, U Illinois Urbana Champaign, USA
    Darko Marinov, U Illinois Urbana Champaign, USA
    Daniel Jackson, MIT, USA
  50. CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics (OOPSLA '13 paper)
    Brian Demsky, U California Irvine, USA
    Brian Norris, U California Irvine, USA
  51. Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware (OOPSLA '13 paper)
    Michael Carbin, MIT, USA
    Sasa Misailovic, MIT, USA
    Martin Rinard, MIT, USA
  52. What's Wrong with Git? A Conceptual Design Analysis (Onward! '13 paper)
    Santiago Perez De Rosso, MIT, USA
    Daniel Jackson, MIT, USA
  53. Software Evolution to Domain-Specific Languages (SLE '13 paper)
  54. Evaluating the Benefits of Using Domain-Specific Modeling Languages - an Experience Report (DSM '13)
    Timo Wegeler, Fraunhofer FOKUS, Germany
    Friederike Gutzeit, Fraunhofer FOKUS, Germany
    Aurele Destailleur, Fraunhofer FOKUS, Germany
    Bernhard Dock, Klopotek & Partner GmbH, Germany
  55. Program Transformation Techniques Applied to Languages Used in High Performance Computing
    Songqing Yue, U Alabama, USA
  56. Cast Insertion Strategies for Gradually-Typed Objects (DLS '13 paper)
    Esteban Allende, U Chile, Chile
    Johan Fabry, U Chile, Chile
    Éric Tanter, U Chile, Chile
  57. MIT App Inventor: Enabling Personal Mobile Computing
    Shaileen C. Pokress, MIT, USA
    José Dominguez, MIT, USA
  58. The Power of Interoperability: Why Objects Are Inevitable
    Jonathan Aldrich, Carnegie Mellon U, USA
  59. Upgrading Fortran source code using automatic refactoring
    Dominic Orchard, U Cambridge, UK
    Andy Rice, U Cambridge, UK
  60. Teaching Induction with Functional Programming and A Proof Assistant
    Peter-Michael Osera, U Pennsylvania, USA
    Steve Zdancewic, U Pennsylvania, USA
  61. Supporting Many-to-Many Communication (AGERE '13 paper)
    Hongxing Geng, U Saskatchewan, Canada
    Nadeem Jamali, U Saskatchewan, Canada
  62. Improving the Performance of Actor Model Runtime Environments on Multicore and Manycore Platforms (AGERE '13 paper)
    Emilio Francesquini, University of Sao Paulo, Brazil
    Alfredo Goldman, University of Sao Paulo, Brazil
    Jean-François Mehaut , Laboratoire d'Informatique de Grenoble, France
  63. Tanks: Multiple reader, single writer actors (AGERE '13 paper)
    Joeri De Koster, Vrije Universiteit Brussel, Belgium
    Stefan Marr, Software Languages Lab, Vrije Universiteit Brussel, Belgium
    Theo D'Hondt, Vrije Universiteit Brussel, Belgium
    Tom Van Cutsem, Vrije Universiteit Brussel, Belgium
  64. Model Checking and Performance Evaluation of Timed Rebeca Models Using McErlang
    Haukur Kristinsson
    Ali Jafari
    Ehsan Khamespanah
    Brynjar Magnússon
    Marjan Sirjani
  65. Taking Off the Gloves with Reference Counting Immix
    Rifat Shahriyar, Australian National U, Australia
  66. Native Actors - A Scalable Software Platform for Distributed, Heterogeneous Environments (AGERE '13 paper)
    Dominik Charousset
    Thomas C. Schmidt
    Raphael Hiesgen
    Matthias Wählisch
  67. Efficient and Fully Abstract Routing of Futures in Object Network Overlays
    Mads Dam, KTH Royal Institute of Technology, Stockholm, Sweden
    Karl Palmskog, KTH Royal Institute of Technology, Stockholm, Sweden