Ph.D and MS.c Theses, since 1988.
| Advisor | Assoc. Prof. Gil Joseph |
| Advisor's Email | yogi@cs.technion.ac.il |
| Advisor's Home-Site | www |
| No of theses | 22 |
| Department | Computer Science |
| Department Web Site | www.cs.technion.ac.il |
No. |
Student's Name | Graduation Year  |
Degree | Abstracts | ResearchName |
|---|---|---|---|---|---|
| 1 | Keren Lenz | 2013 | PhD | Abstracts | Internal and External Mechanisms for Extending Programming Languages |
| 2 | Yuval Shimron | 2012 | MSc | Abstracts | Smaller Footprint for Java Collections |
| 3 | Itay Maman | 2012 | PhD | Formal Patterns in Java Programs | |
| 4 | Tali Shragai | 2009 | MSc | Abstracts | Empiric Evaluation of the Usability of Virtual Function Calls within Constructors |
| 5 | Evelina Zarivach | 2008 | MSc | Abstracts | Evaluating Datalog Programs over Infinite and Founded Databases |
| 6 | Tal Cohen | 2007 | PhD | Abstracts | Applying Aspect-Oriented Software Development to Middleware Frameworks |
| 7 | Zvi Gutterman | 2004 | MSc | Abstracts | Symbolic Pre-Computation for Numerical Applications |
| 8 | Anna Bekkerman | 2004 | MSc | Abstracts | Conflict Resolution and Operator Priorities in Extended BNF |
| 9 | Yoav Zibin | 2004 | PhD | Abstracts | Efficient Algorithms for the Runtime Environment of Object Oriented Languages |
| 10 | Uriel Cohen | 2003 | MSc | Abstracts | Object Relations and Syntactic Mechanisms in Design Patterns |
| 11 | Uri Dekel | 2003 | MSc | Abstracts | Revealing JAVA Class Structure with Concept Lattices |
| 12 | Elena Tulchinsky | 2002 | MSc | Positive Semantics of Projections in Venn-Euler Diagrams | |
| 13 | Tal Cohen | 2002 | MSc | Self-Calibration of Metrics of Java Methods towards the Discovery of the Common Programming Practice | |
| 14 | Alexander Gorovoy | 2001 | MSc | Applying Data Compression Algorithms to Software Engineering | |
| 15 | Natalie Eckel | 2001 | MSc | Empirical Study of Object-Layout Strategies and Optimization Techniqes | |
| 16 | Yuri Tsoglin | 2001 | MSc | JAMOOS - an Object Oriented Language for Grammars | |
| 17 | Yan Sorkin | 2001 | MSc | CD-Edit- A Constraint Diagrams' Editor | |
| 18 | David Lorenz | 1999 | PhD | Compilation of Source Code into Object-Oriented Patterns | |
| 19 | Jacob Eckel | 1998 | MSc | A Framework for Static Checking of Design Level Traits | |
| 20 | Leonid Voldman | 1997 | MSc | Using Smart Terminals to Effectively Enhance Commuication Throughput | |
| 21 | Beery Holstein | 1997 | MSc | T++ : Test Case Generator Using Code Abstraction | |
| 22 | David Barta | 1996 | MSc | A System for Document Reuse |
Last updated on: Thursday ,May 23, 2013