Stack Exchange

Pavel Shved

Moscow, Russia

coldattic.info

Age: 24

I work in ZAO ROSA on ROSA Linux distribution derived from Mandriva.

Previously, I worked in ISPRAS (Institute for System Programming of Russian Academy of Sciences), developed static program analysis tools, and did 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.

top accounts reputation activity favorites subscriptions
Top Questions
Top Answers
69
Question title that doesn't describe the problem
meta.stackoverflow.com

55
Vim: Traversing text in Insert mode
stackoverflow.com

53
Turning off auto indent when pasting text into vim
stackoverflow.com

50
What's the most absurd myth about programming issues?
programmers.stackexchange.com

49
When should I use git pull --rebase?
stackoverflow.com

44
Visualizing branch topology in git
stackoverflow.com

42
avoiding if statements
stackoverflow.com

40
Are design patterns generally a force for good or bad?
programmers.stackexchange.com

32
In “aa67bc54c9”, is there any way to print “aa” 67 times, “bc” 54 times and so on, using regular expressions?
stackoverflow.com

32
How do I improve my coding skills?
programmers.stackexchange.com

30
When can you call yourself good at language X?
programmers.stackexchange.com

27
Is programming a profession not for a person with speech impairment?
programmers.stackexchange.com

26
Protection of code from its own developers
stackoverflow.com

24
What IDE features would you miss most if you didn't have them?
programmers.stackexchange.com

24
Job hopping, is it a problem?
programmers.stackexchange.com

22
C++, constructor restrictions
stackoverflow.com

22
Daily standups- yea or nay?
programmers.stackexchange.com

21
Do hash functions exist in nature?
stackoverflow.com

20
I've stopped coding for fun, is this a bad sign?
programmers.stackexchange.com

19
What do you do when your company is missing somethings in “Joel Test Score”?
stackoverflow.com

19
Which tips helped you learn touch-typing?
programmers.stackexchange.com

18
How do I list the symbols in a .so file
stackoverflow.com

18
Passing additional variables from command line to make
stackoverflow.com

15
C++ Inheritance/VTable questions
stackoverflow.com

15
Stack Allocation in C
stackoverflow.com

15
How can I “store” an operator inside a variable in Perl?
stackoverflow.com

14
Python: How can I know which exceptions might be thrown from a method call
stackoverflow.com

14
What Special characters should one allow for a Phone Number?
programmers.stackexchange.com

13
Fastest/One-liner way to remove duplicates (by key) in Ruby Array?
stackoverflow.com

13
Linked list interview question
stackoverflow.com

1 2 3 4 5