Papers by topic

This includes PhD theses and some related papers by students and RAs in the group. For other recent work, see the REMS pages.

CHERI: Capability enhanced systems (project page)

ISA semantics and Sail (project page)

Relaxed-memory concurrency

Relaxed-memory concurrency: Power, ARM, and RISC-V

Relaxed-memory concurrency: C/C++11

See also:

Relaxed-memory concurrency: x86

See also:

Relaxed-memory concurrency: the CompCert-TSO verified compiler (project page)

See also:

Relaxed-memory concurrency: general

Cerberus: C semantics (project page)

Cerberus: ISO WG14 C standards committee papers (project page)

LinkSem: ELF linking semantics (project page)

SibylFS: POSIX filesystem semantics (project page)

nqsb-TLS (project page)

See also:

Tool support for semantics

Lem: tool support for semantics (project page)

Ott: tool support for semantics (project page)

The POPLmark challenge (project page)

Netsem: semantics for TCP, UDP, and Sockets (project page)

See also:

Type-safe distributed languages (Acute and HashCaml)

Dynamic update

See also:

Java modules (project page)

See also:

Language and communication infrastructure for mobile computation: Nomadic Pict (project page)

See also:

Security policy

See also:


See also:

Secure encapsulation

Iota: XML scripting

Observational concurrent language semantics

Process Calculi

Models for name-passing processes

From rewrite rules to bisimulation congruences

Locality typing

Pi calculus tutorials

Finite Axiomatisability

Hardware model abstraction


Plasma Physics


This file was partly generated by bibtex2html 1.96.