Programming languages and software engineering
Video
Reinforcement Learning: Bringing Together Computation, Behavior and Neural Coding
Reinforcement learning carries subtly different meanings in machine learning, cognitive science and neuroscience. In this talk, I will try to clarify in which ways the concepts overlap and in which ways they differ. I will…
Publication
Log++ Logging for a Cloud-NativeWorld
Publication
Trustworthy Experimentation Under Telemetry Loss
Tool
Checked C Specification
This is a detailed specification for the Checked C extension that explains the design in-depth.
Tool
Checked C clang compiler
The Checked C extension to C is being implemented in a fork of the clang compiler. You can download the latest version of the Checked C compiler for Windows from this GitHub link.…
Project
EzPC (Easy Secure Multi-party Computation)
Consider the following scenario: Two hospitals, each having sensitive patient data, must compute statistical information about their joint data. Or, one of the hospitals has a pre-trained ML model based on sensitive patient data and…
Project
Sankie
Project Sankie infuses data-driven techniques into engineering processes, development environments, and software lifecycles of large services.