CHIA is an open-source framework for agentic AI-driven hardware/software co-design using CHIA loops as directed cyclic graphs, a tool library, and features for reliable experimentation, shown via five case studies.
In: 2018 IEEE International Conference on Software Architecture Companion (ICSA-C)
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
verdicts
UNVERDICTED 3roles
background 1polarities
background 1representative citing papers
A large open crowdsourced effort verifies substantial parts of the Rust standard library for memory safety properties by integrating complementary verification tools into CI on a forked repository.
The authors propose Decentralized Consensus Technology (DCT) as an umbrella term for systems with decentralization, trustlessness and eventual consensus, positioning blockchain as one implementation of decentralized ledger technology.
citing papers explorer
-
Verifying the Rust Standard Library
A large open crowdsourced effort verifies substantial parts of the Rust standard library for memory safety properties by integrating complementary verification tools into CI on a forked repository.