I agree that this site is using cookies. You can find further informations here.
X
Parkinson, Matthew
422  results:
OpenAccess-fulltext X
Search for persons X
?
1

Reference Capabilities for Flexible Memory Management: Exte..:

Arvidsson, Ellen ; Castegren, Elias ; Clebsch, Sylvan...
http://arxiv.org/abs/2309.02983.  , 2023
Link: http://arxiv.org/abs/230..
 
?
2

Reference Capabilities for Flexible Memory Management:

Arvidsson, Ellen ; Castegren, Elias ; Clebsch, Sylvan...
Proceedings of the ACM on Programming Languages, 2023, 7:OOPSLA2, s. 1363-1393.  , 2023
Link: http://urn.kb.se/resolve..
 
?
3

When Concurrency Matters : Behaviour-Oriented Concurrency:

Cheeseman, Luke ; Parkinson, Matthew J ; Clebsch, Sylvan...
Proceedings of the ACM on Programming Languages, 2023, 7:OOPSLA2, s. 1531-1560.  , 2023
Link: http://urn.kb.se/resolve..
 
?
4

Error Analysis and Uncertainty Quantification for the Heter..:

Graham, Ivan G ; Parkinson, Matthew J ; Scheichl, Robert
Graham , I G , Parkinson , M J & Scheichl , R 2021 , ' Error Analysis and Uncertainty Quantification for the Heterogeneous Transport Equation in Slab Geometry ' , IMA Journal of Numerical Analysis , vol. 41 , no. 4 , pp. 2331–2361 . https://doi.org/10.1093/imanum/draa028.  , 2021
Link: https://researchportal.b..
 
?
5

Full Error Analysis and Uncertainty Quantification for the ..:

Graham, Ivan G ; Parkinson, Matthew J ; Scheichl, Robert
http://arxiv.org/abs/1903.11838.  , 2019
Link: http://arxiv.org/abs/190..
 
?
6

Proving Linearizability Using Partial Orders (Extended Vers..:

Khyzha, Artem ; Dodds, Mike ; Gotsman, Alexey.
http://arxiv.org/abs/1701.05463.  , 2017
Link: http://arxiv.org/abs/170..
 
?
7

Modern Monte Carlo Variants for Uncertainty Quantification ..:

Graham, Ivan G ; Parkinson, Matthew J ; Scheichl, Robert
http://arxiv.org/abs/1702.03561.  , 2017
Link: http://arxiv.org/abs/170..
 
?
8

A Generic Logic for Proving Linearizability (Extended Versi..:

Khyzha, Artem ; Gotsman, Alexey ; Parkinson, Matthew
http://arxiv.org/abs/1609.01171.  , 2016
Link: http://arxiv.org/abs/160..
 
?
9

The stability of old skills during transfer:

Speelman, Craig P ; Forbes, John D ; Giesen, Kris..
https://ro.ecu.edu.au/ecuworkspost2013/2284.  , 2016
Link: https://ro.ecu.edu.au/ec..
 
?
10

New Lace and Arsenic: adventures in weak memory with a prog..:

Bornat, Richard ; Alglave, Jade ; Parkinson, Matthew
http://arxiv.org/abs/1512.01416.  , 2015
Link: http://arxiv.org/abs/151..
 
?
11

The Relationship Between Separation Logic and Implicit Dyna..:

Parkinson, Matthew J ; Summers, Alexander J
info:eu-repo/semantics/altIdentifier/doi/10.2168/LMCS-8(3:1)2012.  , 2012
Link: https://hdl.handle.net/2..
 
?
12

Recovery from a transfer disruption:

Speelman, Craig ; Parkinson, Matthew
https://ro.ecu.edu.au/ecuworks2012/729.  , 2012
Link: https://ro.ecu.edu.au/ec..
 
?
13

The Relationship Between Separation Logic and Implicit Dyna..:

Parkinson, Matthew J ; Summers, Alexander J
http://arxiv.org/abs/1203.6859.  , 2012
Link: http://arxiv.org/abs/120..
 
?
14

Detection and quantification of branching in polyacrylates ..:

Castignolles, Patrice ; Graf, Robert ; Parkinson, Matthew..
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.polymer.2009.03.021.  , 2009
Link: https://hal.science/hal-..
 
?
15

Artifact for "When Concurrency Matters: Behaviour Oriented ..:

Luke Cheeseman ; Matthew Parkinson ; Slyvan Clebsch...
doi:10.5281/zenodo.8320211.  , 2023
Link: https://zenodo.org/recor..
 
1-15