David Monniaux

Member for 3 months
Last seen more than a week ago

www-verimag.imag.fr/~monniaux
Grenoble, France

Network profile

Summary

Reputation

121

121
111
101

Mar 27
Apr 28
May 30

Top tag

coq

Next privilege

125 Rep.

Vote down

Badges

4

Newest

Teacher

Next badge

0/1

Supporter

Answers

Score Activity Newest

1

an argument why stack blocks are never unexpectedly freed in the RTL intermediate language in CompCert

Mar 15

Questions

Score Activity Newest Views

1

an argument why stack blocks are never unexpectedly freed in the RTL intermediate language in CompCert

Feb 22

Tags

coq

1

Score

2

posts

Reputation

+10

an argument why stack blocks are never unexpectedly freed in the RTL intermediate language in CompCert

+10

an argument why stack blocks are never unexpectedly freed in the RTL intermediate language in CompCert

Badges

View all badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

4

bronze badges

Teacher

May 17
Editor

Feb 22
Student

May 17

Accounts

View all 8 accounts

1,919
12
23

Theoretical Computer Science

1,122
5
16

865
4
12

Computer Science

181
4

Proof Assistants

121
4

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

This user has not cast any votes