E-LIB Suche - Ergebnisse für: Garbervetsky, D.

1

Symbolic Polynomial Maximization Over Convex Sets and Its A..:

Clauss, P. ; Fernandez, F.J. ; Garbervetsky, D..
IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 17 (2009) 8 - p. 983-996 , 2009

Link: https://doi.org/10.1109/..

2

Fast Escape Analysis for Region-based Memory Management:

Salagnac, G. ; Yovine, S. ; Garbervetsky, D.
Electronic Notes in Theoretical Computer Science. 131 (2005) - p. 99-110 , 2005

Link: https://doi.org/10.1016/..

3

Program Instrumentation and Run-Time Analysis of Scoped Mem..:

Garbervetsky, D. ; Nakhli, C. ; Yovine, S..
Electronic Notes in Theoretical Computer Science. 113 (2005) - p. 105-121 , 2005

Link: https://doi.org/10.1016/..

4

Verification of Programs with Common Fragments:

, In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering,

Postolski, Ivan ; Braberman, Víctor ; Garbervetsky, Diego. - p. 487-491 , 2024

Link: https://dl.acm.org/doi/1..

5

InspectJS : leveraging code similarity and user-feedback..:

, In: Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice,

Dutta, Saikat ; Garbervetsky, Diego ; Lahiri, Shuvendu K.. - p. 165-174 , 2022

Link: https://dl.acm.org/doi/1..

6

InspectJS: Leveraging Code Similarity and User-Feedback for..:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),

Dutta, Saikat ; Garbervetsky, Diego ; Lahiri, Shuvendu K.. - p. 165-174 , 2022

Link: https://doi.org/10.1145/..

7

Predicate abstractions for smart contract validation:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,

Godoy, Javier ; Galeotti, Juan Pablo ; Garbervetsky, Diego. - p. 289-299 , 2022

Link: https://dl.acm.org/doi/1..

8

Enabledness-based Testing of Object Protocols:

Godoy, Javier ; Galeotti, Juan Pablo ; Garbervetsky, Diego.
ACM Transactions on Software Engineering and Methodology. 30 (2021) 2 - p. 1-36 , 2021

Link: https://doi.org/10.1145/..

9

Enabledness-based Testing of Object Protocols:

Godoy, Javier ; Galeotti, Juan Pablo ; Garbervetsky, Diego.
ACM Transactions on Software Engineering and Methodology (TOSEM). 30 (2021) 2 - p. 1-36 , 2021

Link: https://dl.acm.org/doi/1..

10

An Empirical Study on How Sapienz Achieves Coverage and Cra..:

Arcuschin, Iván ; Galeotti, Juan Pablo ; Garbervetsky, Diego
Journal of Software: Evolution and Process. 35 (2021) 4 - p. , 2021

Link: https://doi.org/10.1002/..

11

Algorithm or Representation? : An empirical study on how..:

, In: Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test,

Moreno, Iván Arcuschin ; Galeotti, Juan Pablo ; Garbervetsky, Diego - p. 61-70 , 2020

Link: https://dl.acm.org/doi/1..

12

Fully Reflective Execution Environments: Virtual Machines f..:

Chari, Guido ; Garbervetsky, Diego ; Marr, Stefan.
IEEE Transactions on Software Engineering. 45 (2019) 9 - p. 858-876 , 2019

Link: https://doi.org/10.1109/..

13

Simulator-based diff-time performance testing:

, In: Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results,

Postolski, Ivan ; Braberman, Victor ; Garbervetsky, Diego. - p. 81-84 , 2019

Link: https://dl.acm.org/doi/1..

14

Testing and validating end user programmed calculated field:

, In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Braberman, Víctor ; Garbervetsky, Diego ; Godoy, Javier... - p. 827-832 , 2018

Link: https://dl.acm.org/doi/1..

15

Static analysis for optimizing big data queries:

, In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering,

Garbervetsky, Diego ; Pavlinovic, Zvonimir ; Barnett, Michael... - p. 932-937 , 2017

Link: https://dl.acm.org/doi/1..