The TechGlider

Learning and sharing about Computer Science, programming, research & technology

Links
Reviews
Updates

Tag: Keynote

2017

It's Time for a New Old Language

May 1

posted in: link
tags: keynote PPoPP notation programming languages compilers history specification HoPL

Recent Posts

How to Reason about Correctness of Programs Designed for Non-Volatile Memory?
It's Time for a New Old Language
BBR: Congestion-based Congestion Control
Flow Rate Fairness: Dismantling a Religion
Analysis and Simulation of a Fair Queueing Algorithm

Copyright © 2017 Kartik Singhal - License - Powered by Hugo and Hugo-Octopress theme.