Theoretical Computer Science
Profile Activity
Meta user
Network profile
334
reputation
1
6

MSalters

Apparently, this user prefers to keep an air of mystery about them.

3
answers
1
question
~197k
people reached
  • Netherlands
  • Member for 10 years, 1 month
  • 29 profile views
  • Last seen Aug 14 '20 at 10:24

Communities (58)

Top network posts

Top tags (12)

Score 3
Posts 1
Posts % 25
Score 3
Posts 1
Score 3
Posts 1
Score 3
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (4)

All Questions Answers
Votes Newest
13 Core algorithms deployed Nov 12 '13
10 Limits on lock-free collections? Jan 27 '11
3 Practical example: how to formally verify “file name” implementation from a spec? Sep 16 '15
-2 Type-based memory safety without manual memory manage or runtime garbage collection? Jan 22 '18

Badges (7)

Gold

—

Silver

1

Rarest

Bronze

6

Rarest