Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Simulation Algorithms for Symbolic Automata
Checked C: Making C Safe by Extension
Type variables in patterns
DB lunch: Unifying Messaging, Queuing, Streaming & Light Weight Compute with Apache Pulsar
Data processing use cases, from transformation to analytics, perform tasks that require various combinations of queuing, streaming and lightweight processing steps. Until now, supporting all of those needs has required different systems for each task–stream…
Neural Network Intelligence
NNI (Neural Network Intelligence) is a toolkit to help users run automated machine learning (AutoML) experiments. The tool dispatches and runs trial jobs generated by tuning algorithms to search the best neural architecture and/or hyper-parameters…
Build systems a la carte
Extending F* in F*: Proof automation and Metaprogramming for Typeclasses, Concurrency, Optimizations and More and Layered DSLs for Verified Stateful Programming
Abstract for Talk Title 1: Extending F* in F*: Proof automation and Metaprogramming for Typeclasses, Concurrency, Optimizations and More In this talk we will provide an overview of the road we’ve been following for the…
