Joseph Gil

According to our database, Joseph Gil authored at least 104 papers between 1984 and 2023.

Collaborative distances:

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

2023

Fluent APIs in Functional Languages.

Ori Roth, Yossi Gil

Proc. ACM Program. Lang., April, 2023

2022

Fluent APIs in Functional Languages (full version).

Ori Roth, Yossi Gil

CoRR, 2022

2020

Ties between Parametrically Polymorphic Type Systems and Finite Control Automata.

Joseph Gil, Ori Roth

CoRR, 2020

2019

A Nano-Pattern Language for Java.

Yossi Gil, Ori Marcovitch, Matteo Orrù

J. Comput. Lang., 2019

Fling - A Fluent API Generator (Artifact).

Ori Roth, Yossi Gil

Dagstuhl Artifacts Ser., 2019

Fling - A Fluent API Generator.

Yossi Gil, Ori Roth

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2017

On the correlation between size and metric validity.

Yossi Gil, Gal Lalouche

Empir. Softw. Eng., 2017

Fitting long-tailed distribution to empirical data.

Joseph Yossi Gil, Cristina Monni

Concurr. Comput. Pract. Exp., 2017

The Spartanizer: Massive automatic refactoring.

Yossi Gil, Matteo Orrù

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

Pluggable Controllers and Nano-Patterns.

Yossi Gil, Ori Marcovitch, Matteo Orrù

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

Syntactic Zoom-Out / Zoom-In Code with the Athenizer.

Yossi Gil, Dor Ma'ayan, Niv Shalmon, Raviv Rachmiel, Ori Roth

Proceedings of the IEEE Working Conference on Software Visualization, 2017

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

Yossi Gil, Matteo Orrù

Proceedings of the Symposium on Applied Computing, 2017

2016

When do Software Complexity Metrics Mean Nothing? - When Examined out of Context.

Joseph Yossi Gil, Gal Lalouche

J. Object Technol., 2016

Structured gotos are (Slightly) harmful.

Eli Sennesh, Yossi Gil

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Formal Language Recognition with the Java Type Checker.

Yossi Gil, Tomer Levy

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

On Incomplete Bug Fixes in Eclipse and Programmers' Intuition on These.

Sabih Agbaria, Joseph Gil

ACM SIGSOFT Softw. Eng. Notes, 2015

2012

Keyword- and Default- Parameters in JAVA.

Joseph Gil, Keren Lenz

J. Object Technol., 2012

Empirical Confirmation (and Refutation) of Presumptions on Software

Joseph Gil, Maayan Goldstein, Dany Moshkovich

CoRR, 2012

A Bijective String Sorting Transform

Joseph Yossi Gil, David Allen Scott

CoRR, 2012

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

Joseph Gil, Maayan Goldstein, Dany Moshkovich

Proceedings of the 9th IEEE Working Conference of Mining Software Repositories, 2012

2011

Smaller footprint for Java collections.

Joseph Gil, Yuval Shimron

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

A microbenchmark case study and lessons learned.

Joseph Gil, Keren Lenz, Yuval Shimron

Proceedings of the SPLASH'11 Workshops, 2011

How much information do software metrics contain?

Yossi Gil, Maayan Goldstein, Dany Moshkovich

Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools, 2011

2010

Simple and safe SQL queries with C++ templates.

Joseph Gil, Keren Lenz

Sci. Comput. Program., 2010

Sans Constraints? Feature Diagrams vs. Feature Models.

Yossi Gil, Shiri Kremer-Davidson, Itay Maman

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Reflections on Spartan Programming and the No-Debugger Principle.

Joseph Gil

Proceedings of the Hardware and Software: Verification and Testing, 2010

The Use of Overloading in Java Programs.

Joseph Gil, Keren Lenz

Proceedings of the ECOOP 2010, 2010

2009

Three approaches to object evolution.

Tal Cohen, Joseph Gil

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

Are We Ready for a Safer Construction Environment?

Joseph Gil, Tali Shragai

Proceedings of the ECOOP 2009, 2009

2008

Two-dimensional bidirectional object layout.

Joseph Gil, William W. Pugh, Grant E. Weddell, Yoav Zibin

ACM Trans. Program. Lang. Syst., 2008

Guarded Program Transformations Using JTL.

Tal Cohen, Joseph Gil, Itay Maman

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Whiteoak: introducing structural typing into java.

Joseph Gil, Itay Maman

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

Efficient dynamic dispatching with type slicing.

Joseph Gil, Yoav Zibin

ACM Trans. Program. Lang. Syst., 2007

Randomised algorithms for isomorphisms of simple types.

Joseph Gil, Yoav Zibin

Math. Struct. Comput. Sci., 2007

Better Construction with Factories.

Tal Cohen, Joseph Gil

J. Object Technol., 2007

Eliminating Impedance Mismatch in C++.

Joseph Gil, Keren Lenz

Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Datalog Programs over Infinite Databases, Revisited.

Sara Cohen, Joseph Gil, Evelina Zarivach

Proceedings of the Database Programming Languages, 11th International Symposium, 2007

2006

Shakeins: Nonintrusive Aspects for Middleware Frameworks.

Tal Cohen, Joseph Gil

LNCS Trans. Aspect Oriented Softw. Dev., 2006

JTL: the Java tools language.

Tal Cohen, Joseph Gil, Itay Maman

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Software Fingerprinting.

Joseph Gil, Alexander Gorovoy, Alon Itai

Proceedings of the ITRE 2006, 2006

2005

Efficient subtyping tests with PQ-encoding.

Joseph Gil, Yoav Zibin

ACM Trans. Program. Lang. Syst., 2005

Efficient algorithms for isomorphisms of simple types.

Joseph Gil, Yoav Zibin

Math. Struct. Comput. Sci., 2005

Micro patterns in Java code.

Joseph Gil, Itay Maman

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Type-safe covariance in C++.

Vitaly Surazhsky, Joseph Gil

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

AspectJ2EE = AOP + J2EE.

Tal Cohen, Joseph Gil

Proceedings of the ECOOP 2004, 2004

2003

Automated Transformations for PDE Systems with Application to Multigrid Solvers.

Yossi Gil, Zvi Gutterman, Shmuel Onn, Irad Yavneh

SIAM J. Sci. Comput., 2003

Revealing Class Structure with Concept Lattices.

Uri Dekel, Yossi Gil

Proceedings of the 10th Working Conference on Reverse Engineering, 2003

Efficient algorithms for isomorphisms of simple types.

Yoav Zibin, Joseph Gil, Jeffrey Considine

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Incremental algorithms for dispatching in dynamically typed languages.

Yoav Zibin, Joseph Gil

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Visualizing class interfaces with formal concept analysis.

Uri Dekel, Joseph Gil

Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

Two-Dimensional Bi-directional Object Layout.

Yoav Zibin, Joseph Gil

Proceedings of the ECOOP 2003, 2003

2002

Positive Semantics of Projections in Venn-Euler Diagrams.

Joseph Gil, John Howse, Elena Tulchinsky

J. Vis. Lang. Comput., 2002

Efficient Dilation, Erosion, Opening, and Closing Algorithms.

Joseph Gil, Ron Kimmel

IEEE Trans. Pattern Anal. Mach. Intell., 2002

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

Yoav Zibin, Joseph Gil

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Advanced visual modelling: beyond UML.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the 24th International Conference on Software Engineering, 2002

2001

Spider Diagrams: A Diagrammatic Reasoning System.

John Howse, Fernando Molina, John Taylor, Stuart Kent, Joseph Gil

J. Vis. Lang. Comput., 2001

Towards a Formalization of Constraint Diagrams.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Subtyping arithmetical types.

Joseph Gil

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

Sealing, Encapsulation, and Mutability.

Marina Biberstein, Joseph Gil, Sara Porat

Proceedings of the ECOOP 2001, 2001

2000

Projections in Venn-Euler Diagrams.

Joseph Gil, John Howse, Stuart Kent, John Taylor

Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

Advanced Visual Modeling: Beyond UML.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

Self-Calibration of Metrics of Java Methods.

Tal Cohen, Joseph Gil

Proceedings of the TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000

Advanced visual modeling (tutorial session): beyond UML.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Empirical Study of Object-Layout Strategies and Optimization Techniques.

Natalie Eckel, Joseph Gil

Proceedings of the ECOOP 2000, 2000

1999

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

Joseph Gil, Alan S. Wagner

J. Parallel Distributed Comput., 1999

How to Pack Trees.

Joseph Gil, Alon Itai

J. Algorithms, 1999

Formalizing Spider Diagrams.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Constraint Diagrams: A Step Beyond UML.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Space and Time-Efficient Memory Layout for Multiple Inheritance.

Peter F. Sweeney, Joseph Gil

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Aspects and Superimpositions.

Shmuel Katz, Joseph Gil

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Simple Fast Parallel Hashing by Oblivious Execution.

Joseph Gil, Yossi Matias

SIAM J. Comput., 1998

Visualising action contracts in object-oriented modelling.

Stuart Kent, Joseph Gil

IEE Proc. Softw., 1998

Design Patterns and Language Design.

Joseph Gil, David H. Lorenz

Computer, 1998

Statically Checkable Design Level Traits.

Joseph Gil, Y. Eckel

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Three Dimensional Software Modeling.

Joseph Gil, Stuart Kent

Proceedings of the Forging New Links, 1998

The Complexity of Type Analysis of Object Oriented Programs.

Joseph Gil, Alon Itai

Proceedings of the ECOOP'98, 1998

Compile Time Symbolic Derivation with C++ Templates.

Joseph Gil, Zvi Gutterman

Proceedings of the 4th USENIX Conference on Object-Oriented Technologies and Systems (COOTS), 1998

1997

Automating the Application of Design Patterns.

Amnon H. Eden, Joseph Gil, Amiram Yehudai

J. Object Oriented Program., 1997

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

Joseph Gil, Beery Holstein

Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997

Extendability vs. Substitutability in OO Languages.

Yossi Gil

Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997

Keynotes.

James Coplien, Joseph Gil, David Harel, Bertrand Meyer

Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997

Precise Specification and Automatic Application of Design Patterns.

Amnon H. Eden, Amiram Yehudai, Joseph Gil

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Design Patterns vs. Language Design.

Joseph Gil, David H. Lorenz

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1996

The Tree Model for Hashing: Lower and Upper Bounds.

Joseph Gil, Friedhelm Meyer auf der Heide, Avi Wigderson

SIAM J. Comput., 1996

An Effective Load Balancing Policy for Geometric-Decaying Algorithms.

Joseph Gil, Yossi Matias

J. Parallel Distributed Comput., 1996

Environmental Acquisition - A New Inheritance-Like Abstraction Mechanism.

Joseph Gil, David H. Lorenz

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

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

Joseph Gil, Alan S. Wagner

Proceedings of IPPS '96, 1996

1995

Linear Time Euclidean Distance Algorithms.

Heinz Breu, Joseph Gil, David G. Kirkpatrick, Michael Werman

IEEE Trans. Pattern Anal. Mach. Intell., 1995

Packing Trees.

Joseph Gil, Alon Itai

Proceedings of the Algorithms, 1995

1994

Fast and Efficient Simulations among CRCW PRAMs.

Joseph Gil, Yossi Matias

J. Parallel Distributed Comput., 1994

Renaming and dispersing: Techniques for Fast Load Balancing.

Joseph Gil

J. Parallel Distributed Comput., 1994

Designing Algorithms by Expectations.

Joseph Gil, Yossi Matias

Inf. Process. Lett., 1994

Simple Fast Parallel Hashing.

Joseph Gil, Yossi Matias

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

1993

Computing 2-D Min, Median, and Max Filters.

Joseph Gil, Michael Werman

IEEE Trans. Pattern Anal. Mach. Intell., 1993

1992

Geometric medians.

Joseph Gil, William L. Steiger, Avi Wigderson

Discret. Math., 1992

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

Joseph Gil, Yossi Matias

Proceedings of the LATIN '92, 1992

Polynomial Hash Functions Are Reliable (Extended Abstract).

Martin Dietzfelbinger, Joseph Gil, Yossi Matias, Nicholas Pippenger

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991

Fast load balancing on a PRAM.

Joseph Gil

Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991

Fast Hashing on a PRAM - Designing by Expectation.

Joseph Gil, Yossi Matias

Proceedings of the Second Annual ACM/SIGACT-SIAM Symposium on Discrete Algorithms, 1991

Towards a Theory of Nearly Constant Time Parallel Algorithms

Joseph Gil, Yossi Matias, Uzi Vishkin

Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, 1991

1990

Lower bounds and algorithms for hashing and parallel processing (חסמים תחתונים ואלגוריתמים בערבול ובחשוב מקבילי.).

Joseph Gil

PhD thesis, 1990

Not All Keys Can Be Hashed in Constant Time (Preliminary Version)

Joseph Gil, Friedhelm Meyer auf der Heide, Avi Wigderson

Proceedings of the 22nd Annual ACM Symposium on Theory of Computing, 1990

1986

Counting and Packing in Parallel.

Joseph Gil, Larry Rudolph

Proceedings of the International Conference on Parallel Processing, 1986

1984

Asynchronous Byzantine Consensus.

Chagit Attiya, Danny Dolev, Joseph Gil

Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984