Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Programming Languages and Technical Disruption
[This is a reprise of a keynote talk I gave at PLDI 2016] What do cheating on fuel economy, the London Whale, and building a better mosquito trap have in common? We are constantly bombarded…
Practical Statically-checked Deterministic Parallelism
Reproducibility is important in computing, whether reproducing bug reports or scientific results. After obvious sources of irreproducibility are addressed by containerization and hermetic build systems, the fundamental remaining challenge is preventing unintended nondeterminism due to…
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…
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…
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…
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)…
