(Untitled)

[bubblingbeebles]

"Do you want to restore from saved draft?" "Uh... I wonder how long ago that was. What did I say?"

internetI guess I didn't get very far last time. Hi internet

Comments

[lindseykuper]

Oh, hey, I didn't realize you were on an SOSP paper! That's kind of hot stuff.

(Also, why do people pronounce each individual letter in SOSP? It's totally a pronounceable word!)

[bubblingbeebles]

yeah, it was fun! it felt a bit like a sidequest, and to be honest, i'm happer at the fact that i have the publication under my belt than i was happy at the experience of doing the work that resulted in it.

i dunno if i told you about it, but you might actually be interested (it's about determinism, but not formal logic) -- here's the paper; my summary is that we (the Columbia folks) built a determinizing userspace thread scheduler for pthread programs, and added annotations to it which let you sacrifice determinism in small regions to get some performance back, and then we (Jiri and me) hooked up a systematic tester to verify the small nondeterministic sections that resulted

[bubblingbeebles]

as soon as i got back from it carlo asked me "how was sosp ?". since then i've alternated how i say it.

[lindseykuper]

Yeah, I thought it was one syllable until I started talking to people who actually publish at SOSP, and they always pronounce all the letters!