公開日 Decoupled Lifeguards: Enabling Path Optimizations for Dynamic Correctness Checking Tools Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons, Todd C. Mowry Programming Language Design and Implementation (PLDI) | January 2010
公開日 Components, platforms and possibilities: towards generic automation for MDA Ethan Jackson, Markus Dahlweid, Dirk Seifert, Thomas Santen EMSOFT | January 2010 ISBN: 978-1-60558-904-6 プロジェクト
公開日 SecPAL: Design and Semantics of a Decentralized Authorization Language Moritz Becker, Cédric Fournet, Andy Gordon Journal of Computer Security | January 2010, 巻18(4): pp. 619-665
公開日 Shrinkage Model Adaptation in Automatic Speech Recognition Jinyu Li, Yu Tsao, Chin-Hui Lee Interspeech | January 2010
公開日 Competing Schedulers Itai Ashlagi, Moshe Tennenholtz, Aviv Zohar AAAI-10: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence | January 2010
公開日 Mining API mapping for language migration Hao Zhong, Suresh Thummalapenta, Tao Xie, Lu Zhang, Qing Wang ICSE ’10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering | January 2010 ISBN: 978-1-60558-719-6
公開日 Let Should Not Be Generalised Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers Proceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and Implementation | January 2010
公開日 Leveraging Parallel Nesting in Transactional Memory João Barreto, Aleksandar Dragojevic, Paulo Ferreira, Rachid Guerraoui, Michal Kapalka PPoPP 2010 | January 2010
公開日 Collecting hollywood’s garbage: avoiding space-leaks in composite events Don Syme, ISMM ’10 Proceedings of the 2010 international symposium on Memory management | January 2010 プロジェクト
公開日 Supercompilation by evaluation Max Bolingbroke, Simon Peyton Jones Haskell Symposium 2010 | January 2010