Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile
Articles by Simon Oddershede
Computer Science > Logic in Computer Science
One strategy for reasoning about programs that have certain kinds of effects is to use program logics that provide specialized rules for reasoning about these effects. However, developing program logics requires skills that are distinct from those needed for using program logics, making the development of new logics challenging and less accessible.
[2501.10802] Logical Relations for Formally Verified Authenticated Data Structures
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
[2407.14107] Approximate Relational Reasoning for Higher-Order Probabilistic Programs
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
[2404.08494] Almost-Sure Termination by Guarded Refinement
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
[2301.10061] Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
[Submitted on 24 Jan 2023 ( v1 ), last revised 14 Jul 2023 (this version, v2)] Title:Asynchronous Probabilistic Couplings in Higher-Order Separation Logic Download a PDF of the paper titled Asynchronous Probabilistic Couplings in Higher-Order Separation Logic, by Simon Oddershede Gregersen and 4 other authors Download PDF Abstract: Probabilistic couplings are the foundation for many probabilistic relational program logics and arise when relating random sampling statements across two programs.
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Show More
loading
Actions
Is this you?
As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.Get in touch with Simon
Contact Simon, search articles and posts on X, monitor coverage, and track replies from one place.
Learn more about Muck Rack