World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
31
Citations
6854
World Ranking
13397
National Ranking
853

Overview

Cristiano Calcagno is affiliated with Imperial College London in the United Kingdom. Their professional work is connected to this institution, which is recognized for contributions across various scientific disciplines.

The available data on Cristiano Calcagno does not detail specific recent publications, frequent co-authors, or primary topics of research. However, their presence at a leading academic institution suggests involvement in scholarly activities consistent with research and higher education.

No information is provided regarding publications in specific venues, book publications, or academic awards. Additionally, there are no listed main fields of study, subfields, or research topics associated with this individual in the provided data.

This profile reflects the current publicly available data on Cristiano Calcagno and their academic affiliation. Further details on their research contributions, collaborations, and specific scientific interests are not included in the source data.

Best Publications

  • Smallfoot : Modular automatic assertion checking with separation logic

    Josh Berdine;Cristiano Calcagno;Peter W. O'hearn

  • Compositional Shape Analysis by Means of Bi-Abduction

    Cristiano Calcagno;Dino Distefano;Peter W. O’Hearn;Hongseok Yang

  • Permission accounting in separation logic

    Richard Bornat;Cristiano Calcagno;Peter O'Hearn;Matthew Parkinson

  • Symbolic execution with separation logic

    Josh Berdine;Cristiano Calcagno;Peter W. O’Hearn

  • Compositional shape analysis by means of bi-abduction

    Cristiano Calcagno;Dino Distefano;Peter O'Hearn;Hongseok Yang

  • Moving Fast with Software Verification

    Cristiano Calcagno;Dino Distefano;Jérémy Dubreil;Dominik Gabi

  • Local Action and Abstract Separation Logic

    C. Calcagno;P.W. O'Hearn;Hongseok Yang

  • Scalable Shape Analysis for Systems Code

    Hongseok Yang;Oukseh Lee;Josh Berdine;Cristiano Calcagno

  • Shape analysis for composite data structures

    Josh Berdine;Cristiano Calcagno;Byron Cook;Dino Distefano

  • A decidable fragment of separation logic

    Josh Berdine;Cristiano Calcagno;Peter W. O’Hearn

  • Infer: an automatic program verifier for memory safety of C programs

    Cristiano Calcagno;Dino Distefano

  • Computability and Complexity Results for a Spatial Assertion Language for Data Structures

    Cristiano Calcagno;Hongseok Yang;Peter W. O'Hearn

  • Implementing multi-stage languages using ASTs, Gensym, and reflection

    Cristiano Calcagno;Walid Taha;Liwen Huang;Xavier Leroy

  • Cyclic proofs of program termination in separation logic

    James Brotherston;Richard Bornat;Cristiano Calcagno

  • Modular safety checking for fine-grained concurrency

    Cristiano Calcagno;Matthew Parkinson;Viktor Vafeiadis

  • Deciding validity in a spatial logic for trees

    Cristiano Calcagno;Luca Cardelli;Andrew D. Gordon

  • Variables as Resource in Separation Logic

    Richard Bornat;Cristiano Calcagno;Hongseok Yang

  • Context logic and tree update

    Unknown

  • Proving Copyless Message Passing

    Jules Villard;Étienne Lozes;Cristiano Calcagno

  • A polymorphic modal type system for lisp-like multi-staged languages

    Ik-Soon Kim;Kwangkeun Yi;Cristiano Calcagno

  • Beyond reachability: shape abstraction in the presence of pointer arithmetic

    Cristiano Calcagno;Dino Distefano;Peter W. O'Hearn;Hongseok Yang

  • Permission accounting in separation logic

    Unknown

Frequent Co-Authors

Peter W. O'Hearn
Peter W. O'Hearn University College London
Hongseok Yang
Hongseok Yang Korea Advanced Institute of Science and Technology
Bertrand Meyer
Bertrand Meyer Schaffhausen Institute of Technology
Walid Taha
Walid Taha Halmstad University
Peter Müller
Peter Müller ETH Zurich
Byron Cook
Byron Cook Amazon (United States)
Andrew D. Gordon
Andrew D. Gordon Microsoft (United States)
Luca Cardelli
Luca Cardelli University of Oxford
Viktor Vafeiadis
Viktor Vafeiadis Max Planck Institute for Software Systems
Xavier Leroy
Xavier Leroy Collège de France

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens up a world of flexible online study options and varied career paths. Many students begin with online associate degree programs to build foundational knowledge and quickly enter the tech workforce. These programs are accessible and can be completed in as little as two years.

For those seeking swift advancement, fastest online master's degree routes allow professionals to earn an advanced credential in less time, sometimes in just 12 to 18 months. Choosing the right specialization is crucial; consult top recommendations for what masters program should i do to ensure your degree aligns with current industry demand.

Alternatively, if you want to boost your skills and salary prospects quickly, consider easy certifications to get. These short, targeted certifications can make your resume stand out—an ideal approach if you’re balancing work, study, and other commitments.

Carefully choosing your degree pathway and certifications will help you develop the expertise needed for a successful technology career, whether you’re just starting out or looking to advance.

Best Scientists Citing Cristiano Calcagno

Recently Published Articles