公開日 Regression-Free Synthesis for Concurrency Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach Computer Aided Verification (CAV) | July 2014 プロジェクト
公開日 Author Retrospective for “Optimizing for Parallelism and Data Locality” Kathryn S McKinley ACM/IEEE International Conference on Supercomputing (ICS) 25th Anniversary Volume | July 2014
公開日 An Empirical Study of Refactoring Challenges and Benefits at Microsoft Miryung Kim, Thomas Zimmermann, Nachiappan Nagappan, Nachi Nagappan, Tom Zimmermann IEEE Transactions on Software Engineering | July 2014, 巻40(7)
公開日 Quantitative Specifications for Verification and Synthesis Arjun Radhakrishna July 2014 博士論文:IST Austria | July 2014
公開日 Proving the TLS Handshake Secure (As It Is) Karthikeyan Bhargavan, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella-Béguelin, Cédric Fournet Advances in Cryptology — CRYPTO 2014 | July 2014
公開日 R2: An Efficient MCMC Sampler for Probabilistic Programs Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel AAAI Conference on Artificial Intelligence (AAAI) | July 2014 プロジェクト
公開日 From Invariant Checking to Invariant Inference Using Randomized Search Rahul Sharma CAV 2014 | June 2014
公開日 Measuring and Evaluating Live Content Consistency in a Large-Scale CDN Guoxin Liu, Haiying Shen, Harrison Chandler, Jin Li Distributed Computing Systems (ICDCS), 2014 IEEE 34th International Conference on | June 2014
公開日 NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation Sumit Gulwani, Mark Marron SIGMOD’14, June 22-27, 2014, Snowbird, UT, USA | June 2014 動画 プロジェクト