OOPSLA’18: Four MPI-SWS papers

Four papers to appear at OOPSLA’18 have been (co)-authored by MPI-SWS members.

• Horn-ICE Learning for Synthesizing Invariants and Contracts. Deepak D’Souza, Ezudheen P, Pranav Garg, Daniel Neider, P. Madhusudan.
• Randomized Testing of Distributed Systems with Probabilistic Guarantees. Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher.
• Reconciling High-level Optimizations and Low-level Code in LLVM. Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes.
• Persistence Semantics for Weak Memory. Azalea Raad, Viktor Vafeiadis.