The TechGlider

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

Links
Reviews
Updates

Category: Update

2017

How to Reason about Correctness of Programs Designed for Non-Volatile Memory?

Jun 27

tags: announcement research writing brown report master's project nvm Non-Volatile persistent memory formal reasoning concurrency graph data structure verification

2016

Welcome to the all new TechGlider!

Jul 31

tags: announcement

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.