Relational tight field bounds for distributed analysis of programs | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Relational tight field bounds for distributed analysis of programs

De Marcelo Frias

Apparaît dans la collection : 19th International Conference on Relational and Algebraic Methods in Computer Science / 19ème Conférence internationale de méthodes relationnelles et algébriques en informatique

Relational tight field bounds are an abstraction of the semantics of data structures. In the presence of appropriate symmetry-breaking predicates, these bounds can be computed automatically and allow to dramatically speed up bug-finding using SAT- solving. In this lecture, after giving an introduction to tight field bounds and symmetry- breaking predicates, I will present a general technique for distributing program analyses. As examples, I will show how the technique allows one to distribute SAT-based bug-finding as well as symbolic execution over complex data types.

Informations sur la vidéo

Date de captation 03/11/2021
Date de publication 26/11/2021
Institut CIRM
Licence CC BY NC ND
Langue Anglais
Audience Chercheurs
Réalisateur(s) Luca Recanzone
Format MP4

Données de citation

DOI 10.24350/CIRM.V.19827503
Citer cette vidéo Frias, Marcelo (03/11/2021). Relational tight field bounds for distributed analysis of programs. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19827503
URL https://dx.doi.org/10.24350/CIRM.V.19827503

Domaine(s)

Informatique

Bibliographie

GALEOTTI, Juan P., ROSNER, Nicolás, POMBO, Carlos G. López, et al. TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds. IEEE Transactions on Software Engineering, 2013, vol. 39, no 9, p. 1283-1307. - https://doi.org/10.1109/TSE.2013.15
ROSNER, Nicolás, GALEOTTI, Juan, BERMÚDEZ, Santiago, et al. Parallel bounded analysis in code with rich invariants by refinement of field bounds. In : Proceedings of the 2013 International Symposium on Software Testing and Analysis. 2013. p. 23-33. - https://doi.org/10.1145/2483760.2483770

Codes MSC

Document(s)

https://www.cirm-math.fr/RepOrga/2398/Slides/Frias.pdf

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow

Copyright Carmin.tv 2024

Donner son avis