stefanheule.com
Security and the Average Programmer
https://stefanheule.com/publications/post14-avgsec
Computer Science PhD Student at Stanford. Security and the Average Programmer. John C. Mitchell. Edward Z. Yang. 3rd Conference on Principles of Security and Trust. April 5-13, 2014, Grenoble, France. Pdf, 48.14 KiB). Bib, 578 Bytes).
stefanheule.com
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
https://stefanheule.com/publications/post15-ifcinside
Computer Science PhD Student at Stanford. IFC Inside: Retrofitting Languages with Dynamic Information Flow Control. Edward Z. Yang. John C. Mitchell. 4th Conference on Principles of Security and Trust. April 11-18, 2015, London, UK. Pdf, 326.08 KiB). Bib, 632 Bytes). Pdf, 398.51 KiB). Pptx, 1.35 MiB). Pdf, 583.11 KiB).
philtcs.wordpress.com
Class #12a: Evolution | Philosophy and Theoretical Computer Science
https://philtcs.wordpress.com/2011/12/02/class-12a-evolution
Philosophy and Theoretical Computer Science. Official Blog of MIT's Course 6.893 (taught by Scott Aaronson). Class #12b: Newcomb’s Paradox and Free Will →. December 2, 2011. If philosophers, mathematicians, etc. had been clever enough, could they have figured out that natural selection was the right explanation for life. Without input from naturalists like Darwin? If life exists on other planets, should we expect that it, too, arose by Darwinian natural selection—or rather, that. If the former explanatio...
blog.ezyang.com
Safety first: FFI and threading : Inside 736-131
http://blog.ezyang.com/2010/07/safety-first-ffi-and-threading
Existential Pontification and Generalized Abstract Digressions. Safety first: FFI and threading. While this blog post presents two true facts, it gets the causal relationship between the two facts wrong. Here is the correction. In your FFI imports! We really mean it! Consider the following example in from an old version of Haskellwiki’s FFI introduction. On most of my FFI declarations, since I’m not going to do anything advanced like call back to Haskell. Oh my friend, if only it were that simple! FFI im...
blog.ezyang.com
About : Inside 736-131
http://blog.ezyang.com/about
Existential Pontification and Generalized Abstract Digressions. Edward Z. Yang is a PhD student at Stanford. He likes music (oboe in particular), British change ringing and hacking on technology. The name of this blog has evolved over time, progressing from "Inside 245s" to "Inside T5" to "Inside P4" to "Inside 1712B" to "Inside 2214" to "Inside 233" to "Inside 374" to "Inside 206-105". A tutorial-like introduction to this FFI library for Haskell. Inside 736-131. Powered by WordPress.
blog.ezyang.com
Unintended consequences: Bound threads and unsafe FFI calls : Inside 736-131
http://blog.ezyang.com/2014/12/unintended-consequences-bound-threads-and-unsafe-ffi-calls
Existential Pontification and Generalized Abstract Digressions. Unintended consequences: Bound threads and unsafe FFI calls. A while ago, I wrote a post describing how unsafe FFI calls could block your entire system. And gave the following example of this behavior:. Cbitc */ #include stdio.h int bottom(int a) { while (1) {printf(%d n, a);sleep(1);} return a; }. Cbith */ int bottom(int a);. If you think you know, what do these variants of the program do? Print Pass (not expected). Alternately, if a thread...
SOCIAL ENGAGEMENT