@DBolkensteyn Hi Dinesh, i thought i sent you this last week but it seems i haven't... i've noticed you're working on tainted analysis, maybe this paper https://t.co/FfunkSzsl9 could be of interest.
55 followers
55 followers
@DBolkensteyn Hi Dinesh, i've just noticed you work on tainted analysis; it happens that my boyfriend, Eugen Zalinescu, also worked on this: https://t.co/ux1Oct9QhG maybe of interest.
63 followers
@Melt_Dem I accidentally called the LAMBDA store. You're out of luck. They don't sell anything. They just give away this crap for free: https://t.co/RU7nWSMNQc
221 followers
Enforcing Programming Guidelines with Region Types and Effects https://t.co/PztFg1iJLZ