Zobrazeno 1 - 10
of 32
pro vyhledávání: '"Dino Distefano"'
Autor:
Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano
Publikováno v:
Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang.
Autor:
Ke Mao, Timotej Kapus, Lambros Petrou, Akos Hajdu, Matteo Marescotti, Andreas Loscher, Mark Harman, Dino Distefano
Publikováno v:
2022 IEEE Conference on Software Testing, Verification and Validation (ICST).
Publikováno v:
Communications of the ACM. 62:62-70
Key lessons for designing static analyses tools deployed to find bugs in hundreds of millions of lines of code.
Autor:
Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn, Thomas Wies, Josh Berdine, Byron Cook, Dino Distefano
Publikováno v:
Computer Aided Verification ISBN: 9783540733676
CAV
CAV
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include "cyclic doubly-linked lists of acyclic singly-linked lists", "singly-linked
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7e4f33b13dd5f876c712a18c3370bfd7
https://ora.ox.ac.uk/objects/uuid:0af1cb63-5951-4f96-95f8-0ab242649ffa
https://ora.ox.ac.uk/objects/uuid:0af1cb63-5951-4f96-95f8-0ab242649ffa
Publikováno v:
Static Analysis ISBN: 9783540377566
SAS
SAS
Previous shape analysis algorithms use a memory model where the heap is composed of discrete nodes that can be accessed only via access paths built from variables and field names, an assumption that is violated by pointer arithmetic. In this paper we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::212e40cb2243aacd9564c2902f438747
https://ora.ox.ac.uk/objects/uuid:14f2af22-c110-420b-8cf8-482a08e08de4
https://ora.ox.ac.uk/objects/uuid:14f2af22-c110-420b-8cf8-482a08e08de4
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
ISoLA (1)
The worldwide attention generated by the Heartbleed bug has demonstrated even to the general public the potential devastating consequences of information leaks.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff284298379e956dbf1b5312cd6d9826
https://doi.org/10.1007/978-3-319-47166-2_63
https://doi.org/10.1007/978-3-319-47166-2_63
Autor:
Jim Purbrick, Martino Luca, Peter W. O'Hearn, Cristiano Calcagno, Irene Papakonstantinou, Pieter Hooimeijer, Dino Distefano, Dominik Gabi, Dulma Rodriguez, Jérémy Dubreil
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319175232
NFM
NFM
For organisations like Facebook, high quality software is important. However, the pace of change and increasing complexity of modern code makes it difficult to produce error-free software. Available tools are often lacking in helping programmers deve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0032cdcc7ae01632d0c90ff2ce95c913
https://doi.org/10.1007/978-3-319-17524-9_1
https://doi.org/10.1007/978-3-319-17524-9_1
Publikováno v:
ECOOP 2012 – Object-Oriented Programming ISBN: 9783642310560
ECOOP
ECOOP
This paper presents an automatic verification technique for transactional memory Java programs executing under snapshot isolation level. We certify which transactions in a program are safe to execute under snapshot isolation without triggering the wr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f70d1c3e607a839cf0fcbfe5862f68c
https://doi.org/10.1007/978-3-642-31057-7_28
https://doi.org/10.1007/978-3-642-31057-7_28
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783642367410
TACAS
TACAS
We propose TOPL automata as a new method for runtime verification of systems with unbounded resource generation. Paradigmatic such systems are object-oriented programs which can dynamically generate an unbounded number of fresh object identities duri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0cdf5eff7ca31c5a21afd3b98bb055dd