Group papers by topic

CHERI: Capability enhanced systems (project page)

and:

ISA semantics and Sail (project page)

Relaxed-memory concurrency

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

and:

Relaxed-memory concurrency: C/C++11

and:

Relaxed-memory concurrency: x86

and:

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

and:

Relaxed-memory concurrency: general

Cerberus C semantics and C verification (project page)

and:

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

WebAssembly and JavaScript

LinkSem: ELF linking semantics (project page)

SibylFS: POSIX filesystem semantics (project page)

nqsb-TLS (project page)

and:

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)

and:

Type-safe distributed languages (Acute and HashCaml)

Dynamic update

and:

Java modules (project page)

and:

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

and:

Security policy

and:

Anonymity

and:

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

Misc

Plasma Physics

Software


This file was partly generated by bibtex2html 1.96.