/explore
|
You are here 
|
isocpp.org | ||
| | | | |
davidbau.com
|
|
| | | | | ||
| | | | |
benguild.com
smashTheTONES was on The Screen Savers (TSS) tonight! Thanks Sarah! |
|
| | | | | ||
| | | | |
hackingcpp.com
A list of active C++ user groups all over the world as of 2023 grouped by continent(s): Asia/Oceania, Europe, Middle East, North America, South America. |
|
| | | | | ||
| | | | |
pldi22.sigplan.org
E-Graph Research, Applications, Practices, and Human-factors Symposium Research on and around e-graphs has recently exploded in both quantity and diversity. The data structure that powers SMT solvers is now seeing use in synthesis, optimization, and verification via equality saturation and related techniques. In addition to recent advances in the core data structure and techniques, researchers and practitioners are applying e-graphs to domains such as compilers, floating point accuracy, test generation, ... |
|
| | | |||
