| 2013 | Composing polymorphic information flow systems with reference immutability. | Ana L. Milanova, Wei Huang |
| 2013 | Composing graphical languages. | Ivan Melo, Mario E. Snchez, Jorge Villalobos |
| 2013 | Higher-Order Reactive Programming with Incremental Lists. | Ingo Maier, Martin Odersky |
| 2013 | Supporting architectural decision making for systems-of-systems design under uncertainty. | Ioanna Lytra, Uwe Zdun |
| 2013 | Combining Form and Function: Static Types for JQuery Programs. | Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi |
| 2013 | Parsing graphs: applying parser combinators to graph traversals. | Daniel Krni, Raphael Schweizer |
| 2013 | A component-based approach for specifying DSML's concrete syntax. | Amine El Kouhen, Sbastien Grard, Cdric Dumoulin, Pierre Boulet |
| 2013 | 2 | Heiko Kern, Juha-Pekka Tolvanen, Paolo Bottoni |
| 2013 | Creating and using domain-specific language features. | Ted Kaminski, Eric Van Wyk |
| 2013 | A unified context activation mechanism. | Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara |
| 2013 | TRACK: keeping track of highly mobile objects: a lanugage-level proposal position paper. | Eric Jul |
| 2013 | Programming highly mobile cloud applications of the future. | Eric Jul |
| 2013 | Towards a tight integration of a functional web client language into Scala. | Christoph Hger, Martin Zuber |
| 2013 | L: context-oriented programming with only layers. | Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi |
| 2013 | Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. | Stefan Heule, Ioannis T. Kassios, Peter Mller, Alexander J. Summers |
| 2013 | Is This a Bug or an Obsolete Test? | Dan Hao, Tian Lan, Hongyu Zhang, Chao Guo, Lu Zhang |
| 2013 | An approach combining SysML and modelica for modelling and validate wireless sensor networks. | Ahmed Hammad, Hassan Mountassir, Samir Chouali |
| 2013 | Towards tool support for pattern-based secure and dependable systems development. | Brahim Hamid, Adel Ziani, Jacob Geisel |
| 2013 | Ownership-Based Isolation for Concurrent Actors on Multi-core Machines. | Olivier Gruber, Fabienne Boyer |
| 2013 | Java UI : Effects for Controlling UI Object Access. | Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman |
| 2013 | Untitled record | Paola Gmez, Mario E. Snchez, Jorge Villalobos |
| 2013 | Yet another DSL for cross-platforms mobile development. | Olivier Le Goar, Sacha Waltham |
| 2013 | Systematic Testing of Refactoring Engines on Real Software Projects. | Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov |
| 2013 | Open GADTs and declaration-site variance: a problem statement. | Paolo G. Giarrusso |
| 2013 | Implementing Federated Object Systems. | Tobias Freudenreich, Patrick Eugster, Sebastian Frischbier, Stefan Appel, Alejandro P. Buchmann |