Ran Ettinger

According to our database, Ran Ettinger authored at least 14 papers between 2004 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Verifying Time Complexity of Binary Search using Dafny.

Shiri Morshtein, Ran Ettinger, Shmuel S. Tyszberowicz

Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

Lessons of Formal Program Design in Dafny.

Ran Ettinger

Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021

2017

Efficient method extraction for automatic elimination of type-3 clones.

Ran Ettinger, Shmuel S. Tyszberowicz, Shay Menaia

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

2016

Duplication for the Removal of Duplication.

Ran Ettinger, Shmuel S. Tyszberowicz

Proceedings of the 10th International Workshop on Software Clones, 2016

2012

Fine Slicing - Theory and Applications for Computation Extraction.

Aharon Abadi, Ran Ettinger, Yishai A. Feldman

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Program Sliding.

Ran Ettinger

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Automatically fixing security vulnerabilities in Java code.

Aharon Abadi, Ran Ettinger, Yishai A. Feldman, Mati Shomrat

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2009

Improving slice accuracy by compression of data and control flow paths.

Aharon Abadi, Ran Ettinger, Yishai A. Feldman

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

2008

Re-approaching the refactoring Rubicon.

Aharon Abadi, Ran Ettinger, Yishai A. Feldman

Proceedings of the Second ACM Workshop on Refactoring Tools, 2008

2007

Refactoring via Program Slicing and Sliding.

Ran Ettinger

Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

2006

Refactoring via program slicing and sliding.

Ran Ettinger

PhD thesis, 2006

JunGL: a scripting language for refactoring.

Mathieu Verbaere, Ran Ettinger, Oege de Moor

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Making Slicing Mainstream How can we be Weiser?.

Karl Trygve Kalleberg, Tracy Hall, Ran Ettinger

Proceedings of the Beyond Program Slicing, 06.11. - 11.11.2005, 2005

2004

Untangling: a slice extraction refactoring.

Ran Ettinger, Mathieu Verbaere

Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004