Talk by Julian Dolby: WALA Everywhere
June 23, 2017
The Watson Libraries for Analysis (WALA) started life as analysis for Java bytecode, but soon grew to include JavaScript and...
[ Read More ]
WALA Everywhere
June 23, 2017
The Watson Libraries for Analysis (WALA) started life as analysis for Java bytecode, but soon grew to include JavaScript and...
[ Read More ]
Synchronizing Constraint Horn Clauses
June 23, 2017
The goal of unbounded program verification is to discover an inductive invariant that over-approximates all reachable program states and is...
[ Read More ]
Pedro López-García and Manuel Hermenegildo recipients of Test of Time award at top conference
June 20, 2017
IMDEA Software Institute faculty members Pedro López-García and Manuel Hermenegildo are, with co-authors Jorge Navas (SRI) and Edison Mera (PDC),...
[ Read More ]
Pedro López-García and Manuel Hermenegildo recipients of Test of Time award at top conference
June 20, 2017
Faculty members Pedro López-García and Manuel Hermenegildo are recipients of the 10-year most influential paper award at ICLP 2017.
[ Read More ]
Incremental and Modular Context-sensitive Analysis
June 20, 2017
Context-sensitive global analysis of large code bases can be expensive, which can be specially problematic in interactive uses of analyzers....
[ Read More ]
Work on large-scale analysis of malware network communication published at top-ranked conference
June 15, 2017
Faculty member Juan Caballero and Ph.D.student Platon Kotzias Platon Kotzias have a paper at the 36th IEEE Symposium on Security...
[ Read More ]
Talk by Daniel Benarroch: Computing on Private Data with Zero-Knowledge Proofs and the Blockchain
June 15, 2017
Blockchain technology has become of great interest for major multinationals, creating a need to close the gap between the industry...
[ Read More ]
Computing on Private Data with Zero-Knowledge Proofs and the Blockchain
June 15, 2017
Blockchain technology has become of great interest for major multinationals, creating a need to close the gap between the industry...
[ Read More ]
Work on large-scale analysis of malware network communication published at top-ranked conference
June 15, 2017
Faculty member Juan Caballero and Ph.D.student Platon Kotzias Platon Kotzias have a paper at the 36th IEEE Symposium on Security...
[ Read More ]
