Diego Garbervetsky

Registered user since Tue 14 Jun 2016

Name:Diego Garbervetsky
Country:Argentina
Affiliation:University of Buenos Aires and CONICET, Argentina
Research interests:Static and dynamic analysis, reserve engineering, compiler optimizations

Contributions

ESEC/FSE 2023 Committee Member in Program Committee within the Industry Papers-track
ESEC/FSE 2022 Co-chair in Program Committee within the Artifacts-track
Artifact Evaluation Co-Chair in Organizing Committee
MODELS 2022 Author of Predicate Abstractions for Smart Contract Validation within the Technical Track-track
ICSE 2022 Author of InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript within the SEIP - Software Engineering in Practice-track
ICSE 2021 Committee Member in Program Committee within the Technical Track-track
ESEC/FSE 2020 Committee Member in Program Committee within the Research Papers-track
ISSTA 2020 Committee Member in Program Committee within the WoSCA-track
Author of Shuvendu K. Lahiri & Diego Garbervetsky -- VeriSol: Bringing Formal Verification to Solidity Smart Contract Developers within the WoSCA-track
ICSE 2020 Committee Member in Program Committee within the New Ideas and Emerging Results-track
AST 2020 Author of Algorithm or Representation? An Empirical Study on How SAPIENZ Achieves Coverage within the AST 2020-track
‹Programming› 2020 Committee Member in Program Committee within the Research Papers-track
ICSE 2019 Author of Simulator-Based Diff-Time Performance Testing within the New Ideas and Emerging Results-track
Committee Member in Program Committee within the Technical Track-track
ESEC/FSE 2018 Session Chair of Energy (part of Research Papers)
Author of Testing and Validating End User Programmed Calculated Fields within the Industry-track
META'18 Committee Member in Program Committee within the Meta-track
VEE 2018 Committee Member in Program Committee within the Research Papers-track
ICOOOLPS 2017 Author of A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability within the ICOOOLPS 2017-track
DLS 2016 Author of Building Efficient and Highly Run-Time Adaptable Virtual Machines within the DLS-track
Onward! 2015 Author of Towards Fully Reflective Environments within the Onward! Papers-track