NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20VCOOP 2022
The C++ Standard Library is a valuable collection of generic algorithms and data structures that improves the usability and reliability of C++ software. Graph algorithms and data structures are notably absent from the standard library, and previous attempts to fill this gap have not gained widespread adoption. In this paper we show that the richness of graph algorithms and data structures can in fact be captured by straightforward composition of existing C++ mechanisms. Generic programming is algorithm-oriented. Accordingly, we apply a systematic approach to analyzing a broad set of graph algorithms, “lift” unnecessary constraints from them, and organize the resulting set of minimal common type requirements, i.e., concepts, for defining their interfaces. By using the newly available ranges and concepts in C++20, the type requirements for generic graph algorithms can be succinctly expressed. The generic algorithms and data structures resulting from our analysis are realized in NWGraph, in a modern, composable, and extensible C++ library.
Thu 30 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:00 - 16:30 | |||
15:00 30mTalk | What If We Don’t Pop the Stack? The Return of Second-Class ValuesVCOOP 2022 Research Papers Anxhelo Xhebraj Purdue University, Oliver Bračevac Purdue University, Guannan Wei Purdue University, Tiark Rompf Purdue University Link to publication DOI | ||
15:30 30mTalk | NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20VCOOP 2022 Research Papers Andrew Lumsdaine TileDB, Inc., University of Washington, Pacific Northwest National Laboratory, Luke Dalessandro Indiana University, Jesun Sahariar Firoz Pacific Northwest National Lab, Xu Liu University of Washington, Phil Ratzloff SAS, Scott McMillan Carnegie Mellon University, Marcin Zalewski, Kevin Deweese Cadence | ||
16:00 30mTalk | Prisma: A tierless language for enforcing contract-client protocols in decentralized appsVCOOP 2022ECOOP 2022 Research Papers David Richter Technical University of Darmstadt, David Kretzler Technical University of Darmstadt, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen, Sebastian Faust Technical University of Darmstadt, Mira Mezini TU Darmstadt Pre-print Media Attached |