| 2013 | Implementing semantic feedback in a diagram editor. | Niklas Fors, Grel Hedin |
| 2013 | RedCard: Redundant Check Elimination for Dynamic Race Detectors. | Cormac Flanagan, Stephen N. Freund |
| 2013 | A comparison of the Essence 1.0 and SPEM 2.0 specifications for software engineering methods. | Brian Elvester, Gorka Benguria, Sylvia Ilieva |
| 2013 | The need for capability policies. | Sophia Drossopoulou, James Noble |
| 2013 | A new concurrency model for Scala based on a declarative dataflow core. | Sbastien Doeraene, Peter Van Roy |
| 2013 | Towards an IoT ecosystem. | Flvia Coimbra Delicato, Paulo F. Pires, Thas Vasconcelos Batista, Everton Cavalcante, Bruno Costa, Thomaz Barros |
| 2013 | Dataflow constructs for a language extension based on the algebra of communicating processes. | Andr van Delft |
| 2013 | Trustworthy Proxies - Virtualizing Objects with Invariants. | Tom Van Cutsem, Mark S. Miller |
| 2013 | QUIC Graphs: Relational Invariant Generation for Containers. | Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan |
| 2013 | GlobalDSL 2013: First Workshop on the Globalization of Domain Specific Languages. | Benot Combemale, Walter Cazzola, Robert B. France |
| 2013 | Domain specific languages for the model driven organization. | Tony Clark, Ulrich Frank, Vinay Kulkarni, Balbir S. Barn, Dan Turk |
| 2013 | Practical information flow for legacy web applications. | Georgios Chinis, Polyvios Pratikakis, Sotiris Ioannidis, Elias Athanasopoulos |
| 2013 | Scala macros: let our powers combine!: on how rich syntax and static types work with metaprogramming. | Eugene Burmako |
| 2013 | An overview of the Leon verification system: verification by translation to recursive functions. | Rgis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter |
| 2013 | CafeSat: a modern SAT solver for Scala. | Rgis Blanc |
| 2013 | Challenges for SoS architecture description. | Thas Vasconcelos Batista |
| 2013 | The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime. | Joshua S. Auerbach, David F. Bacon, Perry Cheng, Steve Fink, Rodric M. Rabbah |
| 2013 | Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine. | Danilo Ansaloni, Stephen Kell, Yudi Zheng, Lubomr Bulej, Walter Binder, Petr Tuma |
| 2013 | Safe corecursion in coFJ. | Davide Ancona, Elena Zucca |
| 2013 | MTC Flow: a tool to design, develop and deploy model transformation chains. | Camilo lvarez, Rubby Casallas |
| 2013 | Averroes: Whole-Program Analysis without the Whole Program. | Karim Ali, Ondrej Lhotk |
| 2013 | Enterprise context: a rich source of requirements for context-oriented programming. | Sam S. Adams, Suparna Bhattacharya, Bob Friedlander, John Gerken, Doug Kimelman, Jim Kraemer, Harold Ossher, John T. Richards, David M. Ungar, Mark N. Wegman |
| 2013 | Harmonizing textual and graphical visualizations of domain specific models. | Colin Atkinson, Ralph Gerbig |
| 2012 | Object Initialization in X10. | Yoav Zibin, David Cunningham, Igor Peshansky, Vijay A. Saraswat |
| 2012 | Supporting methods and events by an integrated abstraction. | YungYu Zhuang, Shigeru Chiba |