It’s not that I hate CPN Tools, but friends do not force friends to write code like the below. The problem is that I have a couple programs. They communicate over a channel using a given packet format. Unfortunately CPN Tools misunderstood the format of the packets for one specific kind of packets, misrepresenting them […]
Tag: Work
LTL Model-checking in ASAP
I just finished integrating LTL model-checking into ASAP. This is joint work with Sami Evangelista and Thomas Vestergaard. Basically, I've made the translation from LTL to a Büchi automaton, Sami made the nested depth-first checker, and Thomas put it together, added a bunch of utility functions, and made the initial integration into ASAP. After that […]
Britney Spears’ Guide to DNS Cache Poisoning
dDist week 7 is all about guest lectures and DNS cache poisoning. Here are my slides, this time lovingly edited in iMovie as the ustream video screwed up the slides; for you this means higher quality and less garbage in the beginning and end of the video. MichaelTime person of the year 2006, Nobel Peace […]
Read More… from Britney Spears’ Guide to DNS Cache Poisoning
dDist Week 6: Fault Tolerance
Lectures on fault tolerance in distributed systems: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
dDist Week 5: Consistency
Unfortunately, I screwed up Monday, so the Monday lecture was not recorded. Instead, here is the Wednesday lecture on algorithms for ensuring consistency in distributed systems. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Multi-tasking
I’m multitasking like crazy: I’m writing code on my “emergency Mac” (which is the only one really set up for working), compiling the code on a virtual Windows XP machine and testing the code on a 64 bit Windows 7 machine, which fails to run my code. Hmmm… Maybe this is the excuse I’ve needed […]