Zobrazeno 1 - 10
of 49
pro vyhledávání: '"Diego Garbervetsky"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 139, Iss Proc. LAFM 2013, Pp 1-15 (2014)
In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints. Sin
Externí odkaz:
https://doaj.org/article/7511f362a8ad453a968e323f79cb676a
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 139, Iss Proc. LAFM 2013, Pp 59-64 (2014)
We present an extension to the DynAlloy tool to navigate DynAlloy counterexamples: the DynAlloy Visualizer. The user interface mimics the functionality of a programming language debugger. Without this tool, a DynAlloy user is forced to deal with the
Externí odkaz:
https://doaj.org/article/e441b7166d514d4a9f5b78b637ced739
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 30:1-36
A significant proportion of classes in modern software introduce or use object protocols, prescriptions on the temporal orderings of method calls on objects. This article studies search-based test generation techniques that aim to exploit a particula
Publikováno v:
Journal of Software: Evolution and Process. 35
Autor:
Roberto Etchenique, Armando Ezequiel Puerta, Carolina Grillo Vidal, Sol Minoldo, Rodrigo Maidana, Ezequiel Pecker-Marcosig, Rodrigo Quiroga, Laouen Belloli, Guillermo Solovey, Mauricio Mendiluce, Rodrigo Goldsmit, Pablo Laciana, Juan E. Kamienkowski, Mariano Zapatero, Mario Lozano, Leonardo Boechi, Guillermo Durán, Leonardo Pepino, Esteban Omar Lanzarotti, Ana Maria Bianco, Luciana Ferrer, Rodrigo Castro, Diego Garbervetsky, Marina Valdora, Natalia Brenda Fernandez, Mehrnoosh Arrar
Publikováno v:
SEDICI (UNLP)
Universidad Nacional de La Plata
instacron:UNLP
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Universidad Nacional de La Plata
instacron:UNLP
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
With the arrival of the pandemic in Argentina in March 2020, a working group of scientists from two institutes belonging to the Faculty of Exact and Natural Sciences of the University of Buenos Aires and CONICET, together with colleagues from differe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e27633a9a97fea8cb9f5f04cf271fc80
http://sedici.unlp.edu.ar/handle/10915/137753
http://sedici.unlp.edu.ar/handle/10915/137753
Publikováno v:
DLS
Programming language virtual machines (VMs) realize language semantics, enforce security properties, and execute applications efficiently. Fully Reflective Execution Environments (EEs) are VMs that additionally expose their whole structure and behavi
Publikováno v:
ICSE (NIER)
We propose an approach for rapid detection of performance regressions using a simulator built from the original program by dynamic slicing and a certificate built using static analysis that generalizes its correctness. We discuss two case-studies tha
Publikováno v:
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering, 2018, pp.1-20. ⟨10.1109/TSE.2018.2812715⟩
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2018, pp.1-20. ⟨10.1109/TSE.2018.2812715⟩
IEEE Transactions on Software Engineering, 2018, pp.1-20. ⟨10.1109/TSE.2018.2812715⟩
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2018, pp.1-20. ⟨10.1109/TSE.2018.2812715⟩
International audience; VMs are complex pieces of software that implement programming language semantics in an efficient, portable, and secure way. Unfortunately, mainstream VMs provide applications with few mechanisms to alter execution semantics or
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8c9e2b411e1f8c7414030c50348daee6
https://kar.kent.ac.uk/66604/1/tse18-chari-et-al-fully-reflective-execution-environments.pdf
https://kar.kent.ac.uk/66604/1/tse18-chari-et-al-fully-reflective-execution-environments.pdf
Autor:
Mike Barnett, Madanlal Musuvathi, Zvonimir Pavlinovic, Edgardo Zoppi, Diego Garbervetsky, Todd Mytkowicz
Publikováno v:
ESEC/SIGSOFT FSE
Query languages for big data analysis provide user extensibility through a mechanism of user-defined operators (UDOs). These operators allow programmers to write proprietary functionalities on top of a relational query skeleton. However, achieving ef
Publikováno v:
ESEC/SIGSOFT FSE
In this paper we present the design and implementation of a distributed, whole-program static analysis framework that is designed to scale with the size of the input. Our approach is based on the actor programming model and is deployed in the cloud.