Joseph Gil

Yossi Gil

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

Colors in the list of coauthors