Deciding floating-point logic with abstract conflict driven clause learning
Brain, Martin, D’Silva, Vijay, Griggio, Alberto, Haller, Leopold, Kroening, Daniel
Published in Formal methods in system design (01.10.2014)
Published in Formal methods in system design (01.10.2014)
Get full text
Journal Article
The Correctness-Security Gap in Compiler Optimization
D'Silva, Vijay, Payer, Mathias, Song, Dawn
Published in 2015 IEEE Security and Privacy Workshops (01.05.2015)
Published in 2015 IEEE Security and Privacy Workshops (01.05.2015)
Get full text
Conference Proceeding
A Formal Approach To The Protocol Converter Problem
Avnit, Karin, D'Silva, Vijay, Sowmya, Arcot, Ramesh, S., Parameswaran, Sri
Published in 2008 Design, Automation and Test in Europe (01.03.2008)
Published in 2008 Design, Automation and Test in Europe (01.03.2008)
Get full text
Conference Proceeding
Fixed points for multi-cycle path detection
D'Silva, V., Kroening, D.
Published in 2009 Design, Automation & Test in Europe Conference & Exhibition (01.04.2009)
Published in 2009 Design, Automation & Test in Europe Conference & Exhibition (01.04.2009)
Get full text
Conference Proceeding