2013
2012
- Run your research: on the effectiveness of lightweight mechanizationCasey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robby Findler. In Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. 2012: 285-296 [doi]
2011
2010
- Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USAWilliam R. Cook, Siobhán Clarke, Martin C. Rinard, editors, ACM, Reno/Tahoe, Nevada, 2010.
- Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USAWilliam R. Cook, Siobhán Clarke, Martin C. Rinard, editors, ACM, 2010.
- An exploratory study of fault-proneness in evolving aspect-oriented programsFabiano Cutigi Ferrari, Rachel Burrows, Otávio Augusto Lazzarini Lemos, Alessandro Garcia, Eduardo Figueiredo, Nélio Cacho, Frederico Lopes, Nathalia Temudo, Liana Silva, Sérgio Soares, Awais Rashid, Paulo Cesar Masiero, Thaís Vasconcelos Batista, José Carlos Maldonado. ICSE 2010: 65-74 [doi]
PreviousNext