Blog Archive 2014 Distributed Tracing with Zipkin May 8th, 2014 Cassandra, Docker, Zipkin, design, distributed, programming, tracing Generation of MSC Diagrams from Network Traffic Apr 6th, 2014 design, network, programming, research, tcp, tracing Fresh New Look Feb 18th, 2014 2013 Data centers are microkernels done accidentally: lessons for building a million-core distributed OS Jan 23rd, 2013 cloud, microkernels 2012 Design and Benchmark Tests of a Multi-Channel Hydrophone Array System for Dolphin Echolocation Recordings Dec 11th, 2012 dolphins, hydrophone, underwater Underwater Laser sensor network: A New Approach for Broadband Communication in the Underwater Dec 9th, 2012 laser, network, sensors, underwater Self Reproducing Automata - John von Neumann Nov 23rd, 2012 nanotechnology, space colonization A Model for Compound Type Changes Encountered in Schema Evolution Nov 20th, 2012 databases, schema migration Breakthrough silicon scanning discovers backdoor in military chip May 28th, 2012 crypto In the blink of an eye: There goes your AES key May 28th, 2012 aes, crypto Speculations Concerning The First Ultraintelligent Machine by Irving John Good May 26th, 2012 agi, ai TCP/IP Illustrated Vol 1-3 Feb 4th, 2012 Is it Still Possible to Extend TCP? Jan 17th, 2012 tcp Symbolics XL1200 Repairs Jan 3rd, 2012 2011 The Byzantine Generals Problem Nov 24th, 2011 Dynamo: Amazon’s Highly Available Key-value Store Nov 14th, 2011 The Declarative Imperative: Experiences and Conjectures in Distributed Logic Nov 9th, 2011 Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control by Mark S. Miller Oct 21st, 2011 capabilities Consistency Analysis in Bloom: a CALM and Collected Approach Oct 14th, 2011 calm, disorderlyprogramming, distributed, dsl Qubes OS - One Virtual Machine per App Sep 13th, 2011 A simple chaotic oscillator for the Rössler attractor Sep 8th, 2011 Thinking Forth - A Language and Philosophy for Solving Problems Jun 23rd, 2011 forth, philosophy, programming Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control Jun 6th, 2011 Bitcoin: A Peer-to-Peer Electronic Cash System May 16th, 2011 Your Infrastructure Will Kill You Jan 30th, 2011 2010 Chip and PIN is Broken Dec 26th, 2010 attack, chipandpin, embedded, paymentsystems, security ACL2: A Program Verifier for Applicative Common Lisp Nov 24th, 2010 Semi-literate programming Nov 11th, 2010 “Naming and Synchronization in a Decentralized Computer System” by David P. Reed Nov 8th, 2010 Cloud Computing on the Metal Oct 16th, 2010 cloud, mirage, ocaml, research, xenlinux
Distributed Tracing with Zipkin May 8th, 2014 Cassandra, Docker, Zipkin, design, distributed, programming, tracing
Generation of MSC Diagrams from Network Traffic Apr 6th, 2014 design, network, programming, research, tcp, tracing
Data centers are microkernels done accidentally: lessons for building a million-core distributed OS Jan 23rd, 2013 cloud, microkernels
Design and Benchmark Tests of a Multi-Channel Hydrophone Array System for Dolphin Echolocation Recordings Dec 11th, 2012 dolphins, hydrophone, underwater
Underwater Laser sensor network: A New Approach for Broadband Communication in the Underwater Dec 9th, 2012 laser, network, sensors, underwater
A Model for Compound Type Changes Encountered in Schema Evolution Nov 20th, 2012 databases, schema migration
Speculations Concerning The First Ultraintelligent Machine by Irving John Good May 26th, 2012 agi, ai
Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control by Mark S. Miller Oct 21st, 2011 capabilities
Consistency Analysis in Bloom: a CALM and Collected Approach Oct 14th, 2011 calm, disorderlyprogramming, distributed, dsl
Thinking Forth - A Language and Philosophy for Solving Problems Jun 23rd, 2011 forth, philosophy, programming
Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control Jun 6th, 2011