6,737
reputation
8
6

P Shved

I work on servers at Google. Previously, I made Linux Distros and static software analysis tools.

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.

3
answers
0
questions
~1k
people reached
  • Member for 8 years, 10 months
  • 26 profile views
  • Last seen Jul 17 '12 at 10:04

Top tags (6)

Score 13
Posts 3
Posts % 100
Score 8
Posts 1
Score 8
Posts 1
Score 8
Posts 1
Score 2
Posts 1
Score 2
Posts 1

Top posts (3) All Questions Answers | Votes Newest

Badges (14)

Gold

Silver

8

Rarest

Bronze

6

Rarest