I agree that this site is using cookies. You can find further informations here.
X
Parkinson, Matthew
218  results:
Articles (Online) X
Search for persons X
?
1

Concurrent Immediate Reference Counting:

Jung, Jaehwang ; Kim, Jeonghyeon ; Parkinson, Matthew J..
Proceedings of the ACM on Programming Languages.  8 (2024)  PLDI - p. 151-174 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Molecular Taxonomy of South Africa's Catsharks: How Far Hav..:

van Staden, Michaela ; Ebert, David A. ; Gennari, Enrico...
Diversity.  15 (2023)  7 - p. 828 , 2023
Link: https://doi.org/10.3390/..
 
?
3

Reference Capabilities for Flexible Memory Management:

Arvidsson, Ellen ; Castegren, Elias ; Clebsch, Sylvan...
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 1363-1393 , 2023
Link: https://doi.org/10.1145/..
 
?
4

When Concurrency Matters: Behaviour-Oriented Concurrency:

Cheeseman, Luke ; Parkinson, Matthew J. ; Clebsch, Sylvan...
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 1531-1560 , 2023
Link: https://doi.org/10.1145/..
 
?
5

Error analysis and uncertainty quantification for the heter..:

Graham, Ivan G ; Parkinson, Matthew J ; Scheichl, Robert
IMA Journal of Numerical Analysis.  41 (2020)  4 - p. 2331-2361 , 2020
Link: https://doi.org/10.1093/..
 
?
6

The role of digital prototyping tools in learning factories:

Nelson, Jacob ; Berlin, Andrew ; Menold, Jessica.
Procedia Manufacturing.  45 (2020)  - p. 528-533 , 2020
Link: https://doi.org/10.1016/..
 
?
7

Microsatellite development and detection of admixture among..:

van Staden, Michaela ; Gledhill, Katie Samantha ; Gennari, Enrico...
Aquatic Conservation: Marine and Freshwater Ecosystems.  30 (2020)  12 - p. 2336-2350 , 2020
Link: https://doi.org/10.1002/..
 
?
8

Controlled Synthesis, Characterization, and Flow Properties..:

Das, Chinmay ; Elguweri, Muhiddin ; Jiang, Peijun...
Macromolecular Reaction Engineering.  13 (2019)  3 - p. , 2019
Link: https://doi.org/10.1002/..
 
?
9

Glasses-type wearable computer displays: usability consider..:

Chang, Joonho ; Moon, Seung Ki ; Jung, Kihyo...
Ergonomics.  61 (2017)  5 - p. 670-681 , 2017
Link: https://doi.org/10.1080/..
 
?
10

Project snowflake: non-blocking safe manual memory manageme..:

Parkinson, Matthew ; Vytiniotis, Dimitrios ; Vaswani, Kapil...
Proceedings of the ACM on Programming Languages.  1 (2017)  OOPSLA - p. 1-25 , 2017
Link: https://dl.acm.org/doi/1..
 
?
11

Project snowflake: non-blocking safe manual memory manageme..:

Parkinson, Matthew ; Vytiniotis, Dimitrios ; Vaswani, Kapil...
Proceedings of the ACM on Programming Languages.  1 (2017)  OOPSLA - p. 1-25 , 2017
Link: https://doi.org/10.1145/..
 
?
12

Simple, fast, and safe manual memory management:

Kedia, Piyus ; Costa, Manuel ; Parkinson, Matthew...
ACM SIGPLAN Notices.  52 (2017)  6 - p. 233-247 , 2017
Link: https://doi.org/10.1145/..
 
?
13

Verifying Invariants of Lock-Free Data Structures with Rely..:

Gordon, Colin S. ; Ernst, Michael D. ; Grossman, Dan.
ACM Transactions on Programming Languages and Systems.  39 (2017)  3 - p. 1-54 , 2017
Link: https://doi.org/10.1145/..
 
?
14

Verifying Invariants of Lock-Free Data Structures with Rely..:

Gordon, Colin S. ; Ernst, Michael D. ; Grossman, Dan.
ACM Transactions on Programming Languages and Systems (TOPLAS).  39 (2017)  3 - p. 1-54 , 2017
Link: https://dl.acm.org/doi/1..
 
?
15

Verifying Custom Synchronization Constructs Using Higher-Or..:

Dodds, Mike ; Jagannathan, Suresh ; Parkinson, Matthew J...
ACM Transactions on Programming Languages and Systems.  38 (2016)  2 - p. 1-72 , 2016
Link: https://doi.org/10.1145/..
 
1-15