Search Results for author:
Found 3 papers, 1 papers with code
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks
We introduce two notions, forward and backward robustness, to characterize the robustness of a system against sensor attacks as the loss of safety.
Guess & Sketch: Language Model Guided Transpilation
In this work, we leverage the strengths of LMs and symbolic solvers in a neurosymbolic approach to learned transpilation for assembly code.
Aquarium: Cassiopea and Alewife Languages
An Alewife specification can be used to verify and synthesize code for any machine described in Cassiopea, given a machine-specific translation for abstractions used in the specification.
Programming Languages
