Diego Garbervetsky
Diego Garbervetsky

homepage
diegogatdc.uba.ar

Professional ACM Member badge
  Affiliation history
Bibliometrics: publication history
Average citations per article3.54
Citation Count124
Publication count35
Publication years2002-2017
Available for download21
Average downloads per article108.86
Downloads (cumulative)2,286
Downloads (12 Months)271
Downloads (6 Weeks)34
SEARCH
ROLE
Arrow RightAuthor only
· Other only
· All roles


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


34 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 20 of 34
Result page: 1 2

Sort by:

1 published by ACM
October 2018 ESEC/FSE 2018: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 10,   Downloads (12 Months): 32,   Downloads (Overall): 32

Full text available: PDFPDF
This paper reports on an approach for systematically generating test data from production databases for end user calculated field program via a novel combination of symbolic execution and database queries. We also discuss the opportunities and challenges that this specific domain poses for symbolic execution and shows how database queries ...
Keywords: Program Analysis, Query Generation, Symbolic Execution

2
October 2017 ASE 2017: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
Publisher: IEEE Press
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 2,   Downloads (12 Months): 19,   Downloads (Overall): 30

Full text available: PDFPDF
Software model checking constitutes an undecidable problem and, as such, even an ideal tool will in some cases fail to give a conclusive answer. In practice, software model checkers fail often and usually do not provide any information on what was effectively checked. The purpose of this work is to ...

3 published by ACM
August 2017 ESEC/FSE 2017: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 8,   Downloads (12 Months): 53,   Downloads (Overall): 134

Full text available: PDFPDF
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. Our reliance on a cloud cluster provides a ...
Keywords: Development environments and tools, Parallel, Performance and scalability, Program analysis, Program comprehension and visualization, and concurrent systems, distributed

4 published by ACM
August 2017 ESEC/FSE 2017: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 7,   Downloads (12 Months): 60,   Downloads (Overall): 128

Full text available: PDFPDF
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 effective query optimization for such languages is extremely challenging since the optimizer needs to understand data dependencies ...
Keywords: Big Data, Query optimization, Static analysis, UDOs

5 published by ACM
June 2017 ICOOOLPS'17: Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 7,   Downloads (Overall): 29

Full text available: PDFPDF
Just-in-time compilers and their aggressive speculative optimizations reduced the performance gap between dynamic and static languages drastically. To successfully speculate, compilers rely on the program variability observed at run time to be low, and use heuristics to determine when optimization is beneficial. However, some variability patterns are hard to capture ...

6
May 2017 ICSE-C '17: Proceedings of the 39th International Conference on Software Engineering Companion
Publisher: IEEE Press
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 10,   Downloads (Overall): 32

Full text available: PDFPDF
It has become common for software systems to require or benefit from dynamic adaptation, i.e. , to modify their behavior while they are running. Among the existing approaches to this problem, language-level solutions are appealing for scenarios in which fine-grained adaptation is needed, i.e. , when the granularity of the ...

7
May 2017 AST '17: Proceedings of the 12th International Workshop on Automation of Software Testing
Publisher: IEEE Press
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1,   Downloads (12 Months): 34,   Downloads (Overall): 85

Full text available: PDFPDF
In this work, we present a tool that systematically discovers and tests the user-observable states of an Android application. We define an appropriate notion of test coverage, and we show the tool's potential by applying it to several publicly available applications.
Keywords: Android testing, GUI-based testing, automatic testing

8 published by ACM
November 2016 DLS 2016: Proceedings of the 12th Symposium on Dynamic Languages
Publisher: ACM
Bibliometrics:
Citation Count: 3
Downloads (6 Weeks): 1,   Downloads (12 Months): 7,   Downloads (Overall): 73

Full text available: PDFPDF
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 behavior to applications. This enables develop- ers to observe and adapt VMs at run time. However, there is a belief that ...
Keywords: Metaobject Protocols, Performance, Reflection, Virtual Machines
Also published in:
May 2017  ACM SIGPLAN Notices - DLS '16: Volume 52 Issue 2, February 2017

9 published by ACM
October 2015 Onward! 2015: 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)
Publisher: ACM
Bibliometrics:
Citation Count: 5
Downloads (6 Weeks): 0,   Downloads (12 Months): 10,   Downloads (Overall): 99

Full text available: PDFPDF
Modern development environments promote live programming (LP) mechanisms because it enhances the development experience by providing instantaneous feedback and interaction with live objects. LP is typically supported with advanced reflective techniques within dynamic languages. These languages run on top of Virtual Machines (VMs) that are built in a static manner ...
Keywords: Dynamic Adaptation, Virtual Machines, Live Programming, Metaobject-Protocols, Reflection

10
February 2015 Software and Systems Modeling (SoSyM): Volume 14 Issue 1, February 2015
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 0

In previous work, we presented TACO, a tool for efficient bounded verification. TACO translates programs annotated with contracts to a SAT problem which is then solved resorting to off-the-shelf SAT-solvers. TACO may deem propositional variables used in the description of a program initial states as being unnecessary. Since the worst-case ...
Keywords: Java-like programs verification, Dataflow analysis, SAT-based verification

11
March 2014 Software—Practice & Experience: Volume 44 Issue 3, March 2014
Publisher: John Wiley & Sons, Inc.
Bibliometrics:
Citation Count: 0

Our knowledge as to how to solve software engineering problems is increasingly being encapsulated in tools. These tools are at their strongest when they operate in a preexisting development that can provide integration with existing elements such as compilers, debuggers, profilers, and visualizers as well as numerous other development and, ...
Keywords: plug-ins, development environments, tools, software engineering

12
November 2013 Computer Science - Research and Development: Volume 28 Issue 4, November 2013
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 0

Behaviour model construction remains a difficult and labour intensive task which hinders the adoption of model-based methods by practitioners. We believe one reason for this is the mismatch between traditional approaches and current software development process best practices which include iterative development, adoption of use-case and scenario-based techniques and viewpoint- ...
Keywords: Partial behaviour modelling

13 published by ACM
July 2013 ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design: Volume 22 Issue 3, July 2013
Publisher: ACM
Bibliometrics:
Citation Count: 7
Downloads (6 Weeks): 1,   Downloads (12 Months): 11,   Downloads (Overall): 262

Full text available: PDFPDF
Code artifacts that have nontrivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. This work addresses the problem of validating if API implementations provide their intended behavior when ...
Keywords: Source-code validation, enabledness abstractions

14
May 2013 ICSE '13: Proceedings of the 2013 International Conference on Software Engineering
Publisher: IEEE Press
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 0,   Downloads (Overall): 61

Full text available: PDFPDF
TOPI (http://se.inf.ethz.ch/events/topi2013/) is a workshop started in 2011 to address research questions involving plug-ins: software components designed and written to execute within an extensible platform. Most such software components are tools meant to be used within a development environment for constructing software. Other environments are middle-ware platforms and web browsers. ...

15 published by ACM
November 2012 ACM SIGSOFT Software Engineering Notes: Volume 37 Issue 6, November 2012
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 0,   Downloads (Overall): 49

Full text available: PDFPDF
The International Workshop on Developing Tools as Plug-Ins (TOPI) is a venue for researchers and practitioners interested in plug-in development. The main interest is understanding the opportunities and challenges of developing tools as plug-ins, and thus, we seek for discussions regarding the characteristics of good plug-ins, interoperability requirements to making ...

16
June 2012 SFM'12: Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 0

Many software engineering artefacts, such as source code or specifications, define a set of operations and impose restrictions to the ordering on which they have to be invoked. Enabledness Preserving Abstractions (EPAs) are concise representations of the behaviour space for such artefacts. In this paper, we exemplify how EPAs might ...
Keywords: behaviour validation, enabledness-preserving abstractions

17
January 2012 IEEE Transactions on Software Engineering: Volume 38 Issue 1, January 2012
Publisher: IEEE Press
Bibliometrics:
Citation Count: 12

Pre/postcondition-based specifications are commonplace in a variety of software engineering activities that range from requirements through to design and implementation. The fragmented nature of these specifications can hinder validation as it is difficult to understand if the specifications for the various operations fit together well. In this paper, we propose ...
Keywords: Requirements/specifications, validation, automated abstraction.

18
November 2011 SEFM'11: Proceedings of the 9th international conference on Software engineering and formal methods
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 2

SAT-based bounded verification of programs consists of the translation of the code and its annotations into a propositional formula. The formula is then analyzed for specification violations using a SATsolver. This technique is capable of proving the absence of errors up to a given scope. SAT is a well-known NP-complete ...

19
September 2011 Concurrency and Computation: Practice & Experience: Volume 23 Issue 14, September 2011
Publisher: John Wiley and Sons Ltd.
Bibliometrics:
Citation Count: 1

Space- and time-predictability are hard to achieve for object-oriented languages with automated dynamic-memory management. Although there has been significant work to design APIs, such as the Real-Time Specification for Java (RTSJ), and to implement garbage collectors to enable real-time performance, quantitative space analysis is still in its infancy. This work ...
Keywords: Java real-time, static analysis, quantitative memory requirements, scoped-memory

20 published by ACM
May 2011 TOPI '11: Proceedings of the 1st Workshop on Developing Tools as Plug-ins
Publisher: ACM
Bibliometrics:
Citation Count: 5
Downloads (6 Weeks): 0,   Downloads (12 Months): 3,   Downloads (Overall): 70

Full text available: PDFPDF
In this work we present Contractor.NET , a Visual Studio extension that supports the construction of contract specifications with typestate information which can be used for verification of client code. Contractor.NET uses and extends Code Contracts to provide stronger contract specifications. It features a two step process. First, a class ...
Keywords: enabledness abstractions, contract strengthening, typestate inference



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2019 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us