Project Tags: Programming Languages

Effective Parallel and Distributed Programming via Join Pattern with Guards, Propagation and More

Recent advances in distributed systems and multicore architectures, and the emerging interest in Cloud Computing has unleashed significant pressures upon the programming language community to research and develop better general…

Effective Programming for Large Distributed Ensembles

Claytronics is an ongoing project at CMU to develop programmable matter—bringing the power of programming to physical matter. The challenges in realizing Claytronics are all about scaling: (1) scaling the…

Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security

With NPRP project 09-1107-1-168 (ending in February 2014), we have outlined the foundations of a framework for representing Concurrent, Distributed and Parallel (CDP) languages and explored methodologies to formally prove…

Reimplementing Dependent Pattern Matching and Termination Checking in the Coq Theorem Prover

Coq is an interactive proof assistant (theorem prover) based on a long-studied dependent Type Theory called the Calculus of (Co-)Inductive Constructions (CIC). It is a mature system that has been…