출판 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
출판 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
출판 Accelerating large-scale convolutional neural networks with parallel graphics multiprocessors Dominik Scherer, Hannes Schulz, Sven Behnke Proceedings of International Conference on Artificial Neural Networks (ICANN) | January 2010
출판 An empirical study on the maintenance of source code clones Suresh Thummalapenta Empirical Software Engineering | January 2010, 제 15 권(1): pp. 1-34
출판 Assessing the Scenic Route: Measuring the Value of Search Trails in Web Logs Ryen W. White Proceedings of SIGIR | January 2010
출판 A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari, MSR-TR-2010-3 | January 2010
출판 Ranking Function Synthesis for Bit-Vector Relations Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | January 2010
출판 Polynomial Heuristics for Query Optimization Nicolas Bruno, Cesar Galindo-Legaria, Milind Joshi International Conference on Data Engineering (ICDE) | January 2010