


default search action
Joseph Gil
Person information
- affiliation: Technion - Israel Institute of Technology, Haifa, Israel
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j34]Ori Roth
, Yossi Gil
:
Fluent APIs in Functional Languages. Proc. ACM Program. Lang. 7(OOPSLA1): 876-901 (2023) - 2022
- [i4]Ori Roth, Yossi Gil:
Fluent APIs in Functional Languages (full version). CoRR abs/2211.01473 (2022) - 2020
- [i3]Joseph Gil, Ori Roth:
Ties between Parametrically Polymorphic Type Systems and Finite Control Automata. CoRR abs/2009.04437 (2020)
2010 – 2019
- 2019
- [j33]Ori Roth, Yossi Gil:
Fling - A Fluent API Generator (Artifact). Dagstuhl Artifacts Ser. 5(2): 12:1-12:9 (2019) - [j32]Yossi Gil
, Ori Marcovitch, Matteo Orrù:
A Nano-Pattern Language for Java. J. Comput. Lang. 54 (2019) - [c70]Yossi Gil, Ori Roth
:
Fling - A Fluent API Generator. ECOOP 2019: 13:1-13:25 - 2017
- [j31]Joseph Yossi Gil, Cristina Monni
:
Fitting long-tailed distribution to empirical data. Concurr. Comput. Pract. Exp. 29(24) (2017) - [j30]Yossi Gil, Gal Lalouche:
On the correlation between size and metric validity. Empir. Softw. Eng. 22(5): 2585-2611 (2017) - [c69]Yossi Gil, Matteo Orrù:
Code Spartanization: one rational approach for resolving religious style wars. SAC 2017: 1615-1622 - [c68]Yossi Gil, Dor Ma'ayan
, Niv Shalmon, Raviv Rachmiel, Ori Roth
:
Syntactic Zoom-Out / Zoom-In Code with the Athenizer. VISSOFT 2017: 124-128 - [c67]Yossi Gil, Ori Marcovitch, Matteo Orrù:
Pluggable Controllers and Nano-Patterns. SANER 2017: 447-451 - [c66]Yossi Gil, Matteo Orrù:
The Spartanizer: Massive automatic refactoring. SANER 2017: 477-481 - 2016
- [j29]Joseph Yossi Gil, Gal Lalouche:
When do Software Complexity Metrics Mean Nothing? - When Examined out of Context. J. Object Technol. 15(1): 2:1-25 (2016) - [c65]Yossi Gil, Tomer Levy:
Formal Language Recognition with the Java Type Checker. ECOOP 2016: 10:1-10:27 - [c64]Eli Sennesh, Yossi Gil:
Structured gotos are (Slightly) harmful. SAC 2016: 1784-1789 - 2015
- [j28]Sabih Agbaria, Joseph Gil:
On Incomplete Bug Fixes in Eclipse and Programmers' Intuition on These. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-8 (2015) - 2013
- [e1]Christoph Bockisch, Michael Haupt, Steve Blackburn, Hridesh Rajan, Joseph Gil:
VMIL@SPLASH '13: Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages, Indianapolis, IN, USA, 28 October 2013. ACM 2013, ISBN 978-1-4503-2601-8 [contents] - 2012
- [j27]Joseph Gil, Keren Lenz:
Keyword- and Default- Parameters in JAVA. J. Object Technol. 11(1): 1-17 (2012) - [c63]Joseph Gil, Yuval Shimron:
Smaller Footprint for Java Collections. ECOOP 2012: 356-382 - [c62]Joseph Gil, Maayan Goldstein, Dany Moshkovich:
An empirical investigation of changes in some software properties over time. MSR 2012: 227-236 - [i2]Joseph Yossi Gil, David Allen Scott:
A Bijective String Sorting Transform. CoRR abs/1201.3077 (2012) - [i1]Joseph Gil, Maayan Goldstein, Dany Moshkovich:
Empirical Confirmation (and Refutation) of Presumptions on Software. CoRR abs/1201.3078 (2012) - 2011
- [c61]Yossi Gil, Maayan Goldstein, Dany Moshkovich:
How much information do software metrics contain? PLATEAU 2011: 57-64 - [c60]Joseph Gil, Yuval Shimron:
Smaller footprint for Java collections. OOPSLA Companion 2011: 191-192 - [c59]Joseph Gil, Keren Lenz, Yuval Shimron:
A microbenchmark case study and lessons learned. SPLASH Workshops 2011: 297-308 - 2010
- [j26]Joseph Gil, Keren Lenz:
Simple and safe SQL queries with C++ templates. Sci. Comput. Program. 75(7): 573-595 (2010) - [c58]Joseph Gil, Keren Lenz:
The Use of Overloading in Java Programs. ECOOP 2010: 529-551 - [c57]Joseph Gil:
Reflections on Spartan Programming and the No-Debugger Principle. Haifa Verification Conference 2010: 5-8 - [c56]Yossi Gil, Shiri Kremer-Davidson, Itay Maman:
Sans Constraints? Feature Diagrams vs. Feature Models. SPLC 2010: 271-285
2000 – 2009
- 2009
- [c55]Joseph Gil, Tali Shragai:
Are We Ready for a Safer Construction Environment? ECOOP 2009: 495-519 - [c54]Tal Cohen, Joseph Gil:
Three approaches to object evolution. PPPJ 2009: 57-66 - 2008
- [j25]Joseph Gil, William W. Pugh, Grant E. Weddell, Yoav Zibin:
Two-dimensional bidirectional object layout. ACM Trans. Program. Lang. Syst. 30(5): 28:1-28:38 (2008) - [c53]Joseph Gil, Itay Maman:
Whiteoak: introducing structural typing into java. OOPSLA 2008: 73-90 - [c52]Tal Cohen, Joseph Gil, Itay Maman:
Guarded Program Transformations Using JTL. TOOLS (46) 2008: 100-120 - 2007
- [j24]Tal Cohen, Joseph Gil:
Better Construction with Factories. J. Object Technol. 6(6): 103-123 (2007) - [j23]Joseph Gil, Yoav Zibin:
Randomised algorithms for isomorphisms of simple types. Math. Struct. Comput. Sci. 17(3): 565-584 (2007) - [j22]Joseph Gil, Yoav Zibin:
Efficient dynamic dispatching with type slicing. ACM Trans. Program. Lang. Syst. 30(1): 5 (2007) - [c51]Sara Cohen, Joseph Gil, Evelina Zarivach:
Datalog Programs over Infinite Databases, Revisited. DBPL 2007: 32-47 - [c50]Joseph Gil, Keren Lenz:
Simple and safe SQL queries with c++ templates. GPCE 2007: 13-24 - [c49]Joseph Gil, Keren Lenz:
Eliminating Impedance Mismatch in C++. VLDB 2007: 1386-1389 - 2006
- [j21]Tal Cohen, Joseph Gil:
Shakeins: Nonintrusive Aspects for Middleware Frameworks. LNCS Trans. Aspect Oriented Softw. Dev. 2: 101-146 (2006) - [c48]Joseph Gil, Alexander Gorovoy, Alon Itai:
Software Fingerprinting. ITRE 2006: 69-73 - [c47]Tal Cohen, Joseph Gil, Itay Maman:
JTL: the Java tools language. OOPSLA 2006: 89-108 - 2005
- [j20]Joseph Gil, Yoav Zibin:
Efficient algorithms for isomorphisms of simple types. Math. Struct. Comput. Sci. 15(5): 917-957 (2005) - [j19]Joseph Gil, Yoav Zibin:
Efficient subtyping tests with PQ-encoding. ACM Trans. Program. Lang. Syst. 27(5): 819-856 (2005) - [c46]Joseph Gil, Itay Maman:
Micro patterns in Java code. OOPSLA 2005: 97-116 - 2004
- [c45]Tal Cohen, Joseph Gil:
AspectJ2EE = AOP + J2EE. ECOOP 2004: 219-243 - [c44]Vitaly Surazhsky, Joseph Gil:
Type-safe covariance in C++. SAC 2004: 1496-1502 - 2003
- [j18]Yossi Gil, Zvi Gutterman, Shmuel Onn
, Irad Yavneh:
Automated Transformations for PDE Systems with Application to Multigrid Solvers. SIAM J. Sci. Comput. 24(3): 886-904 (2003) - [c43]Yoav Zibin, Joseph Gil:
Two-Dimensional Bi-directional Object Layout. ECOOP 2003: 329-350 - [c42]Uri Dekel, Joseph Gil:
Visualizing class interfaces with formal concept analysis. OOPSLA Companion 2003: 288-289 - [c41]Yoav Zibin, Joseph Gil:
Incremental algorithms for dispatching in dynamically typed languages. POPL 2003: 126-138 - [c40]Yoav Zibin, Joseph Gil, Jeffrey Considine
:
Efficient algorithms for isomorphisms of simple types. POPL 2003: 160-171 - [c39]Uri Dekel, Yossi Gil:
Revealing Class Structure with Concept Lattices. WCRE 2003: 353-365 - 2002
- [j17]Joseph Gil, Ron Kimmel:
Efficient Dilation, Erosion, Opening, and Closing Algorithms. IEEE Trans. Pattern Anal. Mach. Intell. 24(12): 1606-1617 (2002) - [j16]Joseph Gil, John Howse
, Elena Tulchinsky:
Positive Semantics of Projections in Venn-Euler Diagrams. J. Vis. Lang. Comput. 13(2): 197-227 (2002) - [c38]Joseph Gil, John Howse, Stuart Kent:
Advanced visual modelling: beyond UML. ICSE 2002: 697-698 - [c37]Yoav Zibin, Joseph Gil:
Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching. OOPSLA 2002: 142-160 - 2001
- [j15]John Howse
, Fernando Molina, John Taylor, Stuart Kent, Joseph Gil:
Spider Diagrams: A Diagrammatic Reasoning System. J. Vis. Lang. Comput. 12(3): 299-324 (2001) - [c36]Marina Biberstein, Joseph Gil, Sara Porat:
Sealing, Encapsulation, and Mutability. ECOOP 2001: 28-52 - [c35]Yoav Zibin, Joseph Gil:
Efficient Subtyping Tests with PQ-Encoding. OOPSLA 2001: 96-107 - [c34]Joseph Gil:
Subtyping arithmetical types. POPL 2001: 276-289 - [c33]Joseph Gil, John Howse, Stuart Kent:
Towards a Formalization of Constraint Diagrams. HCC 2001: 72- - 2000
- [c32]Joseph Gil, John Howse, Elena Tulchinsky:
Positive Semantics of Projections in Venn-Euler Diagrams. Diagrams 2000: 7-25 - [c31]Natalie Eckel, Joseph Gil:
Empirical Study of Object-Layout Strategies and Optimization Techniques. ECOOP 2000: 394-421 - [c30]Joseph Gil, John Howse, Stuart Kent:
Advanced visual modeling (tutorial session): beyond UML. ICSE 2000: 833 - [c29]Joseph Yossi Gil, Ron Kimmel:
Efficient Dilation, Erosion, Opening and Closing Algorithms. ISMM 2000: 301-310 - [c28]Tal Cohen, Joseph Gil:
Self-Calibration of Metrics of Java Methods. TOOLS (37) 2000: 94-107 - [c27]Joseph Gil, John Howse, Stuart Kent:
Advanced Visual Modeling: Beyond UML. TOOLS (33) 2000: 474 - [c26]Joseph Gil, John Howse, Stuart Kent, John Taylor:
Projections in Venn-Euler Diagrams. VL 2000: 119-126
1990 – 1999
- 1999
- [j14]Joseph Gil, Alon Itai:
How to Pack Trees. J. Algorithms 32(2): 108-132 (1999) - [j13]Joseph Gil, Alan S. Wagner:
An Alternative Mapping of 3-D Space onto Processor Arrays. J. Parallel Distributed Comput. 59(3): 360-380 (1999) - [c25]Shmuel Katz, Joseph Gil:
Aspects and Superimpositions. ECOOP Workshops 1999: 308-309 - [c24]Peter F. Sweeney, Joseph Gil:
Space and Time-Efficient Memory Layout for Multiple Inheritance. OOPSLA 1999: 256-275 - [c23]Joseph Gil, John Howse, Stuart Kent:
Constraint Diagrams: A Step Beyond UML. TOOLS (30) 1999: 453-463 - [c22]Joseph Gil, John Howse, Stuart Kent:
Formalizing Spider Diagrams. VL 1999: 130-137 - 1998
- [j12]Joseph Gil, David H. Lorenz:
Design Patterns and Language Design. Computer 31(3): 118-120 (1998) - [j11]Stuart Kent, Joseph Gil:
Visualising action contracts in object-oriented modelling. IEE Proc. Softw. 145(2-3): 70-78 (1998) - [j10]Joseph Gil, Yossi Matias:
Simple Fast Parallel Hashing by Oblivious Execution. SIAM J. Comput. 27(5): 1348-1375 (1998) - [c21]Joseph Gil, Zvi Gutterman:
Compile Time Symbolic Derivation with C++ Templates. COOTS 1998: 249-264 - [c20]Joseph Gil, Alon Itai:
The Complexity of Type Analysis of Object Oriented Programs. ECOOP 1998: 601-634 - [c19]Joseph Gil, Stuart Kent:
Three Dimensional Software Modeling. ICSE 1998: 105-114 - [c18]Joseph Gil, Y. Eckel:
Statically Checkable Design Level Traits. ASE 1998: 217-220 - 1997
- [j9]Amnon H. Eden, Joseph Gil, Amiram Yehudai:
Automating the Application of Design Patterns. J. Object Oriented Program. 10(2): 44-46 (1997) - [c17]Joseph Gil, David H. Lorenz:
Design Patterns vs. Language Design. ECOOP Workshops 1997: 108-111 - [c16]Amnon H. Eden, Amiram Yehudai, Joseph Gil:
Precise Specification and Automatic Application of Design Patterns. ASE 1997: 143-152 - [c15]James Coplien, Joseph Gil, David Harel, Bertrand Meyer:
Keynotes. TOOLS (23) 1997: 2 - [c14]Joseph Gil, Beery Holstein:
T++: A Test Case Generator Using a Debugging Information Based Technique for Source Code Manipulation. TOOLS (23) 1997: 272-281 - [c13]Yossi Gil:
Extendability vs. Substitutability in OO Languages. TOOLS (25) 1997: 368 - 1996
- [j8]Joseph Gil, Yossi Matias:
An Effective Load Balancing Policy for Geometric-Decaying Algorithms. J. Parallel Distributed Comput. 36(2): 185-188 (1996) - [j7]Joseph Gil, Friedhelm Meyer auf der Heide, Avi Wigderson:
The Tree Model for Hashing: Lower and Upper Bounds. SIAM J. Comput. 25(5): 936-955 (1996) - [c12]Joseph Gil, Alan S. Wagner:
A New Technique for 3-D Domain Decomposition on Multicomputers which Reduces Message-Passing. IPPS 1996: 831-835 - [c11]Joseph Gil, David H. Lorenz:
Environmental Acquisition - A New Inheritance-Like Abstraction Mechanism. OOPSLA 1996: 214-231 - 1995
- [j6]Heinz Breu, Joseph Gil, David G. Kirkpatrick, Michael Werman:
Linear Time Euclidean Distance Algorithms. IEEE Trans. Pattern Anal. Mach. Intell. 17(5): 529-533 (1995) - [c10]Joseph Gil, Alon Itai:
Packing Trees. ESA 1995: 113-127 - 1994
- [j5]Joseph Gil, Yossi Matias:
Designing Algorithms by Expectations. Inf. Process. Lett. 51(1): 31-34 (1994) - [j4]Joseph Gil, Yossi Matias:
Fast and Efficient Simulations among CRCW PRAMs. J. Parallel Distributed Comput. 23(2): 135-148 (1994) - [j3]Joseph Gil:
Renaming and dispersing: Techniques for Fast Load Balancing. J. Parallel Distributed Comput. 23(2): 149-157 (1994) - [c9]Joseph Gil, Yossi Matias:
Simple Fast Parallel Hashing. ICALP 1994: 239-250 - 1993
- [j2]Joseph Gil, Michael Werman:
Computing 2-D Min, Median, and Max Filters. IEEE Trans. Pattern Anal. Mach. Intell. 15(5): 504-507 (1993) - 1992
- [j1]Joseph Gil, William L. Steiger, Avi Wigderson:
Geometric medians. Discret. Math. 108(1-3): 37-51 (1992) - [c8]Martin Dietzfelbinger
, Joseph Gil, Yossi Matias, Nicholas Pippenger:
Polynomial Hash Functions Are Reliable (Extended Abstract). ICALP 1992: 235-246 - [c7]Joseph Gil, Yossi Matias:
Leaders Election Without Conflict Resolution Rule - Fast and Efficient Randomized Simulations among CRCW PRAMs. LATIN 1992: 204-218 - 1991
- [c6]Joseph Gil, Yossi Matias, Uzi Vishkin:
Towards a Theory of Nearly Constant Time Parallel Algorithms. FOCS 1991: 698-710 - [c5]Joseph Gil, Yossi Matias:
Fast Hashing on a PRAM - Designing by Expectation. SODA 1991: 271-280 - [c4]Joseph Gil:
Fast load balancing on a PRAM. SPDP 1991: 10-17 - 1990
- [b1]Joseph Gil:
Lower bounds and algorithms for hashing and parallel processing (חסמים תחתונים ואלגוריתמים בערבול ובחשוב מקבילי.). Hebrew University of Jerusalem, Israel, 1990 - [c3]Joseph Gil, Friedhelm Meyer auf der Heide, Avi Wigderson:
Not All Keys Can Be Hashed in Constant Time (Preliminary Version). STOC 1990: 244-253
1980 – 1989
- 1986
- [c2]Joseph Gil, Larry Rudolph:
Counting and Packing in Parallel. ICPP 1986: 1000-1002 - 1984
- [c1]Chagit Attiya, Danny Dolev, Joseph Gil:
Asynchronous Byzantine Consensus. PODC 1984: 119-133
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-08 00:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint