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.
Hawkins, B., and B. Demsky,
"ZenIDS: Introspective Intrusion Detection for PHP Applications",
39th International Conference on Software Engineering (ICSE 2017), Buenos Aires, Argentina, IEEE Press, pp. 232-243, May 20-28, 2017.