CSAIL Digital Archive
Bucket Elimination Algorithm for Dynamic Controllability Checking of Simple Temporal Networks with Uncertainty (2021-03-02)Simple Temporal Networks with Uncertainty (STNU) can represent temporal problems where duration between events may be uncontrollable, e.g. when the event is caused by nature. An STNU is dynamically controllable (DC) if it ...
(2019-11-19)We present ClearTrack, a system that tracks 32 bits of metadata for each primitive value in Java programs to detect and nullify a range of vulnerabilities such as integer overflow and underflow vulnerabilities, SQL injection ...