Imagine you are waiting for a delivery; maybe a new phone cover, a book, or something that you ordered online. Coincidentally, your phone rings. The person on the other end introduces himself as a ...

This project contains implementations of simple neural network models, including training scripts for PyTorch and Lightning frameworks. The goal is to provide a modular, easy-to-understand codebase ...

Abstract: Deep code models are vulnerable to adversarial attacks, making it possible for semantically identical inputs to trigger different responses. Current black-box attack methods typically ...

Abstract: We present an approach for producing oracles from TLA (temporal logic of action) specification of a system. Such oracles are useful, for monitoring purposes, to detect temporal faults by ...