公開日 Preventing versus Curing: Avoiding Conflicts in Transactional Memories Aleksandar Dragojevic, Rachid Guerraoui, Anmol V. Singh, Vasu Singh PODC 2009 | January 2009
公開日 Stretching Transactional Memory Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka PLDI 2009 | January 2009
公開日 Flexible types: robust type inference for first-class polymorphism Daan Leijen 36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL’09) | January 2009 36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09)
公開日 Nozzle: A Defense Against Heap-spraying Code Injection Attacks Paruj Ratanaworabhan, Ben Livshits, Ben Zorn Proceedings of the Usenix Security Symposium | January 2009 プロジェクト
公開日 Designers wanted: participation and the user experience in open source software development Paula M. Bach, Robert DeLIne, John M. Carroll Proceedings of CHI 09 | January 2009
公開日 SubPolyhedra: A (more) scalable approach to infer linear inequalities Vincent Laviron, Francesco Logozzo Proceedings of the 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI’09) | January 2009 アクセス プロジェクト
公開日 Compositional May-Must Program Analysis: Unleashing The Power of Alternation Patrice Godefroid, Aditya Nori, Sriram Rajamani, MSR-TR-2009-2 | January 2009 プロジェクト
公開日 Compiling Functional Types to Relational Specifications for Low Level Imperative Code Nick Benton, Nicolas Tabareau Proceedings of the Fourth ACM SIGPLAN Workshop on Types in Language Design and Implementation | January 2009
公開日 Teaching an Old Elephant New Tricks Nicolas Bruno Conference on Innovative Data Systems Research (CIDR) | January 2009 プロジェクト