kirancodes.me
To Proof Maintenance & Beyond!
Venues / GPCE /

GPCE 2013

21 papers

  1. A comparison of product-based, feature-based, and family-based type checking · Sergiy S. Kolesnikov, Alexander von Rhein, Claus Hunsen, Sven Apel
  2. A framework for extensible languages · Sebastian Erdweg, Felix Rieger
  3. Declarative visitors to ease fine-grained source code mining with full history on billions of AST nodes · Robert Dyer, Hridesh Rajan, Tien N. Nguyen
  4. Does the discipline of preprocessor annotations matter?: a controlled experiment · Sandro Schulze, Jörg Liebig, Janet Siegmund, Sven Apel
  5. Efficient high-level abstractions for web programming · Julien Richard-Foy, Olivier Barais, Jean-Marc Jézéquel
  6. Family-based performance measurement · Norbert Siegmund, Alexander von Rhein, Sven Apel
  7. Forge: generating a high performance DSL implementation from a declarative specification · Arvind K. Sujeeth, Austin Gibbons, Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Martin Odersky + 1 more
  8. Generation of conjoint domain models for system-of-systems · Deepak Dhungana, Andreas A. Falkner, Alois Haselböck
  9. Investigating preprocessor-based syntax errors · Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi
  10. Model-driven generative framework for automated OMG DDS performance testing in the cloud · Kyoungho An, Takayuki Kuroda, Aniruddha S. Gokhale, Sumant Tambe, Andrea Sorbini
  11. Modeling biology with solver-aided programming languages · Rastislav Bodík
  12. On the simplicity of synthesizing linked data structure operations · Darya Kurilova, Derek Rayside
  13. Open pattern matching for C++ · Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup
  14. Reified type parameters using Java annotations · Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis
  15. Scalaness/nesT: type specialized staged programming for sensor networks · Peter C. Chapin, Christian Skalka, Scott F. Smith, Michael Watson
  16. ShadowVM: robust and comprehensive dynamic program analysis for the java platform · Lukás Marek, Stephen Kell, Yudi Zheng, Lubomír Bulej, Walter Binder, Petr Tuma + 3 more
  17. Spiral in scala: towards the systematic construction of generators for performance libraries · Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Püschel
  18. Submodules in racket: you want it when, again? · Matthew Flatt
  19. Supporting large scale model transformation reuse · Fábio Paulo Basso, Raquel Mainardi Pillat, Toacy Cavalcante de Oliveira, Leandro Buss Becker
  20. Template constructors for reusable object initialization · Marko Martin, Mira Mezini, Sebastian Erdweg
  21. Using document-oriented GUIs in dynamic software product lines · Dean Kramer, Samia Oussena, Peter Komisarczuk, Tony Clark