Mark GritterFinding Graph Counterexamples with AlloyHow can we use a model checker to answer simple questions about possible graphs?Aug 1, 2020Aug 1, 2020
Mark GritterMemory Locality Profiling for GoThe Go language comes with good tools for CPU and memory profiling built in. But what about memory locality? One of the things that can…Mar 22, 2020Mar 22, 2020