Talk by Joao Marques Silva: Logic-Enabled Explanations for Machine Learning Models
April 23, 2019
The practical successes of Machine Learning (ML) in different settings motivates the ability of computing small explanations for predictions made....
[ Read More ]
Logic-Enabled Explanations for Machine Learning Models
April 23, 2019
The practical successes of Machine Learning (ML) in different settings motivates the ability of computing small explanations for predictions made....
[ Read More ]
Fuzzing objects: Motivation and preliminary results
April 16, 2019
Fuzzing has become a very interesting technique for finding bugs in computer programs. Since a few years back there is...
[ Read More ]
Talk by Alessandra Gorla: Using Natural Language Processing to Improve Reliability and Trustworthiness of Software Systems
April 15, 2019
Many artifacts that software developers produce are written in natural language: code comments, commit messages, text in user interfaces, privacy...
[ Read More ]
Using Natural Language Processing to Improve Reliability and Trustworthiness of Software Systems
April 15, 2019
Many artifacts that software developers produce are written in natural language: code comments, commit messages, text in user interfaces, privacy...
[ Read More ]
Talk by Kenji Maillard: Designing Dijkstra Monads
April 10, 2019
Verifying a program consist of proving that a given program meets its specification. Various frameworks have been studied to provide...
[ Read More ]
Talk by Maria Schett: Blockchain Superoptimizer
April 10, 2019
Etherum smart contracts written in higher level programming languages like Solidity or Viper are compiled to bytecode, which is executed...
[ Read More ]
Designing Dijkstra Monads
April 10, 2019
Verifying a program consist of proving that a given program meets its specification. Various frameworks have been studied to provide...
[ Read More ]
Blockchain Superoptimizer
April 10, 2019
Etherum smart contracts written in higher level programming languages like Solidity or Viper are compiled to bytecode, which is executed...
[ Read More ]
Pepe Vila, speaker at RootedCON, the most important security event in Spain with more than 2,500 attendees.
April 8, 2019
The pre-doctoral researcher of the IMDEA Software Institute, Pepe Vila, was one of the speakers at RootedCON 2019, which took...
[ Read More ]
