Error analysis and uncertainty quantification for the heterogeneous transport equation in slab geometry von Graham, Ivan G, Parkinson, Matthew J, Scheichl, Robert

Volltext

Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic von Dodds, Mike, Jagannathan, Suresh, Parkinson, Matthew J., Svendsen, Kasper, Birkedal, Lars

Volltext

The Relationship Between Separation Logic and Implicit Dynamic Frames von Parkinson, Matthew J., Summers, Alexander J.

Volltext

Error Analysis and Uncertainty Quantification for the Heterogeneous Transport Equation in Slab Geometry von Graham, Ivan G., Parkinson, Matthew J., Scheichl, Robert

Volltext

Concurrent Immediate Reference Counting von Jung, Jaehwang, Kim, Jeonghyeon, Parkinson, Matthew J., Kang, Jeehoon

Volltext

Separation logic, abstraction and inheritance von Parkinson, Matthew J., Bierman, Gavin M.

Volltext

Reference Capabilities for Flexible Memory Management von Arvidsson, Ellen, Castegren, Elias, Clebsch, Sylvan, Drossopoulou, Sophia, Noble, James, Parkinson, Matthew J., Wrigstad, Tobias

Volltext

Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types von Gordon, Colin S., Ernst, Michael D., Grossman, Dan, Parkinson, Matthew J.

Volltext

When Concurrency Matters: Behaviour-Oriented Concurrency von Cheeseman, Luke, Parkinson, Matthew J., Clebsch, Sylvan, Kogias, Marios, Drossopoulou, Sophia, Chisnall, David, Wrigstad, Tobias, Liétar, Paul

Volltext

Modular reasoning for deterministic parallelism von Dodds, Mike, Jagannathan, Suresh, Parkinson, Matthew J.

Volltext

Concurrent abstract predicates von Dinsdale-Young, Thomas, Dodds, Mike, Gardner, Philippa, Parkinson, Matthew J., Vafeiadis, Viktor

Volltext

jStar: towards practical verification for java von Distefano, Dino, Parkinson J, Matthew J.

Volltext

Concurrent Abstract Predicates von Dinsdale-Young, Thomas, Dodds, Mike, Gardner, Philippa, Parkinson, Matthew J., Vafeiadis, Viktor

Volltext

Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract von Parkinson, Matthew J., Clebsch, Sylvan, Wrigstad, Tobias

Volltext bestellen

Reference Counting Deeply Immutable Data Structures with Cycles : An Intellectual Abstract von Parkinson, Matthew J, Clebsch, Sylvan, Wrigstad, Tobias

Volltext bestellen

Automatic safety proofs for asynchronous memory operations von Botincan, Matko, Dodds, Mike, Donaldson, Alastair F., Parkinson, Matthew J.

Volltext

The Relationship between Separation Logic and Implicit Dynamic Frames von Parkinson, Matthew J., Summers, Alexander J.

Volltext

Starling: Lightweight Concurrency Verification with Views von Windsor, Matt, Dodds, Mike, Simner, Ben, Parkinson, Matthew J.

Volltext

Trieste: A C++ DSL for Flexible Tree Rewriting von Clebsch, Sylvan, Blomqvist, Matilda, Castegren, Elias, Johnson, Matthew A., Parkinson, Matthew J.

Volltext bestellen

SeLoger: A Tool for Graph-Based Reasoning in Separation Logic von Haase, Christoph, Ishtiaq, Samin, Ouaknine, Joël, Parkinson, Matthew J.

Volltext