Ran Ettinger

Publication Activity (10 Years)

Years Active: 2004-2021
Publications (10 Years): 4

Top Topics

Highly Efficient

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

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