Joseph Gil

Yossi Gil

	2009
76		Joseph Gil, Tali Shragai: Are We Ready for a Safer Construction Environment? ECOOP 2009: 495-519
	2008
75		Joseph Gil, Itay Maman: Whiteoak: introducing structural typing into java. OOPSLA 2008: 73-90
74		Tal Cohen, Joseph Gil, Itay Maman: Guarded Program Transformations Using JTL. TOOLS (46) 2008: 100-120
73		Joseph Gil, William Pugh, Grant E. Weddell, Yoav Zibin: Two-dimensional bidirectional object layout. ACM Trans. Program. Lang. Syst. 30(5): (2008)
	2007
72		Sara Cohen, Joseph Gil, Evelina Zarivach: Datalog Programs over Infinite Databases, Revisited. DBPL 2007: 32-47
71		Joseph Gil, Keren Lenz: Simple and safe SQL queries with c++ templates. GPCE 2007: 13-24
70		Joseph Gil, Keren Lenz: Eliminating Impedance Mismatch in C++. VLDB 2007: 1386-1389
69		Joseph Gil, Yoav Zibin: Efficient dynamic dispatching with type slicing. ACM Trans. Program. Lang. Syst. 30(1): (2007)
68		Joseph Gil, Yoav Zibin: Randomised algorithms for isomorphisms of simple types. Mathematical Structures in Computer Science 17(3): 565-584 (2007)
	2006
67		Joseph Gil, Alexander Gorovoy, Alon Itai: Software Fingerprinting. ITRE 2006: 69-73
66		Tal Cohen, Joseph Gil, Itay Maman: JTL: the Java tools language. OOPSLA 2006: 89-108
65		Tal Cohen, Joseph Gil: Shakeins: Nonintrusive Aspects for Middleware Frameworks. T. Aspect-Oriented Software Development II: 101-146 (2006)
	2005
64		Joseph Gil, Itay Maman: Micro patterns in Java code. OOPSLA 2005: 97-116
63		Joseph Gil, Yoav Zibin: Efficient subtyping tests with PQ-encoding. ACM Trans. Program. Lang. Syst. 27(5): 819-856 (2005)
62		Joseph Gil, Yoav Zibin: Efficient algorithms for isomorphisms of simple types. Mathematical Structures in Computer Science 15(5): 917-957 (2005)
	2004
61		Tal Cohen, Joseph Gil: AspectJ2EE = AOP + J2EE. ECOOP 2004: 219-243
60		Vitaly Surazhsky, Joseph Gil: Type-safe covariance in C++. SAC 2004: 1496-1502
	2003
59		Yoav Zibin, Joseph Gil: Two-Dimensional Bi-directional Object Layout. ECOOP 2003: 329-350
58		Uri Dekel, Joseph Gil: Visualizing class interfaces with formal concept analysis. OOPSLA Companion 2003: 288-289
57		Yoav Zibin, Joseph Gil: Incremental algorithms for dispatching in dynamically typed languages. POPL 2003: 126-138
56		Yoav Zibin, Joseph Gil, Jeffrey Considine: Efficient algorithms for isomorphisms of simple types. POPL 2003: 160-171
55		Uri Dekel, Yossi Gil: Revealing Class Structure with Concept Lattices. WCRE 2003: 353-365
	2002
54		Joseph Gil, John Howse, Stuart Kent: Advanced visual modelling: beyond UML. ICSE 2002: 697-698
53		Yoav Zibin, Joseph Gil: Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching. OOPSLA 2002: 142-160
52		Joseph Gil, Ron Kimmel: Efficient Dilation, Erosion, Opening, and Closing Algorithms. IEEE Trans. Pattern Anal. Mach. Intell. 24(12): 1606-1617 (2002)
51		Joseph Gil, John Howse, Elena Tulchinsky: Positive Semantics of Projections in Venn-Euler Diagrams. J. Vis. Lang. Comput. 13(2): 197-227 (2002)
	2001
50		Marina Biberstein, Joseph Gil, Sara Porat: Sealing, Encapsulation, and Mutability. ECOOP 2001: 28-52
49		Joseph Gil, John Howse, Stuart Kent: Towards a Formalization of Constraint Diagrams. HCC 2001: 72-
48		Yoav Zibin, Joseph Gil: Efficient Subtyping Tests with PQ-Encoding. OOPSLA 2001: 96-107
47		Joseph Gil: Subtyping arithmetical types. POPL 2001: 276-289
46		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)
	2000
45		Joseph Gil, John Howse, Elena Tulchinsky: Positive Semantics of Projections in Venn-Euler Diagrams. Diagrams 2000: 7-25
44		Natalie Eckel, Joseph Gil: Empirical Study of Object-Layout Strategies and Optimization Techniques. ECOOP 2000: 394-421
43		Joseph Gil, John Howse, Stuart Kent: Advanced visual modeling (tutorial session): beyond UML. ICSE 2000: 833
42		Joseph Gil, John Howse, Stuart Kent: Advanced Visual Modeling: Beyond UML. TOOLS (33) 2000: 474
41		Tal Cohen, Joseph Gil: Self-Calibration of Metrics of Java Methods. TOOLS (37) 2000: 94-107
40		Joseph Gil, John Howse, Stuart Kent, John Taylor: Projections in Venn-Euler Diagrams. VL 2000: 119-126
	1999
39		Shmuel Katz, Joseph Gil: Aspects and Superimpositions. ECOOP Workshops 1999: 308-309
38		Peter F. Sweeney, Joseph Gil: Space and Time-Efficient Memory Layout for Multiple Inheritance. OOPSLA 1999: 256-275
37		Joseph Gil, John Howse, Stuart Kent: Constraint Diagrams: A Step Beyond UML. TOOLS (30) 1999: 453-463
36		Joseph Gil, John Howse, Stuart Kent: Formalizing Spider Diagrams. VL 1999: 130-137
35		Joseph Gil, Alon Itai: How to Pack Trees. J. Algorithms 32(2): 108-132 (1999)
34		Joseph Gil, Alan S. Wagner: An Alternative Mapping of 3-D Space onto Processor Arrays. J. Parallel Distrib. Comput. 59(3): 360-380 (1999)
	1998
33		Joseph Gil, Y. Eckel: Statically Checkable Design Level Traits. ASE 1998: 217-220
32		Joseph Gil, Zvi Gutterman: Compile Time Symbolic Derivation with C++ Templates. COOTS 1998: 249-264
31		Joseph Gil, Alon Itai: The Complexity of Type Analysis of Object Oriented Programs. ECOOP 1998: 601-634
30		Joseph Gil, Stuart Kent: Three Dimensional Software Modeling. ICSE 1998: 105-114
29		Stuart Kent, Joseph Gil: Visualising action contracts in object-oriented modelling. IEE Proceedings - Software 145(2-3): 70-78 (1998)
28		Joseph Gil, David H. Lorenz: Design Patterns and Language Design. IEEE Computer 31(3): 118-120 (1998)
27		Joseph Gil, Yossi Matias: Simple Fast Parallel Hashing by Oblivious Execution. SIAM J. Comput. 27(5): 1348-1375 (1998)
	1997
26		Amnon H. Eden, Amiram Yehudai, Joseph Gil: Precise Specification and Automatic Application of Design Patterns. ASE 1997: 143-152
25		Joseph Gil, David H. Lorenz: Design Patterns vs. Language Design. ECOOP Workshops 1997: 108-111
24		James Coplien, Joseph Gil, David Harel, Bertrand Meyer: Keynotes. TOOLS (23) 1997: 2
23		Joseph Gil, Beery Holstein: T++: A Test Case Generator Using a Debugging Information Based Technique for Source Code Manipulation. TOOLS (23) 1997: 272-281
22		Yossi Gil: Extendability vs. Substitutability in OO Languages. TOOLS (25) 1997: 368
21		Amnon H. Eden, Joseph Gil, Amiram Yehudai: Automating the Application of Design Patterns. JOOP 10(2): 44-46 (1997)
	1996
20		Joseph Gil, Alan S. Wagner: A New Technique for 3-D Domain Decomposition on Multicomputers which Reduces Message-Passing. IPPS 1996: 831-835
19		Joseph Gil, David H. Lorenz: Environmental Acquisition - A New Inheritance-Like Abstraction Mechanism. OOPSLA 1996: 214-231
18		Joseph Gil, Yossi Matias: An Effective Load Balancing Policy for Geometric-Decaying Algorithms. J. Parallel Distrib. Comput. 36(2): 185-188 (1996)
17		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)
	1995
16		Joseph Gil, Alon Itai: Packing Trees. ESA 1995: 113-127
15		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)
	1994
14		Joseph Gil, Yossi Matias: Simple Fast Parallel Hashing. ICALP 1994: 239-250
13		Joseph Gil, Yossi Matias: Designing Algorithms by Expectations. Inf. Process. Lett. 51(1): 31-34 (1994)
12		Joseph Gil, Yossi Matias: Fast and Efficient Simulations among CRCW PRAMs. J. Parallel Distrib. Comput. 23(2): 135-148 (1994)
11		Joseph Gil: Renaming and dispersing: Techniques for Fast Load Balancing. J. Parallel Distrib. Comput. 23(2): 149-157 (1994)
	1993
10		Joseph Gil, Michael Werman: Computing 2-D Min, Median, and Max Filters. IEEE Trans. Pattern Anal. Mach. Intell. 15(5): 504-507 (1993)
	1992
9		Martin Dietzfelbinger, Joseph Gil, Yossi Matias, Nicholas Pippenger: Polynomial Hash Functions Are Reliable (Extended Abstract). ICALP 1992: 235-246
8		Joseph Gil, Yossi Matias: Leaders Election Without Conflict Resolution Rule - Fast and Efficient Randomized Simulations among CRCW PRAMs. LATIN 1992: 204-218
7		Joseph Gil, William L. Steiger, Avi Wigderson: Geometric medians. Discrete Mathematics 108(1-3): 37-51 (1992)
	1991
6		Joseph Gil, Yossi Matias, Uzi Vishkin: Towards a Theory of Nearly Constant Time Parallel Algorithms FOCS 1991: 698-710
5		Joseph Gil, Yossi Matias: Fast Hashing on a PRAM - Designing by Expectation. SODA 1991: 271-280
4		Joseph Gil: Fast load balancing on a PRAM. SPDP 1991: 10-17
	1990
3		Joseph Gil, Friedhelm Meyer auf der Heide, Avi Wigderson: Not All Keys Can Be Hashed in Constant Time (Preliminary Version) STOC 1990: 244-253
	1986
2		Joseph Gil, Larry Rudolph: Counting and Packing in Parallel. ICPP 1986: 1000-1002
	1984
1		Chagit Attiya, Danny Dolev, Joseph Gil: Asynchronous Byzantine Consensus. PODC 1984: 119-133

Coauthor Index

1	Hagit Attiya (Chagit Attiya)	[1]
2	Marina Biberstein	[50]
3	Heinz Breu	[15]
4	Sara Cohen (Sara Shurin)	[72]
5	Tal Cohen	[41] [61] [65] [66] [74]
6	Jeffrey Considine	[56]
7	James Coplien	[24]
8	Uri Dekel	[55] [58]
9	Martin Dietzfelbinger	[9]
10	Danny Dolev	[1]
11	Natalie Eckel	[44]
12	Y. Eckel	[33]
13	Amnon H. Eden	[21] [26]
14	Alexander Gorovoy	[67]
15	Zvi Gutterman	[32]
16	David Harel	[24]
17	Friedhelm Meyer auf der Heide	[3] [17]
18	Beery Holstein	[23]
19	John Howse	[36] [37] [40] [42] [43] [45] [46] [49] [51] [54]
20	Alon Itai	[16] [31] [35] [67]
21	Shmuel Katz	[39]
22	Stuart Kent	[29] [30] [36] [37] [40] [42] [43] [46] [49] [54]
23	Ron Kimmel	[52]
24	David G. Kirkpatrick	[15]
25	Keren Lenz	[70] [71]
26	David H. Lorenz	[19] [25] [28]
27	Itay Maman	[64] [66] [74] [75]
28	Yossi Matias	[5] [6] [8] [9] [12] [13] [14] [18] [27]
29	Bertrand Meyer	[24]
30	Fernando Molina	[46]
31	Nicholas Pippenger	[9]
32	Sara Porat	[50]
33	William Pugh	[73]
34	Larry Rudolph	[2]
35	Tali Shragai	[76]
36	William L. Steiger	[7]
37	Vitaly Surazhsky	[60]
38	Peter F. Sweeney	[38]
39	John Taylor	[40] [46]
40	Elena Tulchinsky	[45] [51]
41	Uzi Vishkin	[6]
42	Alan S. Wagner	[20] [34]
43	Grant E. Weddell	[73]
44	Michael Werman	[10] [15]
45	Avi Wigderson	[3] [7] [17]
46	Amiram Yehudai	[21] [26]
47	Evelina Zarivach	[72]
48	Yoav Zibin	[48] [53] [56] [57] [59] [62] [63] [68] [69] [73]

Colors in the list of coauthors