Search papers, labs, and topics across Lattice.
2
0
1
渭STM achieves high performance without sacrificing safety or usability, allowing for general data types and deferred aborts in transactions.
Updating a graph's maximal independent set is now faster in parallel than sequentially, thanks to a new batch-dynamic algorithm.