公開日 Show No Weakness: Sequentially Consistent Specification of TSO Libraries Alexey Gotsman, Madan Musuvathi, Hongseok Yang International Symposium on Distributed Computing (DISC ’12) | January 2012
公開日 Automated Termination Proofs for Java Bytecode with Cyclic Data Marc Brockschmidt, Richard Musiol, Carsten Otto, Juergen Giesl CAV | January 2012
公開日 Integrating Community Matching and Outlier Detection for Mining Evolutionary Community Outliers Manish Gupta, Jing Gao, Yizhou Sun, Jiawei Han Proc. of the 18th ACM Intl. Conf. on Knowledge Discovery and Data Mining (KDD) | January 2012
公開日 Symbolic Finite State Transducers: Algorithms and Applications Margus Veanes, Pieter Hooimeijer, David Molnar, Nikolaj Bjorner, Ben Livshits POPL’12 | January 2012
公開日 Using Dafny, an Automatic Program Verier Luke Herbert, Rustan Leino, Jose Quaresma Tools for Practical Software Verification | 2012 Github
公開日 Corral: A Solver for Reachability Modulo Theories Akash Lal, Shaz Qadeer, Shuvendu Lahiri MSR-TR-2012-9 | January 2012 プロジェクト
公開日 Better Bounds for Graph Bisection Daniel Delling, Renato Werneck Proceedings of the 20th Annual European Symposium on Algorithms (ESA’12) | January 2012 to appear
公開日 Simulation distances Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna Theoretical Computer Science | December 2011, 巻413(1): pp. 21-35 2010 International Conference on Concurrency Theory プロジェクト
公開日 Stepwise Refinement of Heap-Manipulating Code in Chalice Rustan Leino, Kuat Yessenov December 2011 プロジェクト