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.
Call for contributions
Authors of all papers accepted to SPLASH 2013 are invited to participate in the Poster Session by emailing the title of the poster, name of the conference which accepted it and a list of authors and affiliations to firstname.lastname@example.org.
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. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties. Posters can be independent presentations or associated with one of the other parts of SPLASH.
|Due on:||September 24, 2013|
|Format:||Now inviting all accepted papers|
|Contact:||Emina Torlak and K. R. Jayaram (chair)|
The ACM International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) is sponsored by ACM SIGPLAN.
SPLASH is the home of OOPSLA Research Papers, Onward!, and the Dynamic Languages Symposium, among other events.
We invite submissions that:
- present early work that is not yet ready for submission to a refereed conference or journal
- identify new research problems, preferably with empirical evidence
- showcase open-source tools and technologies developed by the author(s)
- describe student research projects, especially Masters/PhD dissertation proposals. We encourage students to participate in the ACM Student Research Competition and PhD students to participate in the Doctoral Symposium.
- summarize a technical paper that has been accepted (or “potentially accepted” pending revisions) to OOPSLA, Onward! or Wavefront 2013. This provides authors of accepted technical papers with opportunities to increase the visibility of their papers and to engage in more personal one-on-one discussions.
**Update 7th September 2013. We are inviting authors of accepted technical papers to present a poster — we hope that this will provide authors an opportunity to increase the visibility of their papers and engage in more one-on-one discussions.
To confirm your participation, you only have to send us an email at email@example.com with the title of your accepted paper, list of authors and the conference where it was accepted before 5pm PDT on September 24. You have time until the conference to get your actual poster ready.**
Posters will be evaluated both on their contributions and on how effectively they communicate those contributions. All poster proposals, except those describing technical papers accepted to OOPSLA, Onward! or Wavefront 2013 should submit a .zip or .tar.gz file that contains the following two files in PDF format:
- A 2-page extended abstract, in the ACM SIGPLAN Proceedings format with 10pt font, suitable for inclusion in the SPLASH 2013 Conference Companion. (pdf format)
- The poster itself in pdf format. The maximum dimensions of the poster can be A0 size. These are the maximum dimensions, feel free to make the poster smaller.
If your technical paper is accepted to OOPSLA, Onward! or Wavefront 2013, you need not submit the 2-page extended abstract. Just submit the poster.
If your paper was “potentially accepted” to OOPSLA, Onward! or Wavefront 2013, please submit both the extended abstract and the poster. If your poster is selected and paper is rejected, we will publish the extended abstract in the SPLASH 2013 Conference Companion.
The extended abstract can have a maximum length of 2 pages. If you need to submit supplementary material, please either post it on the web as a technical report or include a separate pdf file inside the zip or tar.gz file that you are submitting. Please note that supplementary material is reviewed at the discretion of the program committee.
Poster authors are required to attend the scheduled interactive poster session, staying with their poster so that they can discuss their work with conference attendees. Poster authors may post an informal schedule along with their poster, listing times when they plan to be available for discussion later on during the conference. Sign-up sheets allow interested viewers to obtain further information. All posters will have an associated message board, on which viewers can post comments, ideas, and questions and on which poster authors will be able to post responses.
For More Information
For additional information, clarification, or answers to questions please contact the Posters Chair, Emina Torlak and K. R. Jayaram at firstname.lastname@example.org.
- The Yin and Yang of Heterogeneous Hardware: Can Software Survive?Kathryn S. McKinley, Microsoft, USA
- The Poor Man's Proof Assistant: Using Prolog to Develop Formal Language Theoretic ProofsJoey Eremondi, U Saskatchewan, Canada
- Dictionary-Base Query Recommendation for Local Code SearchXi Ge, North Carolina State U, USA
- A Screen-Oriented Representation for Mobile ApplicationsAharon Abadi, IBM, IsraelYishai A. Feldman, IBM, IsraelKonstantin Shagin, IBM, Israel
- Hardware and Software Support for Fine-Grained Memory Access Control and Encapsulation in C++Eugen Leontie, George Washington U, USAGedare Bloom, George Washington U, USARahul Simha, George Washington U, USA
- Source Code Management for Projectional EditingDavid H. Lorenz, Open U, IsraelBoaz Rosenan, Open U, Israel
- Migration from Deprecated API in JavaRoman Štrobl, Czech Technical U Prague, Czech RepublicZdenek Tronícek, Czech Technical U Prague, Czech Republic
- On Testing the Source Compatibility in JavaJan Hýbl, Czech Technical U Prague, Czech RepublicZdenek Tronícek, Czech Technical U Prague, Czech Republic
- Concurrent OOP with AgentsAlessandro Ricci, U Bologna, ItalyAndrea Santi, U Bologna, Italy
- PyLOM: A Language and Run-Time System for Planning ApplicationsScotty Smith, George Washington U, USAGedare Bloom, George Washington U, USARahul Simha, George Washington U, USA
- Model-driven Generative Framework for Automated OMG DDS Performance Testing in the CloudKyoungho An, Vanderbilt U, USATakayuki Kuroda, Vanderbilt U, USAAniruddha Gokhale, Vanderbilt U, USASumant Tambe, Real-Time Innovations, USAAndrea Sorbini, Real-Time Innovations, USA
- On The Implications of Language Constructs for Concurrent Execution in the Energy Efficiency of Multicore ApplicationsGustavo Pinto, Federal U Pernambuco, BrazilFernando Castor-Filho, Federal U Pernambuco, Brazil
- Open Pattern Matching for C++Yuriy Solodkyy, Texas A&M U, USAGabriel Dos Reis, Texas A&M U, USABjarne Stroustrup, Texas A&M U, USA
- Isolation for Nested Task-Parallelism (OOPSLA'13 paper)Jisheng Zhao, Rice U, USARoberto Lublinerman, Google, USAZoran Budimlic, Rice U, USASwarat Chaudhuri, Rice U, USAVivek Sarkar, Rice U, USA
- Efficient Concurrency-Bug Detection Across Inputs (OOPSLA'13 paper)Dongdong Deng, U Wisconsin Madison, USAWei Zhang, U Wisconsin Madison, USAShan Lu, U Wisconsin Madison, USA
- Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels. (OOPSLA '13 paper)Nathan Chong, Imperial College London, UKAlastair Donaldson, Imperial College London, UKPaul H.J. Kelly, Imperial College London, UKJeroen Ketema, Imperial College London, UKShaz Qadeer, Microsoft, USA
- Blame PredictionDries Harnie, Vrije U Brussel, BelgiumChristophe Scholliers, Vrije U Brussel, BelgiumWolfgang De Meuter, Vrije U Brussel, Belgium
- Flexible Access Control Policies with Delimited Histories (OOPSLA '13 paper)Gregor Richards, Purdue U, USAChristian Hammer, Saarland U, GermanySuresh Jagannathan, Purdue U, USAFrancesco Zappa Nardelli, INRIA, FranceJan Vitek, Purdue U, USA
- Design Considerations in Developing a Mobile Application for Scalable and Decentralized Publish/Subscribe-based Weather Alert SystemVioletta Vylegzhanina, Vanderbilt U, USADavid Harmon Brett, Vanderbilt U, USAAniruddha Gokhale, Vanderbilt U, USA
- Turning Nondeterminism into Parallelism (OOPSLA '13 paper)Omer Tripp, Tel Aviv U, IsraelEric Koskinen, New York U, USAMooly Sagiv, Tel Aviv U, Israel
- Investigating Preprocessor-Based Syntax Errors (GPCE '13 paper)Flávio Medeiros, Federal U Campina Grande, BrazilMàrcio Ribeiro , Federal U Alagoas, BrazilRohit Gheyi, Federal U Campina Grande, Brazil
- Purely Visual and Hybrid Visual/Textual Formula Composition: A Usability Study Plan (PROMOTO Workshop paper)Annemarie Harzl, Graz U Technology, AustriaVesna Krnjic, Graz U Technology, AustriaFranz Schreiner, Graz U Technology, AustriaWolfgang Slany, Graz U Technology, Austria
- A Scratch-like visual programming system for Microsoft Windows Phone 8 (PROMOTO Workshop paper)Annemarie Harzl, Graz U Technology, AustriaPhilipp Neidhöfer, Graz U Technology, AustriaValentin Rock, Graz U Technology, AustriaMaximilian Schafzahl, Graz U Technology, AustriaWolfgang Slany, Graz U Technology, Austria
- Supporting Large Scale Model Transformation Reuse (GPCE '13 paper)Fábio Basso, Federal U Rio de Janeiro, BrazilRaquel Pillat, Federal U Rio de Janeiro, BrazilToacy C. Oliveira, Federal U Rio de Janeiro, BrazilLeandro B. Becker, Federal U Santa Catarina, Brazil
- On the Simplicity of Synthesizing Linked Data Structure Operations (GPCE '13 paper)Darya Kurilova, Carnegie Mellon U, USADerek Rayside, U Waterloo, Canada
- TruSSCom – Proposal for Trustworthy Service Representation Selection and Negotiation for Integrating Software Systems (Doctoral Symposium)Lahiru Gallege, Indiana U - Purdue U Indianapolis (IUPUI), USADimithu Gamage, Indiana U - Purdue U Indianapolis (IUPUI), USAJames H. Hill, Indiana U - Purdue U Indianapolis (IUPUI), USARajeev R. Raje, Indiana U - Purdue U Indianapolis (IUPUI), USA
- Model-driven Performance Estimation, Deployment, and Resource Management for Cloud-hosted Services (DSM'13 Workshop)Faruk Caglar, Vanderbilt U, USAKyoungho An, Vanderbilt U, USAShashank Shekhar, Vanderbilt U, USAAniruddha Gokhale, Vanderbilt U, USA
- Evaluating Domain-Driven Architectural Designs for Windows Phone 8 Mobile Application (Workshop paper)Retta Shiferaw Siyoum, U Gothenberg, SwedenMozhan Soltani, U Gothenberg, Sweden
- Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries (GPCE '13 paper)Georg Ofenbeck, ETH Zurich, SwitzerlandTiark Rompf, EPFL, SwitzerlandAlen Stojanov, ETH Zurich, SwitzerlandMartin Odersky, EPFL, SwitzerlandMarkus Püschel, ETH Zürich, Switzerland
- Evaluating Domain-Driven Architectural Designs for Windows Phone 8 Mobile ApplicationsRetta Shiferaw Siyoum, U Gothenberg, SwedenMozhan Soltani, U Gothenberg, Sweden
- MDE-based Sensor Management and Verification for a Self-Driving Miniature Vehicle (DSM'13 paper)Md Abdullah Al Mamun, Chalmers U Technology, SwedenChristian Berger, U Gothenberg, SwedenJörgen Hansson, Chalmers U Technology, Sweden
- Touch-enabled Programming for the Lab of Things (PROMOTO '13 paper)Zheng Dong, Indiana U Bloomington, USAArjmand Samuel, Microsoft, USA
- Scalable, Example-Based Refactorings with Refaster (WRT'13 paper)Louis Wasserman, Google, USA
- Automated Assessment of Students’ Testing Skills for Improving Correctness of Their Code (Doctoral Symposium)Zalia Shams, Virginia Tech, USA
- A Secure Play Store for AndroidFeng Shen, SUNY Buffalo, USA
- Madeup: A Mobile Development Environment for Programming 3-D Models (PROMOTO Workshop)Chris Johnson, U Wisconsin Eau Claire, USA
- Ball-Larus Path Profiling Across Multiple Loop Iterations (OOPSLA'13 paper)Daniele C. D'Elia, Sapienza U Rome, ItalyCamil Demetrescu, Sapienza U Rome, Italy
- Improved Type Specialization for Dynamic Scripting Languages (DLS '13 paper)Madhukar Kedlaya, U California Santa Barbara, USAJared Roesch, U California Santa Barbara, USABehnam Robatmili, Qualcomm, USAMehrdad Reshadi, Qualcomm, USABen Hardekopf, U California Santa Barbara, USA
- Transforming Introductory Computer Science Projects via Real-Time Web Data (SPLASH-E '13 paper)Austin Cory Bart, Virginia Tech, USAEli Tilevich, Virginia Tech, USAClifford A. Shaffer, Virginia Tech, USATony Allevato, Virginia Tech, USASimin Hall, Virginia Tech, USA
- Parse Views with Boolean Grammars (Parsing@SLE '13)Andrew Stevenson, Queen's U, CanadaJames R. Cordy, Queen's U, Canada
- A Page Coherency Protocol for Popcorn Replicated-kernel Operating System (SPLASH MARC'13)Marina Sadini, Virginia Tech, USAAntonio Barbalace, Virginia Tech, USABinoy Ravindran, Virginia Tech, USAFrancesco Quaglia, Virginia Tech , USA
- Extensible Type-Driven Parsing for Embedded DSLs in Wyvern (Parsing @ SLE '13)Cyrus Omar, Carnegie Mellon U, USABenjamin Chung, Carnegie Mellon U, USADarya Kurilova, Carnegie Mellon U, USALigia Nistor, Carnegie Mellon U, USAAlex Potanin, Victoria U Wellington, New ZealandJonathan Aldrich, Carnegie Mellon U, USA
- An approach for Supporting OpenMP on the Intel SCCHayder Al-Khalissi, TU Braunschweig, GermanyAndrea Marongiu, U Bologna, ItalyMladen Berekovic, TU Braunschweig, Germany
- Program Slicing to Understand Software Generators (FOSD Workshop)Max Lillack, U Leipzig, GermanyJohannes Muller, U Leipzig, GermanyUlrich Eisenecker, U Leipzig, Germany
- Reified Type Parameters Using Java Annotations (GPCE '13)Prodromos Gerakios, U Athens, GreeceAggelos Biboudis, U Athens, GreeceYannis Smaragdakis, U Athens, Greece
- Enhancing Binding-based User Interfaces with Transaction SupportNicolás Passerini , U Nacional de Quilmes, ArgentinaJavier Fernandes, U Nacional de Quilmes, ArgentinaRonny De Jesus, U Nacional de Quilmes, ArgentinaPablo Tesone, U Nacional de Oeste, ArgentinaLeonardo Gassman, U Nacional de Quilmes, Argentina
- Model-Based, Event-Driven Programming Paradigm for Interactive Web Applications (Onward '13 paper)Aleksandar Milicevic, MIT, USAMilos Gligoric, U Illinois Urbana Champaign, USADarko Marinov, U Illinois Urbana Champaign, USADaniel Jackson, MIT, USA
- CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics (OOPSLA '13 paper)Brian Demsky, U California Irvine, USABrian Norris, U California Irvine, USA
- Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware (OOPSLA '13 paper)Michael Carbin, MIT, USASasa Misailovic, MIT, USAMartin Rinard, MIT, USA
- What's Wrong with Git? A Conceptual Design Analysis (Onward! '13 paper)Santiago Perez De Rosso, MIT, USADaniel Jackson, MIT, USA
- Software Evolution to Domain-Specific Languages (SLE '13 paper)
- Evaluating the Benefits of Using Domain-Specific Modeling Languages - an Experience Report (DSM '13)Timo Wegeler, Fraunhofer FOKUS, GermanyFriederike Gutzeit, Fraunhofer FOKUS, GermanyAurele Destailleur, Fraunhofer FOKUS, GermanyBernhard Dock, Klopotek & Partner GmbH, Germany
- Program Transformation Techniques Applied to Languages Used in High Performance ComputingSongqing Yue, U Alabama, USA
- Cast Insertion Strategies for Gradually-Typed Objects (DLS '13 paper)Esteban Allende, U Chile, ChileJohan Fabry, U Chile, ChileÉric Tanter, U Chile, Chile
- MIT App Inventor: Enabling Personal Mobile ComputingShaileen C. Pokress, MIT, USAJosé Dominguez, MIT, USA
- The Power of Interoperability: Why Objects Are InevitableJonathan Aldrich, Carnegie Mellon U, USA
- Upgrading Fortran source code using automatic refactoringDominic Orchard, U Cambridge, UKAndy Rice, U Cambridge, UK
- Teaching Induction with Functional Programming and A Proof AssistantPeter-Michael Osera, U Pennsylvania, USASteve Zdancewic, U Pennsylvania, USA
- Supporting Many-to-Many Communication (AGERE '13 paper)Hongxing Geng, U Saskatchewan, CanadaNadeem Jamali, U Saskatchewan, Canada
- Improving the Performance of Actor Model Runtime Environments on Multicore and Manycore Platforms (AGERE '13 paper)Emilio Francesquini, University of Sao Paulo, BrazilAlfredo Goldman, University of Sao Paulo, BrazilJean-François Mehaut , Laboratoire d'Informatique de Grenoble, France
- Tanks: Multiple reader, single writer actors (AGERE '13 paper)Joeri De Koster, Vrije Universiteit Brussel, BelgiumStefan Marr, Software Languages Lab, Vrije Universiteit Brussel, BelgiumTheo D'Hondt, Vrije Universiteit Brussel, BelgiumTom Van Cutsem, Vrije Universiteit Brussel, Belgium
- Model Checking and Performance Evaluation of Timed Rebeca Models Using McErlangHaukur KristinssonAli JafariEhsan KhamespanahBrynjar MagnússonMarjan Sirjani
- Taking Off the Gloves with Reference Counting ImmixRifat Shahriyar, Australian National U, Australia
- Native Actors - A Scalable Software Platform for Distributed, Heterogeneous Environments (AGERE '13 paper)Dominik CharoussetThomas C. SchmidtRaphael HiesgenMatthias Wählisch
- Efficient and Fully Abstract Routing of Futures in Object Network OverlaysMads Dam, KTH Royal Institute of Technology, Stockholm, SwedenKarl Palmskog, KTH Royal Institute of Technology, Stockholm, Sweden