conftrace_

computer system

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

safety critical (1) system optimization (1) neural network (1) safety-critical system (1) safety property (1) neural network verification (1) reward function (1) formal verification (1) performance optimization (1) benchmark suite (1)

Papers

NN4SysBench: Characterizing Neural Network Verification for Computer Systems NeurIPS 2024 Park: An Open Platform for Learning-Augmented Computer Systems NeurIPS 2019