Hacker News Papers
New
2020
2019
2018
Towards Energy Consumption Verification via Static Analysis
arxiv.org
•
17 points