pith. sign in

Alwen Tiu

Identifiers

  • name variant Alwen Tiu 0.60 · backfill

Papers (24)

  1. PeAR: A Static Binary Rewriting Framework for Binary-Only Fuzzing cs.CR · 2026 · author #4
  2. A formalisation of the SPARC TSO memory model for multi-core machine code cs.LO · 2019 · author #3
  3. Modular Labelled Sequent Calculi for Abstract Separation Logics cs.LO · 2017 · author #4
  4. A Permission-Dependent Type System for Secure Information Flow Analysis cs.PL · 2017 · author #2
  5. Generating Witness of Non-Bisimilarity for the pi-Calculus cs.LO · 2017 · author #3
  6. Compositional Reasoning for Shared-variable Concurrent Programs cs.FL · 2016 · author #5
  7. Completeness for a First-order Abstract Separation Logic cs.LO · 2016 · author #2
  8. Formal Certification of Android Bytecode cs.PL · 2015 · author #2
  9. Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System cs.LO · 2013 · author #2
  10. Proof search for propositional abstract separation logics via labelled sequents cs.LO · 2013 · author #4
  11. Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic -- Extended Version cs.LO · 2013 · author #4
  12. A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search cs.LO · 2013 · author #2
  13. Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures cs.LO · 2012 · author #1
  14. Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus cs.LO · 2012 · author #2
  15. Cut Elimination for a Logic with Induction and Co-induction cs.LO · 2010 · author #1
  16. Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic cs.LO · 2010 · author #3
  17. A decidable policy language for history-based transaction monitoring cs.LO · 2009 · author #3
  18. A Trace Based Bisimulation for the Spi Calculus cs.CR · 2009 · author #1
  19. Induction and Co-induction in Sequent Calculus cs.LO · 2008 · author #1
  20. Proof Search Specifications of Bisimulation and Modal Logics for the pi-Calculus cs.LO · 2008 · author #1
  21. A proof theoretic analysis of intruder theories cs.LO · 2008 · author #1
  22. Cut Elimination for a Logic with Generic Judgments and Induction cs.LO · 2008 · author #1
  23. The Bedwyr system for model checking over syntactic expressions cs.LO · 2007 · author #5
  24. A System of Interaction and Structure II: The Need for Deep Inference cs.LO · 2005 · author #1

Mentions

  • 1504.01842 #2 · backfill · confidence 0.70 Alwen Tiu
  • 2606.02126 #4 · arxiv_oai · confidence 0.70 Alwen Tiu
  • 1311.2362 #2 · backfill · confidence 0.70 Alwen Tiu
  • 1307.5592 #4 · backfill · confidence 0.70 Alwen Tiu
  • 1307.0289 #4 · backfill · confidence 0.70 Alwen Tiu
  • 1302.4783 #2 · backfill · confidence 0.70 Alwen Tiu
  • 1204.2413 #1 · backfill · confidence 0.70 Alwen Tiu
  • 1201.2258 #2 · backfill · confidence 0.70 Alwen Tiu
  • 1009.6171 #1 · backfill · confidence 0.70 Alwen Tiu
  • 1006.4793 #3 · backfill · confidence 0.70 Alwen Tiu
  • 0903.2904 #3 · backfill · confidence 0.70 Alwen Tiu
  • 0901.2166 #1 · backfill · confidence 0.70 Alwen Tiu
  • 0812.4727 #1 · backfill · confidence 0.70 Alwen Tiu
  • 0805.2785 #1 · backfill · confidence 0.70 Alwen Tiu
  • 0804.0273 #1 · backfill · confidence 0.70 Alwen Tiu
  • 0801.3065 #1 · backfill · confidence 0.70 Alwen Tiu

Frequent Coauthors