| 0 | -- | 0 | Martin Hecker 0001, Simon Bischof, Gregor Snelting. On Time-sensitive Control Dependencies |
| 0 | -- | 0 | Darya Melicher, Anlun Xu, Valerie Zhao, Alex Potanin, Jonathan Aldrich. Bounded Abstract Effects |
| 0 | -- | 0 | Chaoqiang Deng, Patrick Cousot. The Systematic Design of Responsibility Analysis by Abstract Interpretation |
| 0 | -- | 0 | Maria I. Gorinova 0001, Andrew D. Gordon 0001, Charles Sutton, Matthijs Vákár. Conditional Independence by Typing |
| 0 | -- | 0 | Omar Inverso, Ermenegildo Tomasco, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. Bounded Verification of Multi-threaded Programs via Lazy Sequentialization |