Amin Timany

1. Modular Denotational Semantics for Effects with Guarded Interaction Trees
   2023/07/17 by Dan Frumin, Frumin, Dan, Amin Timany +3 · 3 citations
   Computer Science · #Semantic Web and Ontologies #Natural Language Processing Techniques #Logic, programming, and type systems
2. Reasoning about Weak Isolation Levels in Separation Logic
   2025/01/24 by Anders Alnor Mathiasen, Mathiasen, Anders Alnor, Léon Gondelman +7 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
3. Yarrow: Reconciling Effects Handlers and Region-Based Memory Management
   2026/07/17 by Anders Alnor Mathiasen, Amin Timany, Lars Birkedal
   #cs.PL
4. Verifying Isolation Levels of Database Implementations for Free Using Separation Logic
   2026/07/17 by Anders Alnor Mathiasen, Amin Timany, Lars Birkedal
   #cs.DB