2015
21 references published this year.
Permission-based separation logic for multithreaded Java programs
Afshin Amighi et al. (2015) · Logical Methods in Computer Science
Witnessing the elimination of magic wands
Stefan Blom et al. (2015) · International Journal on Software Tools for Technology Transfer
Being and Change: Reasoning About Invariance
Frank S. de Boer et al. (2015) · Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings
Do bugs foreshadow vulnerabilities? A study of the Chromium project
Felivel Camilo et al. (2015) · 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories
Logical Investigations on Separation Logics
Stéphane Demri et al. (2015) · 27th European Summer School in Logic, Language and Information (ESSLLI 2015)
Separation logics and modalities: a survey
Stéphane Demri et al. (2015) · Journal of Applied Non-Classical Logics
Handbook of Epistemic Logic
Hans van Ditmarsch et al. (2015)
A Program Construction and Verification Tool for Separation Logic
Brijesh Dongol et al. (2015) · Mathematics of Program Construction
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Stijn de Gouw et al. (2015) · Computer Aided Verification
Comparing models of offensive cyber operations
Tim Grant et al. (2015) · Leading Issues in Cyber Warfare and Security: Cyber Warfare and Security
On the military geography of cyberspace
Tim Grant (2015) · Leading Issues in Cyber Warfare and Security: Cyber Warfare Secur
Path switching: Reduced-state flow handling in SDN using path information
Adiseshu Hari et al. (2015) · Proceedings of the 11th ACM Conference on Emerging Networking Experiments and Technologies
Cyber Warfare: Building the Scientific Foundation
Sushil Jajodia et al. (2015)
Introduction to Mathematical Logic
Elliott Mendelson (2015)
From categorical logic to Facebook engineering
Peter O'Hearn (2015) · 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
Thermodynamics of information
Juan M. R. Parrondo et al. (2015) · Nature Physics
Past and future of hardware and architecture
David A. Patterson (2015) · Proceedings of the SOSP History Day 2015
A Fully Verified Container Library
Nadia Polikarpova et al. (2015) · FM 2015: Formal Methods
A survey of security in software defined networks
Sandra Scott-Hayward et al. (2015) · IEEE Communications Surveys & Tutorials
Propositions as types
Philip Wadler (2015) · Communications of the ACM
The Physics of Forgetting: Thermodynamics of Information at IBM 1959–1982
Aaron Sidney Wright (2015) · Perspectives on Science