Travelled to:1 × United Kingdom
Collaborated with:A.Nutz D.Dietsch A.Podelski
Talks about:contribut (1) competit (1) safeti (1) memori (1) ultim (1) kojak (1) check (1)
Person: Mostafa Mahmoud Mohamed
DBLP: Mohamed:Mostafa_Mahmoud
Contributed to:
2015Wrote 1 papers:
- TACAS-2015-NutzDMP #contest #memory management #safety
- ULTIMATE KOJAK with Memory Safety Checks — (Competition Contribution) (AN, DD, MMM, AP), pp. 458–460.