ACM SIGPLAN

Special Interest Group on Programming Languages

Concurrency Control | Springer Nature Link

Concurrent access to shared information is a central problem of computer-supported cooperative work. The following chapter will introduce schemes and protocols for concurrency control of existing groupware which maintain consistent information...

CWI Software Analysis and Transformation Research

Research on language workbench development, domain-specific programming, and code transformation.

ETH Zürich Programming Methodology Group

Research on programming concepts, static program analysis, language semantics, and software correctness.

Grupo de Investigación en Programación Declarativa (GPD) - UPM

Líneas de investigación en lenguajes de programación declarativos, verificación de código y lógica computacional en la UPM.

INRIA Research in Programming Languages and Verification

Équipes de recherche Inria axées sur les langages de programmation, la sémantique et la sécurité du code.

KTH Software and Computer Systems Research

Research initiatives in programming language systems, compiler implementation, and automated debugging.

Kyoto University Programming Languages Research Group

Research on type theory, language-based security, domain-specific languages, and program synthesis.

Microsoft Research Programming Languages and Software Engineering

Research projects on language design, static analysis, formal methods, and compiler theory.

MPI SWS – Max Planck Institute for Software Systems

Fundamental research on programming language semantics, formal verification, and system software.

Programming Languages, Semantics and Verification | Department of Computer Science and Technology

Research in the Programming, Logic, and Semantics group is centred around the study of programming languages, logics, and mathematical models, addressing hardware, software, and networks.