PhD and MSc Theses

PhD and MSc Theses, since 1988

Advisor Professor Joseph Gil
Advisor’s Email
Advisor’s Home-Site
No of theses 33
Department Computer Science
Department Web Site
Student’s Name Graduation Year Degree Abstracts Research Name
Lalouche Gal 2018 PhD Abstracts The Consistency, Independence and Validity of Software Complexity Metrics
Lenz Keren 2013 PhD Abstracts Internal and External Mechanisms for Extending Programming Languages
Maman Itay 2012 PhD Formal Patterns in Java Programs
Cohen Tal 2007 PhD Abstracts Applying Aspect-Oriented Software Development to Middleware Frameworks
Zibin Yoav 2004 PhD Abstracts Efficient Algorithms for the Runtime Environment of Object Oriented Languages
Lorenz David 1999 PhD Compilation of Source Code into Object-Oriented Patterns
Maien Dor-David 2021 MSc Abstracts Better Prediction of Mutation Score
Peled Matan 2020 MSc Abstracts Thapl – A Theatrical Programming Language
Pat Barak 2018 MSc Abstracts Geosocial Search: Finding Places based on Geotagged Social-Media Posts
Levy Tomer 2017 MSc Abstracts Fajita – a Fluent API for Automatic Generation of Fluent APIs in Java
Zmiry Iddo 2016 MSc Abstracts Lola – A Programming Language for Augmenting Programming Languages
Malul Elior 2014 MSc Abstracts Towards Temporal Correctness of Event Processing
Agbaria Sabih 2013 MSc Abstracts On Incomplete Bug Fixes and Programmers’ Intuition on These
Shimron Yuval 2012 MSc Abstracts Smaller Footprint for Java Collections
Shragai Tali 2009 MSc Abstracts Empiric Evaluation of the Usability of Virtual Function Calls within Constructors
Bekkerman Anna 2004 MSc Abstracts Conflict Resolution and Operator Priorities in Extended BNF
Dekel Uri 2003 MSc Abstracts Revealing JAVA Class Structure with Concept Lattices
Cohen Tal 2002 MSc Self-Calibration of Metrics of Java Methods towards the Discovery of the Common Programming Practice
Gorovoy Alexander 2001 MSc Applying Data Compression Algorithms to Software Engineering
Eckel Natalie 2001 MSc Empirical Study of Object-Layout Strategies and Optimization Techniqes
Sorkin Yan 2001 MSc CD-Edit- A Constraint Diagrams’ Editor
Eckel Jacob 1998 MSc A Framework for Static Checking of Design Level Traits
Voldman Leonid 1997 MSc Using Smart Terminals to Effectively Enhance Commuication Throughput
Holstein Beery 1997 MSc T++ : Test Case Generator Using Code Abstraction
Samuel Lior 2021 MSc Abstracts Domsago- a Spoken Programming Language as a Step Towards Personal Assistant Programming
Marcovitch Ori 2018 MSc Abstracts A Nano Patterns Language for Java
Tsoglin Yuri 2001 MSc JAMOOS – an Object Oriented Language for Grammars
Barta David 1996 MSc A System for Document Reuse
Sennesh Eli 2015 MSc Abstracts Unstructured Jumps and Compressed Size as Defect-Prediction Metrics
Zarivach Evelina 2008 MSc Abstracts Evaluating Datalog Programs over Infinite and Founded Databases
Gutterman Zvi 2004 MSc Abstracts Symbolic Pre-Computation for Numerical Applications
Cohen Uriel 2003 MSc Abstracts Object Relations and Syntactic Mechanisms in Design Patterns
Tulchinsky Elena 2002 MSc Positive Semantics of Projections in Venn-Euler Diagrams