SAGA: A DSL for Story Management

Sawja: Static Analysis Workshop for Java

Saying Hello World with GrGen.NET - A Solution to the TTC 2011 Instructive Case

Saying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case

Scoping Constructs in Logic Programming: Implementation Problems and their Solution

Secondary use of data in EHR systems

Secure Prolog-Based Mobile Code

Secure the Clones

Security Policies as Membranes in Systems for Global Computing

Selective Memoization

Self-Adjusting Stack Machines

Semantic Solutions to Program Analysis Problems

Semantics and Algorithms for Parametric Monitoring

Semantics of Programming Languages: A Tool-Oriented Approach

Semi-continuous Sized Types and Termination

Separation Logic for Small-step Cminor

Session Type Inference in Haskell

Session Types = Intersection Types + Union Types

Session Types at the Mirror

Session-Based Programming for Parallel Algorithms: Expressiveness and Performance