Programming languages and software engineering
Video
Dr. TLA+ Series- Paxos
Welcome to the inaugural lecture in the Dr. TLA+ Series! The presentation slide and the complete schedule of Dr. TLA+ Series are available at https://github.com/tlaplus/DrTLAPlus This lecture will familiarize you with the Paxos…
Video
Programming Devices and Services with P – Lecture 2
P is a programming framework for design, implementation, and validation of event-driven asynchronous systems. The P language incorporates deep modeling and specification techniques into asynchronous programming. It allows the programmer to systematically test and debug…
Video
Semantics-based Program Verifiers for All Languages
I will present our K-based language-independent verification framework that can be instantiated with an operational semantics to automatically generate a program verifier. The framework treats both the operational semantics and the program correctness specifications as…
Tool
Essex PBI Base
A collection of libraries to assist in the creation of PowerBI custom visuals. Projects Visual Utils (visual-utils) (opens in new tab) – A collection of utilities the development of powerbi custom visuals. Visual Settings (visual-settings)…
Project
OPAL
OPAL is a programming language and environment for designing intelligent assistants based on natural language. Tasks in OPAL can explore multiple hypothetical worlds to resolve the ambiguity in users’ intent by exploring its potential implications…
Project
Safe Asynchronous Programming with P and P#
We are designing programming languages for building safe and reliable asynchronous systems. These languages are based on the programming idiom of asynchronous communicating state machines. They offer first-class support for writing safety and liveness specifications as…
Project
Checked C
The Checked C project is extending the C programming language so that programmers can write more secure and reliable C programs. The project is developing an extension to C called Checked C that adds checking…
Project
IVy
IVy is a language and a tool for specifying, modeling, implementing and verifying protcols. IVy is intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing…