Making Abstract Domains Condensing

Manual and Fast C Code Optimization

Matrix Code: a Language for the Parallel Development of Verification and Program

Mechanistic Behavior of Single-Pass Instruction Sequences

Mechanized semantics

Mechanized semantics for the Clight subset of the C language

MELT - a Translated Domain Specific Language Embedded in the GCC Compiler

Memory and compiler optimizations for low-power and -energy

MiniAgda: Integrating Sized and Dependent Types

Mixed-Initiative Interaction = Mixed Computation

Mixing the Objective Caml and C# Programming Models in the .Net Framework

Models of quantum computation and quantum programming languages

Modular Abstractions of Reactive Nodes using Disjunctive Invariants

Modular Compilation of a Synchronous Language

Molecular Programming Pseudo-code Representation to Molecular Electronics

Multi-Level Languages are Generalized Arrows

Multi-Stage Programs are Generalized Arrows

Multi-Threading And Message Communication In Qu-Prolog

Multimethods and separate static typechecking in a language with C++-like object model

MyProLang - My Programming Language: A Template-Driven Automatic Natural Programming Language