@DomSteinhoefel Sorry, I am slow in responding :-) with compositional I meant computing summaries like done in related work of “Demand-Driven Compositional Symbolic Execution” https://t.co/cyMa7WTU6h But maybe your notion of “contracts” is similar to “summ
381 followers
1,778 followers
Absolutely. And just in case you are still unconvinced: Z3 paper was a short paper! (https://t.co/xdcKAZk1ZM) The paper is perhaps one of the most cited papers in TACAS history and I am yet to come across someone who works in SAT/SMT and doesn't know ab
1,264 followers
RT @moyix: @johnregehr IIRC that's one of the reasons Balakrishnan and Reps were able to do DDA/x86 (https://t.co/hKaX2hr39Y) – the rules w…
43,841 followers
RT @moyix: @johnregehr IIRC that's one of the reasons Balakrishnan and Reps were able to do DDA/x86 (https://t.co/hKaX2hr39Y) – the rules w…