| 2010 | Metamodel-driven evolution. | Qichao Liu |
| 2010 | Metamodel evolution through metamodel inference. | Qichao Liu |
| 2010 | Physics as freedom. | Seung Chan Lim |
| 2010 | A dynamic evaluation of the precision of static heap abstractions. | Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv |
| 2010 | Dynamic tainting for deployed Java programs. | Du Li |
| 2010 | Supporting dynamic, third-party code customizations in JavaScript using aspects. | Benjamin S. Lerner, Herman Venter, Dan Grossman |
| 2010 | Task types for pervasive atomicity. | Aditya Kulkarni, Yu David Liu, Scott F. Smith |
| 2010 | From OO to FPGA: fitting round objects into square hardware? | Stephen Kou, Jens Palsberg |
| 2010 | Collaborative model merging. | Maximilian Koegel, Helmut Naughton, Jonas Helming, Markus Herrmannsdoerfer |
| 2010 | Modular logic metaprogramming. | Karl Klose, Klaus Ostermann |
| 2010 | Random testing for higher-order, stateful programs. | Casey Klein, Matthew Flatt, Robert Bruce Findler |
| 2010 | SPLASH 2010 workshop on flexible modeling tools. | Doug Kimelman, Harold Ossher, Andr van der Hoek, Margaret-Anne D. Storey |
| 2010 | A domain specific language to define gestures for multi-touch applications. | Shahedul Huq Khandkar, Frank Maurer |
| 2010 | Component adaptation and assembly using interface relations. | Stephen Kell |
| 2010 | Pure and declarative syntax definition: paradise lost and regained. | Lennart C. L. Kats, Eelco Visser, Guido Wachsmuth |
| 2010 | The Spoofax language workbench. | Lennart C. L. Kats, Eelco Visser |
| 2010 | The spoofax language workbench: rules for declarative specification of languages and IDEs. | Lennart C. L. Kats, Eelco Visser |
| 2010 | Refactoring references for library migration. | Puneet Kapur, Bradley Cossette, Robert J. Walker |
| 2010 | Towards performance measurements for the Java Virtual Machine's invokedynamic. | Chanwit Kaewkasi |
| 2010 | Instrumentation and sampling strategies for cooperative concurrency bug isolation. | Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu |
| 2010 | Verifying configuration files. | Ciera Jaspan |
| 2010 | Extending abstract GPU APIs to shared memory. | Ferosh Jacob |
| 2010 | Experiences with automotive service modeling. | Akihito Iwai, Norio Oohashi, Steven Kelly |
| 2010 | A simple inductive synthesis methodology and its applications. | Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv |
| 2010 | Agility in context. | Rashina Hoda, Philippe Kruchten, James Noble, Stuart Marshall |