#### Filter Results:

- Full text PDF available (40)

#### Publication Year

1984

2018

- This year (7)
- Last 5 years (35)
- Last 10 years (55)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Dale Miller, Alwen Tiu
- ACM Trans. Comput. Log.
- 2005

The operational semantics of a computation system is often presented as inference rules or, equivalently, as logical theories. Specifications can be made more declarative and high level if syntacticâ€¦ (More)

- Dale Miller, Alwen Tiu
- LICS
- 2003

A powerful and declarative means of specifying computations containing abstractions involves meta-level, universally quantifiedgeneric judgments . We present a proof theory for such judgments inâ€¦ (More)

- David Baelde, Kaustuv Chaudhuri, +4 authors Yuting Wang
- J. Formalized Reasoning
- 2014

Concrete Precedence/ Associativity Types (Ï„) Atomic types prop, nat, list, . . . Arrow types Ï„1 â†’ Ï„2 T1 -> T2 right Terms (m,n) Variables x, y, . . . x, y, . . . Constants c, d, . . . c, d, . . .â€¦ (More)

Formal system development needs expressive specification languag es, but also calls for highly automated tools. These two goals are not easy to re concile, especially if one also aims at highâ€¦ (More)

- Alwen Tiu, Jeremy E. Dawson
- 23rd IEEE Computer Security Foundations Symposium
- 2010

We consider the problem of automating open bisimulation checking for the spi calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulation considered hereâ€¦ (More)

- Kai BrÃ¼nnler, Alwen Tiu
- LPAR
- 2001

The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of inference rules for propositionalâ€¦ (More)

- Alwen Tiu, Alberto Momigliano
- TYPES
- 2003

Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus involving inductionâ€¦ (More)

- Andreas Bauer, Rajeev GorÃ©, Alwen Tiu
- ICTAC
- 2009

Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting, the decision toâ€¦ (More)

- Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, Alwen Tiu
- ESEC/SIGSOFT FSE
- 2017

Coverage-based fuzzing is one of the most effective techniques to find vulnerabilities, bugs or crashes. However, existing techniques suffer from the difficulty in exercising the paths that areâ€¦ (More)

- Rajeev GorÃ©, Linda Postniece, Alwen Tiu
- Advances in Modal Logic
- 2008

We propose a new sequent calculus for bi-intuitionistic logic which sits somewhere between display calculi and traditional sequent calculi by using nested sequents. Our calculus enjoys a simpleâ€¦ (More)