Papaya: Global Typestate Analysis of Aliased Objects

Jakobsen, Mathias; Ravier, Alice; Dardha, Ornela

doi:10.1145/3479394.3479414

Cited by 8 publications

(2 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We think that connections between the encodings and linear logic will start to emerge, possibly building on the the Curry-Howard isomorphisms between session types and linear logic [4,10,45], which has gained momentum in the last decade. Lastly, we think connections between the encoding and typestatesa formalism similar to session types developed in the context of object-oriented programming [24,30]-may emerge, possibly leveraging connections between the 𝜋-calculus and objects [37].…”

Section: Future Developmentsmentioning

confidence: 99%

Session Types Revisited: A Decade Later

Dardha

Giachino

Sangiorgi

2022

Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming

View full text Add to dashboard Cite

show abstract

Section: Future Developmentsmentioning

confidence: 99%

Session Types Revisited: A Decade Later

Dardha

Giachino

Sangiorgi

2022

Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming

View full text Add to dashboard Cite

show abstract

“…Moreover, we self-generated 122 client programs that follow the compositional patterns we described in Example 3.3.1 (this kind of patterns are also considered in, e.g., [JRD21]). The pattern defines a composed class, as the class Bar illustrated at the end of Section 3.3.1, that has an object member of classes that have declared contracts (recall that we refer to those as base classes).…”

Section: Claim-ii: Improved Scalability On Large Code and Contracts O...mentioning

confidence: 99%

Minimal structures for program analysis and verification

Arslanagić

View full text Add to dashboard Cite

The past five years have been a remarkable period of my life. Pursuing a PhD has truly been an adventure. My PhD experience has been nothing but good. Any facet of a PhD could appear challenging at first, but all of them provided me with invaluable experiences and memories. This is all thanks to people that supported me during this journey.First of all, I would like to express my sincere gratitude to my supervisors Prof. Gerard Renardel de Lavalette and Prof. Jorge A. Pérez. Their expertise and supervision made the results in this dissertation possible.Gerard, I am truly thankful for your welcoming attitude and responsiveness. Your research capabilities and experience made every research or administrative task feel effortless. I have always appreciated this. I had a privilege of attending your retirement ceremony which is one of the highlights of my academic life in Groningen. Your guides and advice were invaluable for me and some of them still stick with me.Jorge, I have been continuously inspired by your immense research talent. Your supervision has been invaluable for shaping me as a researcher. Throughout the research process, which presented its challenges at times, your supervision style and dedication ensured a seamless journey. I have never taken this for granted. Your commitment to research has been a source of motivation for me. I will always remember your teachings, our (daily) research discussions, collaborative writing, etc. I gained a lot of knowledge and skills in all aspects of research. This has opened many new perspectives and possibilities for me. Pursuing PhD under your supervision was truly an enriching experience. For all of this you deserve my deepest gratitude. Last but not least, I wish to thank you for your responsiveness and assistance in matters not directly related to research. You were always there to help me navigate various tasks. I was fortunate to have you as a daily supervisor. I believe your future students might not be fully aware at the beginning how lucky they are to have you as a supervisor.I am immensely grateful to Prof. Silvia Ghilezan for her mentorship throughout my research endeavour. Prof. Silvia introduced me to the field of logic in Computer Science and provided me with an invaluable opportunity to study Theoretical Computer Science at a master program in Paris. This opened a new research world for me and ultimately paved the way towards my PhD. I am impressed by Silvia's dedication to science and research. I am continuously inspired by Silvia's vast knowledge and contributions in diverse research fields. Silvia's continuous efforts in creating an environment and opportunities for aspiring researchers in Serbia are remarkable and inspiring. I consider myself extremely fortunate to be supported and motivated by Silvia at the beginning of my research journey.In my second year of PhD I did an internship where I was lucky to meet and be supervised by Pavle Subotić. I learned a lot through our collaboration that continued well beyond the internship. I am grateful to Pav...

show abstract

Scalable Typestate Analysis for Low-Latency Environments

Arslanagić

Subotić²,

Pérez

2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors, and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

show abstract

Papaya: Global Typestate Analysis of Aliased Objects

Cited by 8 publications

References 30 publications

Session Types Revisited: A Decade Later

Session Types Revisited: A Decade Later

Minimal structures for program analysis and verification

Scalable Typestate Analysis for Low-Latency Environments

Contact Info

Product

Resources

About