×
Edit Profile (opens in new tab)

Calcagno, Cristiano

Co-Author Distance
Author ID: calcagno.cristiano Recent zbMATH articles by "Calcagno, Cristiano"
Published as: Calcagno, Cristiano; Calcagno, C.
External Links: MGP
Documents Indexed: 34 Publications since 2000
Co-Authors: 27 Co-Authors with 32 Joint Publications
511 Co-Co-Authors
all top 5

Co-Authors

2 single-authored
11 O’Hearn, Peter W.
7 Gardner, Philippa Anne
7 Yang, Hongseok
5 Distefano, Dino
4 Berdine, Josh
4 Bornat, Richard
4 Moggi, Eugenio
3 Brotherston, James
3 Zarfaty, Uri
2 Cook, Byron
2 Dinsdale-Young, Thomas
2 Meyer, Bertrand
2 Parkinson, Matthew J.
2 Taha, Walid
1 Cardelli, Luca
1 Gordon, Andrew D.
1 Hague, Matthew
1 Helsen, Simon
1 Kim, Ik-Soon
1 Lee, Oukseh
1 Nordio, Martin
1 Raza, Mohammad
1 Thiemann, Peter J.
1 Vafeiadis, Viktor
1 van Staden, Stephan
1 Wies, Thomas
1 Yi, Kwangkeun

Serials

2 Theoretical Computer Science
2 Information and Computation
2 Journal of Functional Programming
1 Journal of the ACM
1 Logical Methods in Computer Science

Fields

32 Computer science (68-XX)
17 Mathematical logic and foundations (03-XX)
1 Category theory; homological algebra (18-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

31 Publications have been cited 561 times in 317 Documents Cited by ▼ Year ▼
Permission accounting in separation logic. Zbl 1369.68130
Bornat, Richard; Calcagno, Cristiano; O’Hearn, Peter; Parkinson, Matthew
65
2005
Symbolic execution with separation logic. Zbl 1159.68363
Berdine, Josh; Calcagno, Cristiano; O’Hearn, Peter W.
61
2005
A decidable fragment of separation logic. Zbl 1117.03337
Berdine, Josh; Calcagno, Cristiano; O’Hearn, Peter W.
47
2004
Computability and complexity results for a spatial assertion language for data structures. Zbl 1052.68590
Calcagno, Cristiano; Yang, Hongseok; O’Hearn, Peter W.
43
2001
Compositional shape analysis by means of bi-abduction. Zbl 1315.68085
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter; Yang, Hongseok
41
2009
Compositional shape analysis by means of bi-abduction. Zbl 1281.68155
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok
36
2011
Scalable shape analysis for systems code. Zbl 1155.68359
Yang, Hongseok; Lee, Oukseh; Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter
32
2008
Shape analysis for composite data structures. Zbl 1135.68372
Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.; Wies, Thomas; Yang, Hongseok
30
2007
Modular safety checking for fine-grained concurrency. Zbl 1211.68082
Calcagno, Cristiano; Parkinson, Matthew; Vafeiadis, Viktor
26
2007
Context logic as modal logic, completeness and parametric inexpressivity. Zbl 1295.68079
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri
24
2007
Context logic and tree update. Zbl 1369.68132
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri
17
2005
Cyclic proofs of program termination in separation logic. Zbl 1295.68156
Brotherston, James; Bornat, Richard; Calcagno, Cristiano
16
2008
Classical BI: its semantics and proof theory. Zbl 1198.03028
Brotherston, James; Calcagno, Cristiano
14
2010
Variables as resource in separation logic. Zbl 1273.03101
Bornat, Richard; Calcagno, Cristiano; Yang, Hongseok
14
2006
Deciding validity in a spatial logic for trees. Zbl 1083.68021
Calcagno, Cristiano; Cardelli, Luca; Gordon, Andrew D.
13
2005
Beyond reachability: shape abstraction in the presence of pointer arithmetic. Zbl 1225.68069
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok
12
2006
From separation logic to first-order logic. Zbl 1119.03022
Calcagno, Cristiano; Gardner, Philippa; Hague, Matthew
12
2005
A polymorphic modal type system for Lisp-like multi-staged languages. Zbl 1369.68076
Kim, Ik-Soon; Yi, Kwangkeun; Calcagno, Cristiano
10
2006
Program logic and equivalence in the presence of garbage collection. Zbl 1038.68011
Calcagno, Cristiano; O’Hearn, Peter; Bornat, Richard
6
2003
Adjunct elimination in context logic for trees. Zbl 1200.68224
Calcagno, Cristiano; Dinsdale-Young, Thomas; Gardner, Philippa
6
2010
Closed types as a simple approach to save imperative multi-stage programming. Zbl 0973.68037
Calcagno, Cristiano; Moggi, Eugenio; Taha, Walid
5
2000
Closed types for a safe imperative MetaML. Zbl 1036.68024
Calcagno, C.; Moggi, E.; Sheard, T.
5
2003
Classical BI: a logic for reasoning about dualising resources. Zbl 1315.68175
Brotherston, James; Calcagno, Cristiano
5
2009
Stratified operational semantics for safety and correctness of the region calculus. Zbl 1323.68354
Calcagno, Cristiano
5
2001
ML-like inference for classifiers. Zbl 1126.68330
Calcagno, Cristiano; Moggi, Eugenio; Taha, Walid
4
2004
Syntactic type soundness results for the region calculus. Zbl 1009.68019
Calcagno, Cristiano; Helsen, Simon; Thiemann, Peter
3
2002
Automatic parallelization with separation logic. Zbl 1234.68080
Raza, Mohammad; Calcagno, Cristiano; Gardner, Philippa
3
2009
Adjunct elimination in context logic for trees. Zbl 1137.03312
Calcagno, Cristiano; Dinsdale-Young, Thomas; Gardner, Philippa
2
2007
Local reasoning about data update. Zbl 1277.68064
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri
2
2007
Multi-stage imperative languages: A conservative extension result. Zbl 1044.68025
Calcagno, Cristiano; Moggi, Eugenio
1
2000
On garbage and program logic. Zbl 0978.68043
Calcagno, Cristiano; O’Hearn, Peter W.
1
2001
Compositional shape analysis by means of bi-abduction. Zbl 1281.68155
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok
36
2011
Classical BI: its semantics and proof theory. Zbl 1198.03028
Brotherston, James; Calcagno, Cristiano
14
2010
Adjunct elimination in context logic for trees. Zbl 1200.68224
Calcagno, Cristiano; Dinsdale-Young, Thomas; Gardner, Philippa
6
2010
Compositional shape analysis by means of bi-abduction. Zbl 1315.68085
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter; Yang, Hongseok
41
2009
Classical BI: a logic for reasoning about dualising resources. Zbl 1315.68175
Brotherston, James; Calcagno, Cristiano
5
2009
Automatic parallelization with separation logic. Zbl 1234.68080
Raza, Mohammad; Calcagno, Cristiano; Gardner, Philippa
3
2009
Scalable shape analysis for systems code. Zbl 1155.68359
Yang, Hongseok; Lee, Oukseh; Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter
32
2008
Cyclic proofs of program termination in separation logic. Zbl 1295.68156
Brotherston, James; Bornat, Richard; Calcagno, Cristiano
16
2008
Shape analysis for composite data structures. Zbl 1135.68372
Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.; Wies, Thomas; Yang, Hongseok
30
2007
Modular safety checking for fine-grained concurrency. Zbl 1211.68082
Calcagno, Cristiano; Parkinson, Matthew; Vafeiadis, Viktor
26
2007
Context logic as modal logic, completeness and parametric inexpressivity. Zbl 1295.68079
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri
24
2007
Adjunct elimination in context logic for trees. Zbl 1137.03312
Calcagno, Cristiano; Dinsdale-Young, Thomas; Gardner, Philippa
2
2007
Local reasoning about data update. Zbl 1277.68064
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri
2
2007
Variables as resource in separation logic. Zbl 1273.03101
Bornat, Richard; Calcagno, Cristiano; Yang, Hongseok
14
2006
Beyond reachability: shape abstraction in the presence of pointer arithmetic. Zbl 1225.68069
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok
12
2006
A polymorphic modal type system for Lisp-like multi-staged languages. Zbl 1369.68076
Kim, Ik-Soon; Yi, Kwangkeun; Calcagno, Cristiano
10
2006
Permission accounting in separation logic. Zbl 1369.68130
Bornat, Richard; Calcagno, Cristiano; O’Hearn, Peter; Parkinson, Matthew
65
2005
Symbolic execution with separation logic. Zbl 1159.68363
Berdine, Josh; Calcagno, Cristiano; O’Hearn, Peter W.
61
2005
Context logic and tree update. Zbl 1369.68132
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri
17
2005
Deciding validity in a spatial logic for trees. Zbl 1083.68021
Calcagno, Cristiano; Cardelli, Luca; Gordon, Andrew D.
13
2005
From separation logic to first-order logic. Zbl 1119.03022
Calcagno, Cristiano; Gardner, Philippa; Hague, Matthew
12
2005
A decidable fragment of separation logic. Zbl 1117.03337
Berdine, Josh; Calcagno, Cristiano; O’Hearn, Peter W.
47
2004
ML-like inference for classifiers. Zbl 1126.68330
Calcagno, Cristiano; Moggi, Eugenio; Taha, Walid
4
2004
Program logic and equivalence in the presence of garbage collection. Zbl 1038.68011
Calcagno, Cristiano; O’Hearn, Peter; Bornat, Richard
6
2003
Closed types for a safe imperative MetaML. Zbl 1036.68024
Calcagno, C.; Moggi, E.; Sheard, T.
5
2003
Syntactic type soundness results for the region calculus. Zbl 1009.68019
Calcagno, Cristiano; Helsen, Simon; Thiemann, Peter
3
2002
Computability and complexity results for a spatial assertion language for data structures. Zbl 1052.68590
Calcagno, Cristiano; Yang, Hongseok; O’Hearn, Peter W.
43
2001
Stratified operational semantics for safety and correctness of the region calculus. Zbl 1323.68354
Calcagno, Cristiano
5
2001
On garbage and program logic. Zbl 0978.68043
Calcagno, Cristiano; O’Hearn, Peter W.
1
2001
Closed types as a simple approach to save imperative multi-stage programming. Zbl 0973.68037
Calcagno, Cristiano; Moggi, Eugenio; Taha, Walid
5
2000
Multi-stage imperative languages: A conservative extension result. Zbl 1044.68025
Calcagno, Cristiano; Moggi, Eugenio
1
2000
all cited Publications top 5 cited Publications
all top 5

Cited by 499 Authors

13 Gardner, Philippa Anne
12 Demri, Stéphane P.
10 Lozes, Etienne
10 Tatsuta, Makoto
9 O’Hearn, Peter W.
8 Calcagno, Cristiano
7 Birkedal, Lars
7 Chin, Wei-Ngan
7 Mansutti, Alessio
6 Brotherston, James
6 Cook, Byron
6 Dinsdale-Young, Thomas
6 Igarashi, Atsushi
6 Iosif, Radu
6 Rival, Xavier
6 Vojnar, Tomáš
5 Bouajjani, Ahmed
5 Jones, Cliff B.
5 Krebbers, Robbert
5 Larchey-Wendling, Dominique
5 Le, Quang Loc
5 Parkinson, Matthew J.
4 Bornat, Richard
4 Brochenin, Rémi
4 Brookes, Stephen D.
4 da Rocha Pinto, Pedro
4 Enea, Constantin
4 Feng, Xinyu
4 Hou, Zhe
4 Kimura, Daisuke
4 Lammich, Peter
4 Madhusudan, Parthasarathy
4 Müller, Peter
4 Nanevski, Aleksandar
4 Pym, David J.
4 Qadeer, Shaz
4 Qin, Shengchao
4 Sagiv, Mooly
4 Schellhorn, Gerhard
4 Shao, Zhong
4 Taha, Walid
4 Tiu, Alwen Fernanto
4 Vafeiadis, Viktor
4 Villard, Jules
4 Wies, Thomas
4 Yang, Hongseok
4 Zuleger, Florian
3 Appel, Andrew W.
3 Berardi, Stefano
3 Berdine, Josh
3 Cao, Yongzhi
3 Chen, Taolue
3 Cohen, Liron
3 Derrick, John
3 Deters, Morgan
3 Distefano, Dino
3 Docherty, Simon
3 Dongol, Brijesh
3 Fervari, Raul
3 Habermehl, Peter
3 Holík, Lukáš
3 Lahiri, Shuvendu Kumar
3 Lengál, Ondřej
3 Matheja, Christoph
3 Melliès, Paul-André
3 Noll, Thomas
3 Peltier, Nicolas
3 Petersen, Rasmus Lerchedahl
3 Piessens, Frank
3 Reus, Bernhard
3 Rowe, Reuben N. S.
3 Sergey, Ilya
3 Sighireanu, Mihaela
3 Stefanesco, Léo
3 Wang, Hanpin
3 Wehrheim, Heike
3 Yi, Kwangkeun
2 Abdulla, Parosh Aziz
2 Aiken, Alex
2 Al Ameen, Mahmudul Faisal
2 Amjad, Hasan
2 Arusoaie, Andrei
2 Bednarczyk, Bartosz
2 Beringer, Lennart
2 Bizjak, Aleš
2 Bozga, Marius
2 Caires, Luís
2 Chang, Bor-Yuh Evan
2 Charlton, Nathaniel
2 Cousot, Patrick
2 Cousot, Radhia
2 Dang, Han-Hing
2 de Boer, Frank S.
2 De Gouw, Stijn
2 Dong, Yuan
2 Dragoi, Cezara
2 Dreyer, Derek R.
2 Duan, Zhenhua
2 Echenim, Mnacho
2 Galmiche, Didier
...and 399 more Authors
all top 5

Cited in 34 Serials

15 Theoretical Computer Science
13 Journal of Automated Reasoning
12 Formal Aspects of Computing
12 Formal Methods in System Design
10 Information and Computation
8 Logical Methods in Computer Science
6 ACM Transactions on Computational Logic
5 Journal of Logical and Algebraic Methods in Programming
4 Journal of Functional Programming
2 Acta Informatica
2 Journal of Symbolic Computation
2 New Generation Computing
2 Journal of Applied Non-Classical Logics
2 Higher-Order and Symbolic Computation
2 Computer Languages, Systems & Structures
1 Artificial Intelligence
1 Information Processing Letters
1 Journal of Computer and System Sciences
1 Journal of Philosophical Logic
1 Programming and Computer Software
1 Studia Logica
1 Science of Computer Programming
1 Annals of Pure and Applied Logic
1 Journal of Computer Science and Technology
1 Mathematical Structures in Computer Science
1 Distributed Computing
1 Theory of Computing Systems
1 Journal of the ACM
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Fundamenta Informaticae
1 The Journal of Logic and Algebraic Programming
1 New Mathematics and Natural Computation
1 Science China. Information Sciences
1 Frontiers of Computer Science in China
all top 5

Cited in 8 Fields

292 Computer science (68-XX)
182 Mathematical logic and foundations (03-XX)
4 Category theory; homological algebra (18-XX)
3 Probability theory and stochastic processes (60-XX)
2 Quantum theory (81-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year