Amin Timany - RankMe

44 papers A* 1A 3B 6C 1Journal 30Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Context-Dependent Effects and Concurrency in Guarded Interaction Trees. CoRR Sergei Stepanenko, Emma Nardino, Virgil Marionneau, Dan Frumin, Amin Timany, Lars Birkedal
2025	—	`conf`	Context-Dependent Effects in Guarded Interaction Trees. ESOP (2) Sergei Stepanenko, Emma Nardino, Dan Frumin, Amin Timany, Lars Birkedal
2025	B	`ed.`	Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025 CPP Kathrin Stark, Amin Timany, Sandrine Blazy, Nicolas Tabareau
2025	J	`jnl`	Reasoning about Weak Isolation Levels in Separation Logic. CoRR Anders Alnor Mathiasen, Léon Gondelman, Léon Ducruet, Amin Timany, Lars Birkedal
2025	J	`jnl`	Reasoning about Weak Isolation Levels in Separation Logic. Proc. ACM Program. Lang. Anders Alnor Mathiasen, Léon Gondelman, Léon Ducruet, Amin Timany, Lars Birkedal
2025	B	`conf`	Solving Guarded Domain Equations in Presheaves over Ordinals and Mechanizing It. FSCD Sergei Stepanenko, Amin Timany
2024	J	`jnl`	A Logical Approach to Type Soundness. J. ACM Amin Timany, Robbert Krebbers, Derek Dreyer, Lars Birkedal
2024	J	`jnl`	Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code. J. ACM Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal
2024	J	`jnl`	Modular Denotational Semantics for Effects with Guarded Interaction Trees. Proc. ACM Program. Lang. Dan Frumin, Amin Timany, Lars Birkedal
2024	B	`ed.`	Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024 CPP Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy
2024	J	`jnl`	The Logical Essence of Well-Bracketed Control Flow. Proc. ACM Program. Lang. Amin Timany, Armaël Guéneau, Lars Birkedal
2024	J	`jnl`	Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. Proc. ACM Program. Lang. Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal
2023	J	`jnl`	Modular Denotational Semantics for Effects with Guarded Interaction Trees. CoRR Dan Frumin, Amin Timany, Lars Birkedal
2023	J	`jnl`	Modular Verification of State-Based CRDTs in Separation Logic (Artifact). Dagstuhl Artifacts Ser. Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal
2023	A	`conf`	Modular Verification of State-Based CRDTs in Separation Logic. ECOOP Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal
2023	J	`jnl`	VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A. Proc. ACM Program. Lang. Zongyuan Liu, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov, Lars Birkedal
2023	J	`jnl`	Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols. Proc. ACM Program. Lang. Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal
2022	J	`jnl`	Modular verification of op-based CRDTs in separation logic. Proc. ACM Program. Lang. Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, Lars Birkedal
2022	A	`conf`	Proving full-system security properties under multiple attacker models on capability machines. CSF Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese
2022	J	`jnl`	Purity of an ST monad: full abstraction by semantically typed back-translation. Proc. ACM Program. Lang. Koen Jacobs, Dominique Devriese, Amin Timany
2021	J	`jnl`	Distributed causal memory: modular specification and verification in higher-order distributed separation logic. Proc. ACM Program. Lang. Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto, Amin Timany, Lars Birkedal
2021	J	`jnl`	Efficient and provable local capability revocation using uninitialized capabilities. Proc. ACM Program. Lang. Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal
2021	J	`jnl`	Fully abstract from static to gradual. Proc. ACM Program. Lang. Koen Jacobs, Amin Timany, Dominique Devriese
2021	J	`jnl`	Mechanized logical relations for termination-insensitive noninterference. Proc. ACM Program. Lang. Simon Oddershede Gregersen, Johan Bay, Amin Timany, Lars Birkedal
2021	B	`conf`	Reasoning about monotonicity in separation logic. CPP Amin Timany, Lars Birkedal
2021	J	`jnl`	Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic. CoRR Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Léon Gondelman, Abel Nieto, Lars Birkedal
2020	J	`jnl`	A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit. CoRR Tobias Reinhard, Amin Timany, Bart Jacobs
2020	J	`jnl`	A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report. CoRR Tobias Reinhard, Amin Timany, Bart Jacobs
2020	—	`conf`	A separation logic to verify termination of busy-waiting for abrupt program exit. FTfJP@ECOOP Tobias Reinhard, Amin Timany, Bart Jacobs
2020	A	`conf`	Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. ESOP Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal
2020	J	`jnl`	Leibniz equality is isomorphic to Martin-Löf identity, parametrically. J. Funct. Program. Andreas Abel, Jesper Cockx, Dominique Devriese, Amin Timany, Philip Wadler
2020	J	`jnl`	Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris. Proc. ACM Program. Lang. Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, Robbert Krebbers
2020	J	`jnl`	The future is ours: prophecy variables in separation logic. Proc. ACM Program. Lang. Ralf Jung, Rodolphe Lepigre, Gaurav Parthasarathy, Marianna Rapoport, Amin Timany, Derek Dreyer, Bart Jacobs
2019	J	`jnl`	Abstract I/O Specification. CoRR Willem Penninckx, Amin Timany, Bart Jacobs
2019	J	`jnl`	Mechanized relational verification of concurrent programs with continuations. Proc. ACM Program. Lang. Amin Timany, Lars Birkedal
2019	—	`conf`	Specifying I/O using abstract nested hoare triples in separation logic. FTfJP@ECOOP Willem Penninckx, Amin Timany, Bart Jacobs
2018	J	`jnl`	A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST. Proc. ACM Program. Lang. Amin Timany, Léo Stefanesco, Morten Krogh-Jespersen, Lars Birkedal
2018	B	`conf`	Cumulative Inductive Types In Coq. FSCD Amin Timany, Matthieu Sozeau
2018	J	`jnl`	MoSeL: a general, extensible modal framework for interactive proofs in separation logic. Proc. ACM Program. Lang. Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer
2017	J	`jnl`	Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC). CoRR Amin Timany, Matthieu Sozeau
2017	A*	`conf`	Interactive proofs in higher-order concurrent separation logic. POPL Robbert Krebbers, Amin Timany, Lars Birkedal
2016	B	`conf`	Category Theory in Coq 8.5. FSCD Amin Timany, Bart Jacobs
2015	J	`jnl`	Category Theory in Coq 8.5. CoRR Amin Timany, Bart Jacobs
2015	C	`conf`	First Steps Towards Cumulative Inductive Types in CIC. ICTAC Amin Timany, Bart Jacobs