5,838 reputation
2247
bio website coldattic.info
location San Francisco, CA
age 27
visits member for 4 years, 7 months
seen Jul 9 '14 at 18:23

I work in web-related development these days. Previously, I worked on ROSA Linux distribution derived from Mandriva. In (post)graduate school I developed static program analysis tools, and carried on some research on the subject.

My blog "A Foo walks into a Bar" is hosted on my home site coldattic.info.


If you know any Languages specifically designed to make static verification easier, please, answer the question linked.


5,838 Reputation

10 Nov 12 '12
10 Nov 9 '12
10 Nov 6 '12
10 Oct 11 '12
10 Oct 1 '12
5 Sep 25 '12
10 Sep 23 '12
10 Aug 27 '12
10 Aug 23 '12
10 Aug 20 '12
10 Aug 13 '12
10 Jul 18 '12
28 Jul 16 '12
10 Jul 10 '12
10 Jul 7 '12
10 Jun 22 '12
20 Jun 19 '12
10 Jun 3 '12
10 Jun 1 '12
10 May 24 '12
-2 May 21 '12
10 May 2 '12
10 Apr 28 '12
10 Apr 25 '12
10 Apr 15 '12
15 Apr 12 '12
10 Mar 25 '12
10 Mar 22 '12
15 Mar 10 '12
50 Mar 9 '12