Ou, P., and B. Demsky,
"Checking Concurrent Data Structures Under the C/C++11 Memory Model",
2017 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2017), Austin, TX, pp. 45-59 , Feb 4-8, 2017.
Demsky, B., and A. Dash,
"Bristlecone: A Language for Robust Software Systems",
Proceedings of the 22nd European Conference on Object-Oriented Programming (Lecture Notes in Computer Science), pp. 490-515, July, 2008.