×

zbMATH — the first resource for mathematics

Parkinson, Matthew J.

Compute Distance To:
Author ID: parkinson.matthew-j Recent zbMATH articles by "Parkinson, Matthew J."
Published as: Parkinson, Matthew; Parkinson, Matthew J.
External Links: MGP
Documents Indexed: 21 Publications since 2005

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 183 times in 115 Documents Cited by Year
Permission accounting in separation logic. Zbl 1369.68130
Bornat, Richard; Calcagno, Cristiano; O’Hearn, Peter; Parkinson, Matthew
37
2005
A marriage of rely/guarantee and separation logic. Zbl 1151.68556
Vafeiadis, Viktor; Parkinson, Matthew
31
2007
Separation logic and abstraction. Zbl 1369.68151
Parkinson, Matthew; Bierman, Gavin
20
2005
Separation logic, abstraction and inheritance. Zbl 1295.68091
Parkinson, Matthew J.; Bierman, Gavin M.
13
2008
Views, compositional reasoning for concurrent programs. Zbl 1301.68099
Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; Parkinson, Matthew; Yang, Hongseok
13
2013
Tractable reasoning in a fragment of separation logic. Zbl 1300.03017
Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James
13
2011
Modular safety checking for fine-grained concurrency. Zbl 1211.68082
Calcagno, Cristiano; Parkinson, Matthew; Vafeiadis, Viktor
13
2007
Proving that non-blocking algorithms don’t block. Zbl 1315.68093
Gotsman, Alexey; Cook, Byron; Parkinson, Matthew; Vafeiadis, Viktor
11
2009
Deny-guarantee reasoning. Zbl 1234.68075
Dodds, Mike; Feng, Xinyu; Parkinson, Matthew; Vafeiadis, Viktor
9
2009
Behavioral interface specification languages. Zbl 1293.68078
Hatcliff, John; Leavens, Gary T.; Leino, K. Rustan M.; Müller, Peter; Parkinson, Matthew
5
2012
Modular reasoning about separation of concurrent data structures. Zbl 1381.68062
Svendsen, Kasper; Birkedal, Lars; Parkinson, Matthew
4
2013
Coarse-grained transactions. Zbl 1312.68143
Koskinen, Eric; Parkinson, Matthew; Herlihy, Maurice
4
2010
Modular verification of a non-blocking stack. Zbl 1295.68092
Parkinson, Matthew; Bornat, Richard; O’Hearn, Peter
3
2007
The relationship between separation logic and implicit dynamic frames. Zbl 1256.03036
Parkinson, Matthew J.; Summers, Alexander J.
2
2012
Ribbon proofs for separation logic. Zbl 1381.68065
Wickerson, John; Dodds, Mike; Parkinson, Matthew
1
2013
Explicit stabilisation for modular rely-guarantee reasoning. Zbl 1260.68120
Wickerson, John; Dodds, Mike; Parkinson, Matthew
1
2010
Proving linearizability using partial orders. Zbl 06721338
Khyzha, Artem; Dodds, Mike; Gotsman, Alexey; Parkinson, Matthew
1
2017
The relationship between separation logic and implicit dynamic frames. Zbl 1326.68104
Parkinson, Matthew J.; Summers, Alexander J.
1
2011
Modern Monte Carlo variants for uncertainty quantification in neutron transport. Zbl 1405.65014
Graham, Ivan G.; Parkinson, Matthew J.; Scheichl, Robert
1
2018
Modern Monte Carlo variants for uncertainty quantification in neutron transport. Zbl 1405.65014
Graham, Ivan G.; Parkinson, Matthew J.; Scheichl, Robert
1
2018
Proving linearizability using partial orders. Zbl 06721338
Khyzha, Artem; Dodds, Mike; Gotsman, Alexey; Parkinson, Matthew
1
2017
Views, compositional reasoning for concurrent programs. Zbl 1301.68099
Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; Parkinson, Matthew; Yang, Hongseok
13
2013
Modular reasoning about separation of concurrent data structures. Zbl 1381.68062
Svendsen, Kasper; Birkedal, Lars; Parkinson, Matthew
4
2013
Ribbon proofs for separation logic. Zbl 1381.68065
Wickerson, John; Dodds, Mike; Parkinson, Matthew
1
2013
Behavioral interface specification languages. Zbl 1293.68078
Hatcliff, John; Leavens, Gary T.; Leino, K. Rustan M.; Müller, Peter; Parkinson, Matthew
5
2012
The relationship between separation logic and implicit dynamic frames. Zbl 1256.03036
Parkinson, Matthew J.; Summers, Alexander J.
2
2012
Tractable reasoning in a fragment of separation logic. Zbl 1300.03017
Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James
13
2011
The relationship between separation logic and implicit dynamic frames. Zbl 1326.68104
Parkinson, Matthew J.; Summers, Alexander J.
1
2011
Coarse-grained transactions. Zbl 1312.68143
Koskinen, Eric; Parkinson, Matthew; Herlihy, Maurice
4
2010
Explicit stabilisation for modular rely-guarantee reasoning. Zbl 1260.68120
Wickerson, John; Dodds, Mike; Parkinson, Matthew
1
2010
Proving that non-blocking algorithms don’t block. Zbl 1315.68093
Gotsman, Alexey; Cook, Byron; Parkinson, Matthew; Vafeiadis, Viktor
11
2009
Deny-guarantee reasoning. Zbl 1234.68075
Dodds, Mike; Feng, Xinyu; Parkinson, Matthew; Vafeiadis, Viktor
9
2009
Separation logic, abstraction and inheritance. Zbl 1295.68091
Parkinson, Matthew J.; Bierman, Gavin M.
13
2008
A marriage of rely/guarantee and separation logic. Zbl 1151.68556
Vafeiadis, Viktor; Parkinson, Matthew
31
2007
Modular safety checking for fine-grained concurrency. Zbl 1211.68082
Calcagno, Cristiano; Parkinson, Matthew; Vafeiadis, Viktor
13
2007
Modular verification of a non-blocking stack. Zbl 1295.68092
Parkinson, Matthew; Bornat, Richard; O’Hearn, Peter
3
2007
Permission accounting in separation logic. Zbl 1369.68130
Bornat, Richard; Calcagno, Cristiano; O’Hearn, Peter; Parkinson, Matthew
37
2005
Separation logic and abstraction. Zbl 1369.68151
Parkinson, Matthew; Bierman, Gavin
20
2005
all top 5

Cited by 237 Authors

6 Demri, Stéphane P.
6 Gardner, Philippa Anne
6 Schellhorn, Gerhard
5 Birkedal, Lars
5 da Rocha Pinto, Pedro
5 O’Hearn, Peter W.
4 Brookes, Stephen D.
4 Dinsdale-Young, Thomas
4 Dovland, Johan
4 Johnsen, Einar Broch
3 Brotherston, James
3 Deters, Morgan
3 Feng, Xinyu
3 Gotsman, Alexey
3 Hou, Zhe
3 Jones, Cliff B.
3 Naumann, David A.
3 Owe, Olaf
3 Parkinson, Matthew J.
3 Reif, Wolfgang
3 Steffen, Martin
3 Tiu, Alwen Fernanto
3 Tofan, Bogdan
3 Wehrheim, Heike
3 Yang, Hongseok
3 Zhang, Yu
2 Amjad, Hasan
2 Bornat, Richard
2 Chen, Taolue
2 Cook, Byron
2 Derrick, John
2 Dong, Yuan
2 Dongol, Brijesh
2 Ernst, Gidon
2 Fu, Ming
2 Hayes, Ian J.
2 Hoare, C. A. R. Tony
2 Hobor, Aquinas
2 Jung, Ralf
2 Krebbers, Robbert
2 Leavens, Gary T.
2 Leino, K. Rustan M.
2 Lozes, Etienne
2 Möller, Bernhard
2 Müller, Peter
2 Raad, Azalea
2 Reus, Bernhard
2 Shao, Zhong
2 Struth, Georg
2 Travkin, Oleg
2 Vafeiadis, Viktor
2 Villard, Jules
2 Wu, Zhilin
1 Albert, Elvira
1 Amighi, Afshin
1 Andersen, Kristoffer Just
1 Appel, Andrew W.
1 Bansal, Kshitij
1 Bao, Yuyan
1 Barnett, Mike
1 Bäumler, Simon
1 Beckert, Bernhard
1 Bengtson, Jesper
1 Berdine, Josh
1 Bilionis, Ilias
1 Bizjak, Aleš
1 Blanchette, Jasmin Christian
1 Blom, Stefan
1 Böhme, Sascha
1 Brochenin, Rémi
1 Burckhardt, Sebastian
1 Cachera, David
1 Cai, Hongxu
1 Cao, Cungen
1 Charguéraud, Arthur
1 Charlton, Nathaniel
1 Chatterjee, Satrajit
1 Ciobâcă, Ştefan
1 Colvin, Robert J.
1 Crespo, Juan Manuel
1 Dabrowski, Frédéric
1 Damiani, Ferruccio
1 Dang, Han-Hing
1 Darabi, Saeed
1 Demange, Delphine
1 Deng, Yuxin
1 Dodds, Mike
1 Doherty, Simon
1 Doko, Marko
1 Dreyer, Derek R.
1 Enea, Constantin
1 Fendrich, Sascha
1 Ferrara, Pietro
1 Filipović, Ivana
1 Fleury, Mathias
1 Flores-Montoya, Antonio
1 Furia, Carlo Alberto
1 Galmiche, Didier
1 Genaim, Samir
1 Gherghina, Cristian
...and 137 more Authors

Citations by Year