dblp.uni-trier.dewww.uni-trier.de

Joseph Gil Vis

Yossi Gil

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
76EEJoseph Gil, Tali Shragai: Are We Ready for a Safer Construction Environment? ECOOP 2009: 495-519
2008
75EEJoseph Gil, Itay Maman: Whiteoak: introducing structural typing into java. OOPSLA 2008: 73-90
74EETal Cohen, Joseph Gil, Itay Maman: Guarded Program Transformations Using JTL. TOOLS (46) 2008: 100-120
73EEJoseph Gil, William Pugh, Grant E. Weddell, Yoav Zibin: Two-dimensional bidirectional object layout. ACM Trans. Program. Lang. Syst. 30(5): (2008)
2007
72EESara Cohen, Joseph Gil, Evelina Zarivach: Datalog Programs over Infinite Databases, Revisited. DBPL 2007: 32-47
71EEJoseph Gil, Keren Lenz: Simple and safe SQL queries with c++ templates. GPCE 2007: 13-24
70EEJoseph Gil, Keren Lenz: Eliminating Impedance Mismatch in C++. VLDB 2007: 1386-1389
69EEJoseph Gil, Yoav Zibin: Efficient dynamic dispatching with type slicing. ACM Trans. Program. Lang. Syst. 30(1): (2007)
68EEJoseph Gil, Yoav Zibin: Randomised algorithms for isomorphisms of simple types. Mathematical Structures in Computer Science 17(3): 565-584 (2007)
2006
67EEJoseph Gil, Alexander Gorovoy, Alon Itai: Software Fingerprinting. ITRE 2006: 69-73
66EETal Cohen, Joseph Gil, Itay Maman: JTL: the Java tools language. OOPSLA 2006: 89-108
65EETal Cohen, Joseph Gil: Shakeins: Nonintrusive Aspects for Middleware Frameworks. T. Aspect-Oriented Software Development II: 101-146 (2006)
2005
64EEJoseph Gil, Itay Maman: Micro patterns in Java code. OOPSLA 2005: 97-116
63EEJoseph Gil, Yoav Zibin: Efficient subtyping tests with PQ-encoding. ACM Trans. Program. Lang. Syst. 27(5): 819-856 (2005)
62EEJoseph Gil, Yoav Zibin: Efficient algorithms for isomorphisms of simple types. Mathematical Structures in Computer Science 15(5): 917-957 (2005)
2004
61EETal Cohen, Joseph Gil: AspectJ2EE = AOP + J2EE. ECOOP 2004: 219-243
60EEVitaly Surazhsky, Joseph Gil: Type-safe covariance in C++. SAC 2004: 1496-1502
2003
59EEYoav Zibin, Joseph Gil: Two-Dimensional Bi-directional Object Layout. ECOOP 2003: 329-350
58EEUri Dekel, Joseph Gil: Visualizing class interfaces with formal concept analysis. OOPSLA Companion 2003: 288-289
57EEYoav Zibin, Joseph Gil: Incremental algorithms for dispatching in dynamically typed languages. POPL 2003: 126-138
56EEYoav Zibin, Joseph Gil, Jeffrey Considine: Efficient algorithms for isomorphisms of simple types. POPL 2003: 160-171
55EEUri Dekel, Yossi Gil: Revealing Class Structure with Concept Lattices. WCRE 2003: 353-365
2002
54EEJoseph Gil, John Howse, Stuart Kent: Advanced visual modelling: beyond UML. ICSE 2002: 697-698
53EEYoav Zibin, Joseph Gil: Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching. OOPSLA 2002: 142-160
52EEJoseph Gil, Ron Kimmel: Efficient Dilation, Erosion, Opening, and Closing Algorithms. IEEE Trans. Pattern Anal. Mach. Intell. 24(12): 1606-1617 (2002)
51EEJoseph Gil, John Howse, Elena Tulchinsky: Positive Semantics of Projections in Venn-Euler Diagrams. J. Vis. Lang. Comput. 13(2): 197-227 (2002)
2001
50EEMarina Biberstein, Joseph Gil, Sara Porat: Sealing, Encapsulation, and Mutability. ECOOP 2001: 28-52
49EEJoseph 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
47EEJoseph 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
45EEJoseph Gil, John Howse, Elena Tulchinsky: Positive Semantics of Projections in Venn-Euler Diagrams. Diagrams 2000: 7-25
44EENatalie Eckel, Joseph Gil: Empirical Study of Object-Layout Strategies and Optimization Techniques. ECOOP 2000: 394-421
43EEJoseph Gil, John Howse, Stuart Kent: Advanced visual modeling (tutorial session): beyond UML. ICSE 2000: 833
42EEJoseph Gil, John Howse, Stuart Kent: Advanced Visual Modeling: Beyond UML. TOOLS (33) 2000: 474
41EETal Cohen, Joseph Gil: Self-Calibration of Metrics of Java Methods. TOOLS (37) 2000: 94-107
40EEJoseph 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
38EEPeter F. Sweeney, Joseph Gil: Space and Time-Efficient Memory Layout for Multiple Inheritance. OOPSLA 1999: 256-275
37EEJoseph Gil, John Howse, Stuart Kent: Constraint Diagrams: A Step Beyond UML. TOOLS (30) 1999: 453-463
36EEJoseph 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
33EEJoseph Gil, Y. Eckel: Statically Checkable Design Level Traits. ASE 1998: 217-220
32EEJoseph Gil, Zvi Gutterman: Compile Time Symbolic Derivation with C++ Templates. COOTS 1998: 249-264
31EEJoseph 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)
27EEJoseph Gil, Yossi Matias: Simple Fast Parallel Hashing by Oblivious Execution. SIAM J. Comput. 27(5): 1348-1375 (1998)
1997
26EEAmnon H. Eden, Amiram Yehudai, Joseph Gil: Precise Specification and Automatic Application of Design Patterns. ASE 1997: 143-152
25EEJoseph Gil, David H. Lorenz: Design Patterns vs. Language Design. ECOOP Workshops 1997: 108-111
24EEJames Coplien, Joseph Gil, David Harel, Bertrand Meyer: Keynotes. TOOLS (23) 1997: 2
23EEJoseph Gil, Beery Holstein: T++: A Test Case Generator Using a Debugging Information Based Technique for Source Code Manipulation. TOOLS (23) 1997: 272-281
22EEYossi 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
20EEJoseph 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
16EEJoseph Gil, Alon Itai: Packing Trees. ESA 1995: 113-127
15EEHeinz 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
14EEJoseph 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
10EEJoseph Gil, Michael Werman: Computing 2-D Min, Median, and Max Filters. IEEE Trans. Pattern Anal. Mach. Intell. 15(5): 504-507 (1993)
1992
9EEMartin 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
7EEJoseph 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
4EEJoseph 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)