| 2012 | ECOOP | Smaller Footprint for Java Collections. | Joseph Gil, Yuval Shimron |
| 2012 | MSR | An empirical investigation of changes in some software properties over time. | Joseph Gil, Maayan Goldstein, Dany Moshkovich |
| 2011 | OOPSLA | A microbenchmark case study and lessons learned. | Joseph Gil, Keren Lenz, Yuval Shimron |
| 2011 | OOPSLA | Smaller footprint for Java collections. | Joseph Gil, Yuval Shimron |
| 2010 | ECOOP | The Use of Overloading in Java Programs. | Joseph Gil, Keren Lenz |
| 2009 | ECOOP | Are We Ready for a Safer Construction Environment? | Joseph Gil, Tali Shragai |
| 2008 | OOPSLA | Whiteoak: introducing structural typing into java. | Joseph Gil, Itay Maman |
| 2007 | GPCE | Simple and safe SQL queries with c++ templates. | Joseph Gil, Keren Lenz |
| 2007 | VLDB | Eliminating Impedance Mismatch in C++. | Joseph Gil, Keren Lenz |
| 2006 | OOPSLA | JTL: the Java tools language. | Tal Cohen, Joseph Gil, Itay Maman |
| 2005 | OOPSLA | Micro patterns in Java code. | Joseph Gil, Itay Maman |
| 2004 | ECOOP | AspectJ2EE = AOP + J2EE. | Tal Cohen, Joseph Gil |
| 2004 | SAC | Type-safe covariance in C++. | Vitaly Surazhsky, Joseph Gil |
| 2003 | ECOOP | Two-Dimensional Bi-directional Object Layout. | Yoav Zibin, Joseph Gil |
| 2003 | OOPSLA | Visualizing class interfaces with formal concept analysis. | Uri Dekel, Joseph Gil |
| 2003 | POPL | Incremental algorithms for dispatching in dynamically typed languages. | Yoav Zibin, Joseph Gil |
| 2003 | POPL | Efficient algorithms for isomorphisms of simple types. | Yoav Zibin, Joseph Gil, Jeffrey Considine |
| 2002 | ICSE | Advanced visual modelling: beyond UML. | Joseph Gil, John Howse, Stuart Kent |
| 2002 | OOPSLA | Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching. | Yoav Zibin, Joseph Gil |
| 2001 | ECOOP | Sealing, Encapsulation, and Mutability. | Marina Biberstein, Joseph Gil, Sara Porat |
| 2001 | OOPSLA | Efficient Subtyping Tests with PQ-Encoding. | Yoav Zibin, Joseph Gil |
| 2001 | POPL | Subtyping arithmetical types. | Joseph Gil |
| 2000 | DIAGRAMS | Positive Semantics of Projections in Venn-Euler Diagrams. | Joseph Gil, John Howse, Elena Tulchinsky |
| 2000 | ECOOP | Empirical Study of Object-Layout Strategies and Optimization Techniques. | Natalie Eckel, Joseph Gil |
| 2000 | ICSE | Advanced visual modeling (tutorial session): beyond UML. | Joseph Gil, John Howse, Stuart Kent |
| 1999 | OOPSLA | Space and Time-Efficient Memory Layout for Multiple Inheritance. | Peter F. Sweeney, Joseph Gil |
| 1998 | ECOOP | The Complexity of Type Analysis of Object Oriented Programs. | Joseph Gil, Alon Itai |
| 1998 | ICSE | Three Dimensional Software Modeling. | Joseph Gil, Stuart Kent |
| 1996 | OOPSLA | Environmental Acquisition - A New Inheritance-Like Abstraction Mechanism. | Joseph Gil, David H. Lorenz |
| 1995 | ESA | Packing Trees. | Joseph Gil, Alon Itai |
| 1994 | ICALP | Simple Fast Parallel Hashing. | Joseph Gil, Yossi Matias |
| 1992 | ICALP | Polynomial Hash Functions Are Reliable (Extended Abstract). | Martin Dietzfelbinger, Joseph Gil, Yossi Matias, Nicholas Pippenger |
| 1992 | LATIN | Leaders Election Without Conflict Resolution Rule - Fast and Efficient Randomized Simulations among CRCW PRAMs. | Joseph Gil, Yossi Matias |
| 1991 | FOCS | Towards a Theory of Nearly Constant Time Parallel Algorithms | Joseph Gil, Yossi Matias, Uzi Vishkin |
| 1991 | SODA | Fast Hashing on a PRAM - Designing by Expectation. | Joseph Gil, Yossi Matias |
| 1990 | STOC | Not All Keys Can Be Hashed in Constant Time (Preliminary Version) | Joseph Gil, Friedhelm Meyer auf der Heide, Avi Wigderson |
| 1986 | ICPP | Counting and Packing in Parallel. | Joseph Gil, Larry Rudolph |
| 1984 | PODC | Asynchronous Byzantine Consensus. | Chagit Attiya, Danny Dolev, Joseph Gil |