Date: October 25-30, 2015
Location: Pittsburgh, PA, USA
Website: http://2015.splashcon.org/track/oopsla2015
Peizhao Ou, Brian Demsky, “AutoMO: Automatic Inference of Memory Order Parameters for C/C++11” ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2015): 221-240, Pittsburgh, PA, USA, October 25-30, 2015
Brian Demsky, Patrick Lam, “SATCheck: SAT-Directed Stateless Model Checking for SC and TSO,” ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2015): 20-36, Pittsburgh, PA, USA, October 25-30, 2015