公開日 Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation Norman Ramsey, John Dias, Simon Peyton Jones January 2010 January 2010|Haskell Symposium 2010 エディションエディション Haskell Symposium 2010
公開日 Automated Termination Analysis of Java Bytecode by Term Rewriting Carsten Otto, Marc Brockschmidt, Christian von Essen, Juergen Giesl RTA | January 2010
公開日 Resource Reasoning and Labelled Separation Logic Mohammad Raza January 2010 博士論文:Imperial College London | January 2010
公開日 MacroSS: Macro-SIMDization of Streaming Applications Amir Hormati, Yoonseo Choi, Mark Woh, Manjunath Kudlur, Rodric Rabbah, Trevor Mudge, Scott Mahlke Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) | January 2010
公開日 Minimizing Database Repros using Language Grammars Nicolas Bruno Extending Database Technology (EDBT) | January 2010
公開日 SPUR: a trace-based JIT compiler for CIL Manuel Fahndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter Proceedings of the ACM international conference on Object oriented programming systems languages and applications | January 2010 ISBN: 978-1-4503-0203-6 プロジェクト
公開日 Partial Derivatives in Arithmetic Complexity and beyond Xi Chen, Neeraj Kayal, Avi Wigderson Foundations and Trends in Theoretical Computer Science | January 2010
公開日 Predicting the Scalability of an STM: A Pragmatic Approach Aleksandar Dragojevic, Rachid Guerraoui Transact 2010 | January 2010 Transact 2010
公開日 An Analysis of Affine Coordinates for Pairing Computation Kristin Lauter, Peter Montgomery, Michael Naehrig Pairing 2010 | January 2010 Pairing 2010 プロジェクト