Showing 1–20 of 29 results
/ Date/ Name
Sep 24, 2020Hyperkähler Isometries Of K3 SurfacesDec 4, 2002Ownership Confinement Ensures Representation Independence for Object-Oriented ProgramsJan 3, 2022Comments on Summing over Bordisms in TQFTSep 1, 2015Constraining parameters of effective field theory of inflation from Planck dataNov 12, 2022Formally Verified Samplers From Probabilistic Programs With Loops and ConditioningDec 20, 2022Making Relational Hoare Logic Alignment CompleteOct 31, 2019A Relational Program Logic with Data Abstraction and Dynamic FramingSep 18, 2013Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth BirthdayNov 7, 2017A Theory of Slicing for Probabilistic Control-Flow GraphsDec 10, 2024A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic ProgramsApr 27, 2016Concurrent Data Structures Linked in TimeDec 30, 20243d $\mathcal{N}=4$ Mirror Symmetry, TQFTs, and 't Hooft Anomaly MatchingJul 19, 2023Alignment complete relational Hoare logics for some and allJan 24, 2023Inductive Reasoning for Coinductive TypesApr 15, 2019Specifying Concurrent Programs in Separation Logic: Morphisms and SimulationsSep 21, 2015Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent ObjectsOct 1, 2014Specifying and Verifying Concurrent Algorithms with Histories and SubjectivityNov 10, 2025Macdonald Index From Refined Kontsevich-Soibelman OperatorOct 23, 2020On Algebraic Abstractions for Concurrent Separation LogicsSep 22, 2017Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources