海量图书期刊资源,随时随地畅享阅读乐趣
CDScheckerNorris, Brian; Demsky, Brian · ACM SIGPLAN Notices · 2013
A Practical Approach for Model Checking C/C++11 CodeNorris, Brian; Demsky, Brian · ACM Transactions on Programming Languages and Systems · 2016
Integrating file operations into transactional memoryBrian Demsky; Navid Farri Tehrany · 2011
ViewsDemsky, Brian; Lam, Patrick · ACM Transactions on Software Engineering and Methodology · 2013
BambooZhou, Jin; Demsky, Brian · ACM SIGPLAN Notices · 2010
DOJEom, Yong hun; Yang, Stephen; Jenista, James C.; Demsky, Brian · ACM SIGPLAN Notices · 2012
Software transactional distributed shared memoryDash, Alokika; Demsky, Brian · ACM SIGPLAN Notices · 2009
OoOJavaJenista, James Christopher; Eom, Yong hun; Demsky, Brian Charles · ACM SIGPLAN Notices · 2011