Modular Relaxed Dependencies in Weak Memory Concurrency.
Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, and Mark Batty. In: Müller, P. (eds) Programming Languages and Systems. ESOP 2020. Lecture Notes [...]
Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, and Mark Batty. In: Müller, P. (eds) Programming Languages and Systems. ESOP 2020. Lecture Notes [...]
John Galea and Daniel Kroening. ASIA CCS ’20: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, October 2020, 622–636. 2020
Takamasa Okudono and Andy King. In: Biere, A., Parker, D. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2020. Lecture Notes [...]
Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, and Rajagopal Nagarajan. In: Biere, A., Parker, D. (eds) Tools and Algorithms for the Construction and Analysis [...]
Kangfeng Ye, Simon Foster, and Jim Woodcock. In: Adamatzky, A., Kendon, V. (eds) From Astrophysics to Unconventional Computation. Emergence, Complexity and Computation, vol 35. 2020
Wilmer Ricciotti and James Cheney. 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020. 2020
Alastair F. Donaldson, Hugues Evrard, and Paul Thomson. 34th European Conference on Object-Oriented Programming, ECOOP 2020. 2020
Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, and Antoni Karpiński. PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference [...]
David Castro, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, and Nobuko Yoshida. Proceedings of the ACM on Programming Languages, Volume 3, Issue POPL, 2019, Article No.: [...]
Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, and David Aspinall. In: Oliveira, B.C.d.S. (eds) Programming Languages and Systems. APLAS 2020, vol 12470. 2020
The Research Institute on
Verified Trustworthy Software Systems
The Research Institute on
Verified Trustworthy Software Systems
© Copyright 2024 • Made with by Envious Digital