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.

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)

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.