touisteur's submissions

1.		Co-Developing Programs and Their Proof of Correctness – The Spark Toolset (acm.org)
		1 point by touisteur on March 3, 2024 \| past
2.		Advanced Fuzz Testing with AFL++ 3.0 (adacore.com)
		3 points by touisteur on Dec 18, 2020 \| past \| 1 comment
3.		Using Pointers in Spark (adacore.com)
		2 points by touisteur on June 28, 2019 \| past
4.		Safe Dynamic Memory Management in Ada and SPARK (adacore.com)
		32 points by touisteur on July 24, 2018 \| past \| 5 comments
5.		Tokeneer Fully Verified with SPARK 2014 (adacore.com)
		2 points by touisteur on Feb 26, 2018 \| past
6.		Leveraging Ada Run-Time Checks with Fuzz Testing in AFL (adacore.com)
		6 points by touisteur on Dec 19, 2017 \| past \| 1 comment
7.		Safe Pointers in SPARK 2014 (arxiv.org)
		70 points by touisteur on Dec 7, 2017 \| past \| 38 comments
8.		Physical Units Pass the Generic Test (adacore.com)
		1 point by touisteur on Nov 18, 2017 \| past