The TechGlider

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

Jun 27, 2017 - 1 minute read - Comments - update

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

I recently graduated with a master’s degree in Computer Science from Brown University. My project report that documents the work I did over the last one year is now available on the Brown CS website at https://cs.brown.edu/research/pubs/theses/masters/2017/singhal.kartik.pdf. I am making a copy available here as well: PDF. Abstract Traditional storage stack necessitates a separate data format for the persistence of in-memory data structures, requires additional code for conversion to that data format and wastes a lot of CPU time.

May 1, 2017 - 2 minute read - Comments - link

It's Time for a New Old Language

William (Bill) Gasarch writes on the Computational Complexity blog about a recent talk that Guy Steele gave at Harvard on Harry Lewis’s 70th birthday (some spellings corrected): Guy Steele gave the most technical talk and it was, as the kids say, awesome (do adults still say ‘as the kids say’?) Here is a version of the talk: A Logical Concern Its about how papers at POPL and some other conference have been informally using a language to specify protocols and by now its all bent out of shape.

Feb 16, 2017 - 3 minute read - Comments - review

BBR: Congestion-based Congestion Control

Paper Title

BBR: Congestion-based Congestion Control

Author(s)

Neal Cardwell, Yuchung Cheng, C. Stephen Gunn, Soheil Hassas Yeganeh, Van Jacobson

Date

October 2016. Appeared in both:

  1. September-October 2016. ACM Queue - Network Congestion Vol. 14 No. 5
  2. February 2017. Communications of the ACM Volume 60 Issue 2

Feb 1, 2017 - 2 minute read - Comments - review

Congestion Avoidance and Control

Paper Title

Congestion Avoidance and Control

Author(s)

Van Jacobson and Michael J Karels

Date

November 1988 (Slightly revised version; originally published in Symposium proceedings on Communications architectures and protocols (SIGCOMM ‘88))

Jul 31, 2016 - 1 minute read - Comments - update

Welcome to the all new TechGlider!

The aim of this GitHub site is to disseminate high quality content related to Computer Science, research, programming and general technology. We have a GitHub organization for collaboration, a Twitter account for announcing updates and a Slack channel for discussion. Stay tuned!