Joseph Gil

Publication Activity (10 Years)

Years Active: 1984-2020
Publications (10 Years): 2

Top Topics

Bug Localization

Software Maintenance

Top Venues

J. Object Technol.

Publications

Joseph Gil, Ori Roth
Ties between Parametrically Polymorphic Type Systems and Finite Control Automata. CoRR (2020)
Sabih Agbaria, Joseph Gil
On Incomplete Bug Fixes in Eclipse and Programmers' Intuition on These. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Joseph Gil, Yuval Shimron
Smaller Footprint for Java Collections. ECOOP (2012)
Joseph Gil, Keren Lenz
Keyword- and Default- Parameters in JAVA. J. Object Technol. 11 (1) (2012)
Joseph Gil, Maayan Goldstein, Dany Moshkovich
An empirical investigation of changes in some software properties over time. MSR (2012)
Joseph Gil, Maayan Goldstein, Dany Moshkovich
Empirical Confirmation (and Refutation) of Presumptions on Software CoRR (2012)
Joseph Gil, Yuval Shimron
Smaller footprint for Java collections. OOPSLA Companion (2011)
Joseph Gil, Keren Lenz, Yuval Shimron
A microbenchmark case study and lessons learned. SPLASH Workshops (2011)
Joseph Gil
Reflections on Spartan Programming and the No-Debugger Principle. Haifa Verification Conference (2010)
Joseph Gil, Keren Lenz
The Use of Overloading in Java Programs. ECOOP (2010)
Joseph Gil, Keren Lenz
Simple and safe SQL queries with C++ templates. Sci. Comput. Program. 75 (7) (2010)
Joseph Gil, Tali Shragai
Are We Ready for a Safer Construction Environment? ECOOP (2009)
Tal Cohen, Joseph Gil
Three approaches to object evolution. PPPJ (2009)
Joseph Gil, Itay Maman
Whiteoak: introducing structural typing into java. OOPSLA (2008)
Joseph Gil, William Pugh, Grant E. Weddell, Yoav Zibin
Two-dimensional bidirectional object layout. ACM Trans. Program. Lang. Syst. 30 (5) (2008)
Tal Cohen, Joseph Gil, Itay Maman
Guarded Program Transformations Using JTL. TOOLS (46) (2008)
Sara Cohen, Joseph Gil, Evelina Zarivach
Datalog Programs over Infinite Databases, Revisited. DBPL (2007)
Joseph Gil, Yoav Zibin
Randomised algorithms for isomorphisms of simple types. Math. Struct. Comput. Sci. 17 (3) (2007)
Tal Cohen, Joseph Gil
Better Construction with Factories. J. Object Technol. 6 (6) (2007)
Joseph Gil, Yoav Zibin
Efficient dynamic dispatching with type slicing. ACM Trans. Program. Lang. Syst. 30 (1) (2007)
Joseph Gil, Keren Lenz
Simple and safe SQL queries with c++ templates. GPCE (2007)
Joseph Gil, Keren Lenz
Eliminating Impedance Mismatch in C++. VLDB (2007)
Tal Cohen, Joseph Gil
Shakeins: Nonintrusive Aspects for Middleware Frameworks. LNCS Trans. Aspect Oriented Softw. Dev. 2 (2006)
Tal Cohen, Joseph Gil, Itay Maman
JTL: the Java tools language. OOPSLA (2006)
Joseph Gil, Alexander Gorovoy, Alon Itai
Software Fingerprinting. ITRE (2006)
Joseph Gil, Yoav Zibin
Efficient subtyping tests with PQ-encoding. ACM Trans. Program. Lang. Syst. 27 (5) (2005)
Joseph Gil, Itay Maman
Micro patterns in Java code. OOPSLA (2005)
Joseph Gil, Yoav Zibin
Efficient algorithms for isomorphisms of simple types. Math. Struct. Comput. Sci. 15 (5) (2005)
Tal Cohen, Joseph Gil
AspectJ2EE = AOP + J2EE. ECOOP (2004)
Vitaly Surazhsky, Joseph Gil
Type-safe covariance in C++. SAC (2004)
Yoav Zibin, Joseph Gil
Two-Dimensional Bi-directional Object Layout. ECOOP (2003)
Uri Dekel, Joseph Gil
Visualizing class interfaces with formal concept analysis. OOPSLA Companion (2003)
Yoav Zibin, Joseph Gil, Jeffrey Considine
Efficient algorithms for isomorphisms of simple types. POPL (2003)
Yoav Zibin, Joseph Gil
Incremental algorithms for dispatching in dynamically typed languages. POPL (2003)
Joseph Gil, John Howse, Elena Tulchinsky
Positive Semantics of Projections in Venn-Euler Diagrams. J. Vis. Lang. Comput. 13 (2) (2002)
Joseph Gil, John Howse, Stuart Kent
Advanced visual modelling: beyond UML. ICSE (2002)
Yoav Zibin, Joseph Gil
Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching. OOPSLA (2002)
Joseph Gil, Ron Kimmel
Efficient Dilation, Erosion, Opening, and Closing Algorithms. IEEE Trans. Pattern Anal. Mach. Intell. 24 (12) (2002)
Yoav Zibin, Joseph Gil
Efficient Subtyping Tests with PQ-Encoding. OOPSLA (2001)
John Howse, Fernando Molina, John Taylor, Stuart Kent, Joseph Gil
Spider Diagrams: A Diagrammatic Reasoning System. J. Vis. Lang. Comput. 12 (3) (2001)
Joseph Gil
Subtyping arithmetical types. POPL (2001)
Marina Biberstein, Joseph Gil, Sara Porat
Sealing, Encapsulation, and Mutability. ECOOP (2001)
Joseph Gil, John Howse, Stuart Kent
Towards a Formalization of Constraint Diagrams. HCC (2001)
Tal Cohen, Joseph Gil
Self-Calibration of Metrics of Java Methods. TOOLS (37) (2000)
Joseph Gil, John Howse, Elena Tulchinsky
Positive Semantics of Projections in Venn-Euler Diagrams. Diagrams (2000)
Joseph Gil, John Howse, Stuart Kent
Advanced visual modeling (tutorial session): beyond UML. ICSE (2000)
Natalie Eckel, Joseph Gil
Empirical Study of Object-Layout Strategies and Optimization Techniques. ECOOP (2000)
Joseph Gil, John Howse, Stuart Kent, John Taylor
Projections in Venn-Euler Diagrams. VL (2000)
Joseph Gil, John Howse, Stuart Kent
Advanced Visual Modeling: Beyond UML. TOOLS (33) (2000)
Joseph Gil, Alan S. Wagner
An Alternative Mapping of 3-D Space onto Processor Arrays. J. Parallel Distributed Comput. 59 (3) (1999)
Joseph Gil, Alon Itai
How to Pack Trees. J. Algorithms 32 (2) (1999)
Joseph Gil, John Howse, Stuart Kent
Constraint Diagrams: A Step Beyond UML. TOOLS (30) (1999)
Peter F. Sweeney, Joseph Gil
Space and Time-Efficient Memory Layout for Multiple Inheritance. OOPSLA (1999)
Joseph Gil, John Howse, Stuart Kent
Formalizing Spider Diagrams. VL (1999)
Shmuel Katz, Joseph Gil
Aspects and Superimpositions. ECOOP Workshops (1999)
Joseph Gil, Alon Itai
The Complexity of Type Analysis of Object Oriented Programs. ECOOP (1998)
Joseph Gil, Stuart Kent
Three Dimensional Software Modeling. ICSE (1998)
Joseph Gil, Y. Eckel
Statically Checkable Design Level Traits. ASE (1998)
Stuart Kent, Joseph Gil
Visualising action contracts in object-oriented modelling. IEE Proc. Softw. 145 (2-3) (1998)
Joseph Gil, David H. Lorenz
Design Patterns and Language Design. Computer 31 (3) (1998)
Joseph Gil, Zvi Gutterman
Compile Time Symbolic Derivation with C++ Templates. COOTS (1998)
Joseph Gil, Yossi Matias
Simple Fast Parallel Hashing by Oblivious Execution. SIAM J. Comput. 27 (5) (1998)
Joseph Gil, Beery Holstein
T++: A Test Case Generator Using a Debugging Information Based Technique for Source Code Manipulation. TOOLS (23) (1997)
James Coplien, Joseph Gil, David Harel, Bertrand Meyer
Keynotes. TOOLS (23) (1997)
Joseph Gil, David H. Lorenz
Design Patterns vs. Language Design. ECOOP Workshops (1997)
Amnon H. Eden, Amiram Yehudai, Joseph Gil
Precise Specification and Automatic Application of Design Patterns. ASE (1997)
Amnon H. Eden, Joseph Gil, Amiram Yehudai
Automating the Application of Design Patterns. J. Object Oriented Program. 10 (2) (1997)
Joseph Gil, Friedhelm Meyer auf der Heide, Avi Wigderson
The Tree Model for Hashing: Lower and Upper Bounds. SIAM J. Comput. 25 (5) (1996)
Joseph Gil, Yossi Matias
An Effective Load Balancing Policy for Geometric-Decaying Algorithms. J. Parallel Distributed Comput. 36 (2) (1996)
Joseph Gil, Alan S. Wagner
A New Technique for 3-D Domain Decomposition on Multicomputers which Reduces Message-Passing. IPPS (1996)
Joseph Gil, David H. Lorenz
Environmental Acquisition - A New Inheritance-Like Abstraction Mechanism. OOPSLA (1996)
Heinz Breu, Joseph Gil, David G. Kirkpatrick, Michael Werman
Linear Time Euclidean Distance Algorithms. IEEE Trans. Pattern Anal. Mach. Intell. 17 (5) (1995)
Joseph Gil, Alon Itai
Packing Trees. ESA (1995)
Joseph Gil, Yossi Matias
Fast and Efficient Simulations among CRCW PRAMs. J. Parallel Distributed Comput. 23 (2) (1994)
Joseph Gil, Yossi Matias
Designing Algorithms by Expectations. Inf. Process. Lett. 51 (1) (1994)
Joseph Gil
Renaming and dispersing: Techniques for Fast Load Balancing. J. Parallel Distributed Comput. 23 (2) (1994)
Joseph Gil, Yossi Matias
Simple Fast Parallel Hashing. ICALP (1994)
Joseph Gil, Michael Werman
Computing 2-D Min, Median, and Max Filters. IEEE Trans. Pattern Anal. Mach. Intell. 15 (5) (1993)
Joseph Gil, William L. Steiger, Avi Wigderson
Geometric medians. Discret. Math. 108 (1-3) (1992)
Martin Dietzfelbinger, Joseph Gil, Yossi Matias, Nicholas Pippenger
Polynomial Hash Functions Are Reliable (Extended Abstract). ICALP (1992)
Joseph Gil, Yossi Matias
Leaders Election Without Conflict Resolution Rule - Fast and Efficient Randomized Simulations among CRCW PRAMs. LATIN (1992)
Joseph Gil, Yossi Matias
Fast Hashing on a PRAM - Designing by Expectation. SODA (1991)
Joseph Gil, Yossi Matias, Uzi Vishkin
Towards a Theory of Nearly Constant Time Parallel Algorithms FOCS (1991)
Joseph Gil
Fast load balancing on a PRAM. SPDP (1991)
Joseph Gil, Friedhelm Meyer auf der Heide, Avi Wigderson
Not All Keys Can Be Hashed in Constant Time (Preliminary Version) STOC (1990)
Joseph Gil, Larry Rudolph
Counting and Packing in Parallel. ICPP (1986)
Chagit Attiya, Danny Dolev, Joseph Gil
Asynchronous Byzantine Consensus. PODC (1984)