POPL 2015 logo

POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Tata Institute of Fundamental Research, Mumbai, India
January 12-18, 2015

Student Poster Session at POPL 2015

On Thursday 25 January 2015, POPL will have a student poster session in conjunction with the main reception (6pm-9pm). All students attending POPL are strongly encouraged to participate, and our goal is to allow as many students as possible to present themselves and their work to the community.

The following poster submissions have been accepted at POPL 2015:

  1. Kunal Banerjee. An Equivalence Checking Mechanism for Handling Recurrences in Array-Intensive Programs
  2. Marko Doko and Viktor Vafeiadis. FSL: A Logic for Reasoning about Memory Fences
  3. Jean Yang, Travis Hance, Thomas Austin, Cormac Flanagan and Armando Solar-Lezama. Enforcing Information Flow Across Application-Database Boundaries
  4. Soham Chakraborty and Viktor Vafeiadis. Validating Optimizations of C11 Concurrent Programs
  5. José Echeveste. Programming with Event and Duration in Multiple Times: the Antescofo DSL
  6. Thomas Cuvillier. Game-semantics for Core-ML
  7. Siddharth Krishna. Learning Linear Invariants using Decision Trees
  8. Girish Maskeri Rama and Raghavan Komondoor. A Dynamic Analysis to Support Object-Sharing Code Refactorings
  9. Niels Bjørn Bugge Grathwohl, Ulrik Terp Rasmussen and Fritz Henglein. Kleene Meets Church: Regular Expressions as Types
  10. Kumud Bhandari and Dhruva Chakrabarti. Recovery-time Garbage Collection for Persistent Memory
  11. Ezgi Cicek. Refinement Types for Incremental Computational Complexity
  12. Angshuman Jana, Raju Halder and Agostino Cortesi. Abstract Interpretation of Hibernate Query Language
  13. Soumyadip Bandyopadhyay. Behavioural Verification of Petri net based Models of Programs
  14. Saurabh Kalikar and Rupesh Nasre. Locking For Hierarchical Data Structures
  15. Anjjan Narayan, Bharath Shamasundar, Crystal Gomes and Rithesh Prabhu. Hybrid Algorithms on GPU
  16. Kenneth Roe. CoqPIE: A new type of UI for Coq
  17. Philip Dexter. Lazy Functional Graphs
  18. Zenna Tavares and Armando Solar Lezama. Causal Inference in Probabilistic Programs by Abstraction and Refinement
For further information, please see the call for posters.