The TechGlider

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

Links
Reviews
Updates

Tag: Formal Reasoning

2017

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

Jun 27

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

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.