Publications

---

Theses

• Joseph Gil. Parallel Computation of Editing Distance. M.Sc. Thesis. The Hebrew University
  of Jerusalem. 1986.
• Joseph Gil. Lower Bounds and Algorithms for Hashing and for Parallel Processing. Ph.D. Dissertation. The Hebrew University of Jerusalem. 1991.

Published:

1990 – 1999

---

1990

• Not All Keys Can Be Hashed in Constant Time

Joseph (Yossi) Gil, Friedhelm Meyer auf der Heide, Avi Wigderson.  STOC 1990: 244-253.

1991

•  Towards a Theory of Nearly Constant Time Parallel Algorithms

Joseph (Yossi) Gil, Yossi Matias and Uzi Vishkin. FOCS 1991: 698-710.

• Fast Hashing on a PRAM – Designing by Expectation

Joseph (Yossi) Gil and Yossi Matias. SODA 1991: 271-280.

• Fast load balancing on a PRAM

Joseph (Yossi) Gil. SPDP 1991: 10-17.

1992

♣ Geometric medians

Joseph (Yossi) Gil, William L. Steiger, and Avi Wigderson. Discrete Mathematics, Special volume on Topological, Algebraic, and Combinatorial Structures, 108(1):37-51, October 1992.

• Polynomial Hash Functions Are Reliable

Martin Dietzfelbinger, Joseph (Yossi) Gil, Yossi Matias and Nicholas Pippenger. ICALP 1992: 235-246.

• Leaders Election Without Conflict Resolution Rule – Fast and Efficient Randomized Simulations among CRCW PRAMs.

Joseph (Yossi) Gil and Yossi Matias. LATIN 1992: 204-218.

1993

♣ Computing 2-d min, median, and max filters

Joseph (Yossi) Gil and Michael Werman. IEEE Transactions on Pattern Analysis and Machine Intelligence, 15(5):504–507, May 1993.

1994

♣ Designing algorithms by expectations

Joseph (Yossi) Gil and Yossi Matias. Information Processing Letters, 51(5):31-35, July 1994.

♣ Renaming and dispersing: Techniques for fast load balancing‏

Joseph (Yossi) Gil. Journal of Parallel and Distributed Computing, 23(2):149-157, November 1994.

♣ Leaders election without a conflict resolution rule

Joseph (Yossi) Gil and Yossi Matias. Journal of Parallel and Distributed Computing, 23(2):135-148, November 1994.

1995

♣ Linear time Euclidean distance transform algorithms‏

Heinz Breu, Joseph (Yossi) Gil, David G. Kirkpatrick and Michael Werman. IEEE Transactions on Pattern Analysis and Machine Intelligence, 17(5):529–533, May 1995.

• Packing Trees

Joseph (Yossi) Gil and Alon Itai. ESA 1995: 113-127.

1996

♣ An Effective Load Balancing Policy for Geometric Decaying Algorithms

Joseph (Yossi) Gil and Yossi Matias. Journal of Parallel and Distributed Computing, 36(2):185-188, August 1996.

♣ The tree model for hashing: lower and upper bounds

Joseph (Yossi) Gil, Friedhelm Meyer auf der Heide, and Avi Wigderson.  SIAM Journal on Computing, 25(5):936-955, October 1996.

• A New Technique for 3-D Domain Decomposition on Multicomputers which Reduces Message-Passing

Joseph (Yossi) Gil and Alan S. Wagner. IPPS 1996: 831-835.

• Environmental Acquisition – A New Inheritance-Like Abstraction Mechanism

Joseph (Yossi) Gil and David H. Lorenz. OOPSLA 1996: 214-231.

1997

♣  Automating the Application of Design Patterns

Amnon H. Eden, Joseph (Yossi) Gil and Amiram Yehudai. Journal of Object Oriented Programming, 10 (2): 44-46, 1997.

• Design Patterns vs. Language Design

Joseph (Yossi) Gil and David H. Lorenz. ECOOP Workshops 1997: 108-111.

• Precise Specification and Automatic Application of Design Patterns

Amnon H. Eden, Amiram Yehudai and Joseph (Yossi) Gil. ASE 1997: 143-152.

• T++: A Test Case Generator Using a Debugging Information Based Technique for Source Code Manipulation

Joseph (Yossi) Gil and Beery Holstein. TOOLS (23) 1997: 272-281.

• Extendability vs. Substitutability in OO Languages

Joseph (Yossi) Gil. TOOLS (25) 1997: 368.

1998

♣ Visualising action contracts in object-oriented modelling‏

Stuart Kent and Joseph (Yossi) Gil. IEE Proceedings: Software 145(2-3):70-78, April-June 1998.

♣ Design Patterns and Language Design

Joseph (Yossi) Gil and David H. Lorenz. IEEE Computer 31(3): 118-120, March 1998.

♣ Simple Fast Parallel Hashing by Oblivious Execution

Joseph (Yossi) Gil and Yossi Matias. SIAM Journal on Computing, 27(5): 1348-1375, 1998.

• Compile Time Symbolic Derivation with C++ Templates

Joseph (Yossi) Gil and Zvi Gutterman. COOTS 1998: 249-264.

• The Complexity of Type Analysis of Object Oriented Programs

Joseph (Yossi) Gil and Alon Itai. ECOOP 1998: 601-634.

• Three Dimensional Software Modeling

Joseph (Yossi) Gil and Stuart Kent. ICSE 1998: 105-114.

• Statically Checkable Design Level Traits

Joseph (Yossi) Gil and Y. Eckel. ASE 1998: 217-220.

1999

♣ How to Pack Trees

Joseph (Yossi) Gil and Alon Itai. Journal of Algorithms, 32(2): 108–132, August 1999.

♣ An Alternative Mapping of 3-D Space onto Processor Arrays

Joseph (Yossi) Gil and Alan Wagner. Journal of Parallel and Distributed Computing, 59:360-380, December 1999.

• Aspects and Superimpositions

Shmuel Katz and Joseph (Yossi) Gil. ECOOP Workshops 1999: 308-309.

• Space and Time-Efficient Memory Layout for Multiple Inheritance

Peter F. Sweeney and Joseph (Yossi) Gil. OOPSLA 1999: 256-275.

• Constraint Diagrams: A Step Beyond UML

Joseph (Yossi) Gil, John Howse and Stuart Kent. TOOLS (30) 1999: 453-463.

• Formalizing Spider Diagrams

Joseph (Yossi) Gil, John Howse and Stuart Kent. VL 1999: 130-137.

2000 – 2009

---

2001

♣  JAMOOS-a domain-specific language for language processing

Joseph (Yossi) Gil and Yuri Tsoglin. Journal of Computing and Information Technology, 9(4):305-321, 2001.

♣ Spider diagrams: A diagrammatic reasoning system

John Howse, Fernando Molina, John Taylor J, Stuart Kent and Joseph (Yossi) Gil. Journal of Visual Languages and Computing, 12 (3): 299-324, 2001.

• Sealing, Encapsulation, and Mutability

Marina Biberstein, Joseph (Yossi) Gil and Sara Porat. ECOOP 2001: 28-52.

• Subtyping arithmetical types

Joseph (Yossi) Gil. POPL 2001: 276-289

• Towards a Formalization of Constraint Diagrams

Joseph (Yossi) Gil, John Howse and Stuart Kent. HCC 2001: 72.

2002

♣ Positive Semantics of Projections in Venn- Euler Diagrams

Joseph (Yossi) Gil, John Howse, and Elena Tulchinsky. Journal of Visual Languages & Computing, 13(2): 197-227 April, 2002.

♣ Efficient Dilation, Erosion, Opening and Closing Algorithms

Joseph (Yossi) Gil and Ronny Kimmel. IEEE Transactions on Pattern Analysis and Machine Intelligence 24(12):1606-1617.

• Advanced visual modelling: beyond UML

Joseph (Yossi) Gil, John Howse and Stuart Kent. ICSE 2002: 697-698.

• Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching

Yoav Zibin and Joseph (Yossi) Gil. OOPSLA 2002: 142-160.

2003

♣  Automated Transformations for PDE Systems with Application to Multigrid Solvers

Joseph (Yossi) Gil, Zvika Gutterman, Shmuel Onn and Irad Yavneh. SIAM Journal on Scientific Computing, 24(3): 886-904.

• Visualizing class interfaces with formal concept analysis

Uri Dekel and Joseph (Yossi) Gil. OOPSLA Companion 2003: 288-289.

• Incremental algorithms for dispatching in dynamically typed languages

Yoav Zibin and Joseph (Yossi) Gil. POPL 2003: 126-138.

• Revealing Class Structure with Concept Lattices

Uri Dekel and Joseph (Yossi) Gil. WCRE 2003: 353-365.

2004

• AspectJ2EE = AOP + J2EE

Tal Cohen and Joseph (Yossi) Gil. ECOOP 2004: 219-243.

• Type-safe covariance in C++

Vitaly Surazhsky and Joseph (Yossi) Gil. SAC 2004: 1496-1502.

2005

♣ Efficient Subtyping Tests with PQ-Encoding

Yoav Zibin and Joseph (Yossi) Gil. ACM Transactions on Programming Languages and Systems (TOPLAS), 27 (5): 819-856, September 2005.

♣ Efficient algorithms for isomorphisms of simple types

Yoav Zibin and Joseph (Yossi) Gil. Mathematical Structures in Computer Science, 15(5): 917-957, October 2005.

• Micro patterns in Java code

Joseph (Yossi) Gil and Itay Maman. OOPSLA 2005: 97-116.

2006

♣ Shakeins: Non-Intrusive Aspects for Middleware Frameworks

Tal Cohen and Joseph (Yossi) Gil. Transactions on Aspect Oriented Software Development II. LNCS,4242: 101-146, 2006.

♣ On the Arc Length Parametrization Problem

Joseph (Yossi) Gil. International Journal of Pure and Applied Mathematics, Volume 31 No. 3, 401-419.

• Software Fingerprinting

Joseph (Yossi) Gil, Alexander Gorovoy and Alon Itai. ITRE 2006: 69-73.

• JTL: the Java tools language

Tal Cohen, Joseph (Yossi) Gil and Itay Maman. OOPSLA 2006: 89-108.

2007

♣ Randomized Algorithms for Isomorphisms of Simple Types

Joseph (Yossi) Gil and Yoav Zibin. Mathematical Structures in Computer Science, 17 (3): 565-584, June 2007.

♣ Better Construction with Factories

Joseph (Yossi) Gil and Tal Cohen. Journal of Object Technology 6(6): 103-123, July 2007.

♣ Efficient Dynamic Dispatching with Type Slicing

Joseph (Yossi) Gil and Yoav Zibin. ACM transactions on programming languages and systems, 30 (1): 5-58, November 2007.

• Datalog Programs over Infinite Databases, Revisited

Sara Cohen,Joseph (Yossi) Gil and Evelina Zarivach. DBPL 2007: 32-47

• Eliminating Impedance Mismatch in C++

Joseph (Yossi) Gil and Keren Lenz. VLDB 2007: 1386-1389

2008

♣ Two-dimensional bidirectional object layout

Joseph (Yossi) Gil, William Pugh, Grant E. Weddell and Yoav Zibin. ACM Transactions on Programming Languages and Systems (TOPLAS), 30(5), 2008.

• Whiteoak: introducing structural typing into java

Joseph (Yossi) Gil and Itay Maman. OOPSLA 2008: 73-90

• Guarded Program Transformations Using JTL

Tal Cohen,Joseph (Yossi) Gil and Itay Maman. TOOLS (46) 2008: 100-120

2009

• Are We Ready for a Safer Construction Environment?

Joseph (Yossi) Gil and Tali Shragai. ECOOP 2009: 495-519

• Three approaches to object evolution

Tal Cohen and Joseph (Yossi) Gil. PPPJ 2009: 57-66

2010 – Today

---

2010

♣ Simple and safe SQL queries with C++ templates

Joseph (Yossi) Gil and Keren Lenz. Science of  Computer Programming  75(7): 573-595, 2010.

• The Use of Overloading in Java Programs

Joseph (Yossi) Gil and Keren Lenz. ECOOP 2010: 529-551.

• Sans Constraints? Feature Diagrams vs. Feature Models

Joseph (Yossi) Gil and Shiri Kremer-Davidson and Itay Maman. SPLC 2010: 271-285.

• Fitting Long-Tailed Distribution to Empirical Data

Joseph (Yossi) Gil and Cristina Monni. 2010.

2011

• How much information do software metrics contain?

Joseph (Yossi) Gil, Maayan Goldstein and Dany Moshkovich. PLATEAU 2011: 57-64

• A microbenchmark case study and lessons learned

Joseph (Yossi) Gi, Keren Lenz and Yuval Shimron. SPLASH Workshops 2011: 297-308

2012

♣ Keyword-and Default-Parameters in JAVA

Joseph (Yossi) Gil and Keren Lenz. Journal of Object Technology, 11(1):1-17.

♣  Meta to the Rescue–Augmented Metamodels for Better Deployment of Pre-Packaged Applications

Joseph (Yossi) Gil, Elad Fine, and Natalia Razinkov. Journal of Software Engineering and Applications. October 2012.

♣ Bashful Writing and Active Documents

Joseph (Yossi) Gil. The PracTeX Journal 2012-1‏.

• Smaller Footprint for Java Collections

Joseph (Yossi) Gil and Yuval Shimron. ECOOP 2012: 356-382.

• An empirical investigation of changes in some software properties over time

Joseph (Yossi) Gil, Maayan Goldstein and Dany Moshkovich. MSR 2012: 227-236.

• A Bijective String Sorting Transform

Joseph (Yossi) Gil and David Allen Scott. CoRR abs/1201.3077 (2012)

• Empirical Confirmation (and Refutation) of Presumptions on Software

Joseph (Yossi) Gil, Maayan Goldstein and Dany Moshkovich. CoRR abs/1201.3078 (2012)

2015

♣ On Incomplete Bug Fixes in Eclipse and Programmers’ Intuition on These

Sabih Agbaria and Joseph (Yossi) Gil. ACM SIGSOFT Software Engineering Notes. January 2015.

2016

♣ When Do Software Complexity Metrics Mean Nothing?- When Examined out of Context

Joseph (Yossi) Gil and Gal Lalouche. Journal of Object Technology, 15 (1) 1-25.

• Structured Gotos are (Slightly) Harmful

Eli Sennesh and Joseph (Yossi) Gil. SAC 2016: Symposium on Applied Computing (SAC).

• Formal Language Recognition with the Java Type Checker

Joseph (Yossi) Gil and Tomer Levy. ECOOP 2016: 10:1-10:27

2017

♣  On the correlation between size and metric validity

Joseph (Yossi) Gil and Gal Lalouche. Empirical Software Engineering. October 2017.

• The Spartanizer: Massive automatic refactoring

Joseph (Yossi) Gil and Matteo Orrù. SANER 2017: 477-481.

• Pluggable Controllers and Nano-Patterns

Joseph (Yossi) Gil, Ori Marcovitch and Matteo Orrù.  SANER 2017: 447-451.

• Code Spartanization: one rational approach for resolving religious style wars

Joseph (Yossi) Gil and Matteo Orrù. SAC 2017: Symposium on Applied Computing (SAC), 1615-1622.

Manuscripts:

• How Do Classes Choose Their Parents?

Sabih Agbaria and Joseph (Yossi) Gil. 2013

•  Less Testing Ink with Meta Testing

Joseph (Yossi) Gil. 2017.

• The Spartanizer: Experience, Architecture, Lessons

Joseph (Yossi) Gil, Matteo Orrú and Dor Ma’ayan. 2017.

 

 Journal Articles ♣

Conference and workshop papers ●