Ran Ettinger

14 papers A* 1A 2B 1Unranked 9
YearRankTypeTitle / Venue / Authors
2021 — conf
Lessons of Formal Program Design in Dafny.
FMTea
Ran Ettinger
2021 — conf
Verifying Time Complexity of Binary Search using Dafny.
F-IDE@NFM
Shiri Morshtein, Ran Ettinger, Shmuel S. Tyszberowicz
2017 A conf
Efficient method extraction for automatic elimination of type-3 clones.
SANER
Ran Ettinger, Shmuel S. Tyszberowicz, Shay Menaia
2016 — conf
Duplication for the Removal of Duplication.
IWSC
Ran Ettinger, Shmuel S. Tyszberowicz
2012 B conf
Fine Slicing - Theory and Applications for Computation Extraction.
FASE
Aharon Abadi, Ran Ettinger, Yishai A. Feldman
2012 A conf
Program Sliding.
ECOOP
Ran Ettinger
2011 — conf
Automatically fixing security vulnerabilities in Java code.
OOPSLA Companion
Aharon Abadi, Ran Ettinger, Yishai A. Feldman, Mati Shomrat
2009 — conf
Improving slice accuracy by compression of data and control flow paths.
ESEC/SIGSOFT FSE
Aharon Abadi, Ran Ettinger, Yishai A. Feldman
2008 — conf
Re-approaching the refactoring Rubicon.
WRT@OOPSLA
Aharon Abadi, Ran Ettinger, Yishai A. Feldman
2007 — conf
Refactoring via Program Slicing and Sliding.
ICSM
Ran Ettinger
2006 A* conf
JunGL: a scripting language for refactoring.
ICSE
Mathieu Verbaere, Ran Ettinger, Oege de Moor
2006 — —
Refactoring via program slicing and sliding.
Ran Ettinger
2005 — conf
Making Slicing Mainstream How can we be Weiser?.
Beyond Program Slicing
Karl Trygve Kalleberg, Tracy Hall, Ran Ettinger
2004 — conf
Untangling: a slice extraction refactoring.
AOSD
Ran Ettinger, Mathieu Verbaere