公開日 Model-Based Margin Estimation for Hidden Markov Model Learning and Generalization Sabato Marco Siniscalchi, Jinyu Li, Chin-Hui Lee IET Signal Processing | January 2013
公開日 Equivalence of Extended Symbolic Finite Transducers Loris D'Antoni, Margus Veanes, MSR-TR-2013-4 | January 2013
公開日 Static Analysis of String Encoders and Decoders Margus Veanes, Loris D'Antoni VMCAI 2013 | January 2013
公開日 Fully Abstract Compilation to JavaScript Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub, Ben Livshits ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013 | January 2013 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013 プロジェクト
公開日 Exposing behavioral differences in cross-language API mapping relations Suresh Thummalapenta FASE’13: Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering | January 2013 ISBN: 978-3-642-37056-4
公開日 Better termination proving through cooperation Marc Brockschmidt, Byron Cook, Carsten Fuhs CAV | January 2013
公開日 Probabilistic Inference Using Program Analysis Andy Gordon, Aditya Nori, Sriram Rajamani January 2013 プロジェクト
公開日 Loop summarization using state and transition invariants Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger Formal Methods in System Design | January 2013, 巻42: pp. 221-261