Joseph Gil - RankMe

89 papers A* 15A 17B 3C 1Misc 1Journal 29Unranked 21

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Ties between Parametrically Polymorphic Type Systems and Finite Control Automata. CoRR Joseph Gil, Ori Roth
2015	J	`jnl`	On Incomplete Bug Fixes in Eclipse and Programmers' Intuition on These. ACM SIGSOFT Softw. Eng. Notes Sabih Agbaria, Joseph Gil
2013	—	`ed.`	VMIL@SPLASH '13: Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages, Indianapolis, IN, USA, 28 October 2013 VMIL@SPLASH Christoph Bockisch, Michael Haupt, Steve Blackburn, Hridesh Rajan, Joseph Gil
2012	A	`conf`	An empirical investigation of changes in some software properties over time. MSR Joseph Gil, Maayan Goldstein, Dany Moshkovich
2012	J	`jnl`	Empirical Confirmation (and Refutation) of Presumptions on Software CoRR Joseph Gil, Maayan Goldstein, Dany Moshkovich
2012	J	`jnl`	Keyword- and Default- Parameters in JAVA. J. Object Technol. Joseph Gil, Keren Lenz
2012	A	`conf`	Smaller Footprint for Java Collections. ECOOP Joseph Gil, Yuval Shimron
2011	—	`conf`	A microbenchmark case study and lessons learned. SPLASH Workshops Joseph Gil, Keren Lenz, Yuval Shimron
2011	—	`conf`	Smaller footprint for Java collections. OOPSLA Companion Joseph Gil, Yuval Shimron
2010	—	`conf`	Reflections on Spartan Programming and the No-Debugger Principle. Haifa Verification Conference Joseph Gil
2010	J	`jnl`	Simple and safe SQL queries with C++ templates. Sci. Comput. Program. Joseph Gil, Keren Lenz
2010	A	`conf`	The Use of Overloading in Java Programs. ECOOP Joseph Gil, Keren Lenz
2009	A	`conf`	Are We Ready for a Safer Construction Environment? ECOOP Joseph Gil, Tali Shragai
2009	—	`conf`	Three approaches to object evolution. PPPJ Tal Cohen, Joseph Gil
2008	—	`conf`	Guarded Program Transformations Using JTL. TOOLS (46) Tal Cohen, Joseph Gil, Itay Maman
2008	J	`jnl`	Two-dimensional bidirectional object layout. ACM Trans. Program. Lang. Syst. Joseph Gil, William W. Pugh, Grant E. Weddell, Yoav Zibin
2008	A	`conf`	Whiteoak: introducing structural typing into java. OOPSLA Joseph Gil, Itay Maman
2007	J	`jnl`	Better Construction with Factories. J. Object Technol. Tal Cohen, Joseph Gil
2007	—	`conf`	Datalog Programs over Infinite Databases, Revisited. DBPL Sara Cohen, Joseph Gil, Evelina Zarivach
2007	J	`jnl`	Efficient dynamic dispatching with type slicing. ACM Trans. Program. Lang. Syst. Joseph Gil, Yoav Zibin
2007	A*	`conf`	Eliminating Impedance Mismatch in C++. VLDB Joseph Gil, Keren Lenz
2007	J	`jnl`	Randomised algorithms for isomorphisms of simple types. Math. Struct. Comput. Sci. Joseph Gil, Yoav Zibin
2007	B	`conf`	Simple and safe SQL queries with c++ templates. GPCE Joseph Gil, Keren Lenz
2006	A	`conf`	JTL: the Java tools language. OOPSLA Tal Cohen, Joseph Gil, Itay Maman
2006	J	`jnl`	Shakeins: Nonintrusive Aspects for Middleware Frameworks. LNCS Trans. Aspect Oriented Softw. Dev. Tal Cohen, Joseph Gil
2006	—	`conf`	Software Fingerprinting. ITRE Joseph Gil, Alexander Gorovoy, Alon Itai
2005	J	`jnl`	Efficient algorithms for isomorphisms of simple types. Math. Struct. Comput. Sci. Joseph Gil, Yoav Zibin
2005	J	`jnl`	Efficient subtyping tests with PQ-encoding. ACM Trans. Program. Lang. Syst. Joseph Gil, Yoav Zibin
2005	A	`conf`	Micro patterns in Java code. OOPSLA Joseph Gil, Itay Maman
2004	A	`conf`	AspectJ2EE = AOP + J2EE. ECOOP Tal Cohen, Joseph Gil
2004	Misc	`conf`	Type-safe covariance in C++. SAC Vitaly Surazhsky, Joseph Gil
2003	A*	`conf`	Efficient algorithms for isomorphisms of simple types. POPL Yoav Zibin, Joseph Gil, Jeffrey Considine
2003	A*	`conf`	Incremental algorithms for dispatching in dynamically typed languages. POPL Yoav Zibin, Joseph Gil
2003	A	`conf`	Two-Dimensional Bi-directional Object Layout. ECOOP Yoav Zibin, Joseph Gil
2003	—	`conf`	Visualizing class interfaces with formal concept analysis. OOPSLA Companion Uri Dekel, Joseph Gil
2002	A*	`conf`	Advanced visual modelling: beyond UML. ICSE Joseph Gil, John Howse, Stuart Kent
2002	J	`jnl`	Efficient Dilation, Erosion, Opening, and Closing Algorithms. IEEE Trans. Pattern Anal. Mach. Intell. Joseph Gil, Ron Kimmel
2002	A	`conf`	Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching. OOPSLA Yoav Zibin, Joseph Gil
2002	J	`jnl`	Positive Semantics of Projections in Venn-Euler Diagrams. J. Vis. Lang. Comput. Joseph Gil, John Howse, Elena Tulchinsky
2001	A	`conf`	Efficient Subtyping Tests with PQ-Encoding. OOPSLA Yoav Zibin, Joseph Gil
2001	A	`conf`	Sealing, Encapsulation, and Mutability. ECOOP Marina Biberstein, Joseph Gil, Sara Porat
2001	J	`jnl`	Spider Diagrams: A Diagrammatic Reasoning System. J. Vis. Lang. Comput. John Howse, Fernando Molina, John Taylor, Stuart Kent, Joseph Gil
2001	A*	`conf`	Subtyping arithmetical types. POPL Joseph Gil
2001	—	`conf`	Towards a Formalization of Constraint Diagrams. HCC Joseph Gil, John Howse, Stuart Kent
2000	—	`conf`	Advanced Visual Modeling: Beyond UML. TOOLS (33) Joseph Gil, John Howse, Stuart Kent
2000	A*	`conf`	Advanced visual modeling (tutorial session): beyond UML. ICSE Joseph Gil, John Howse, Stuart Kent
2000	A	`conf`	Empirical Study of Object-Layout Strategies and Optimization Techniques. ECOOP Natalie Eckel, Joseph Gil
2000	C	`conf`	Positive Semantics of Projections in Venn-Euler Diagrams. Diagrams Joseph Gil, John Howse, Elena Tulchinsky
2000	—	`conf`	Projections in Venn-Euler Diagrams. VL Joseph Gil, John Howse, Stuart Kent, John Taylor
2000	—	`conf`	Self-Calibration of Metrics of Java Methods. TOOLS (37) Tal Cohen, Joseph Gil
1999	J	`jnl`	An Alternative Mapping of 3-D Space onto Processor Arrays. J. Parallel Distributed Comput. Joseph Gil, Alan S. Wagner
1999	—	`conf`	Aspects and Superimpositions. ECOOP Workshops Shmuel Katz, Joseph Gil
1999	—	`conf`	Constraint Diagrams: A Step Beyond UML. TOOLS (30) Joseph Gil, John Howse, Stuart Kent
1999	—	`conf`	Formalizing Spider Diagrams. VL Joseph Gil, John Howse, Stuart Kent
1999	J	`jnl`	How to Pack Trees. J. Algorithms Joseph Gil, Alon Itai
1999	A	`conf`	Space and Time-Efficient Memory Layout for Multiple Inheritance. OOPSLA Peter F. Sweeney, Joseph Gil
1998	—	`conf`	Compile Time Symbolic Derivation with C++ Templates. COOTS Joseph Gil, Zvi Gutterman
1998	J	`jnl`	Design Patterns and Language Design. Computer Joseph Gil, David H. Lorenz
1998	J	`jnl`	Simple Fast Parallel Hashing by Oblivious Execution. SIAM J. Comput. Joseph Gil, Yossi Matias
1998	A*	`conf`	Statically Checkable Design Level Traits. ASE Joseph Gil, Y. Eckel
1998	A	`conf`	The Complexity of Type Analysis of Object Oriented Programs. ECOOP Joseph Gil, Alon Itai
1998	A*	`conf`	Three Dimensional Software Modeling. ICSE Joseph Gil, Stuart Kent
1998	J	`jnl`	Visualising action contracts in object-oriented modelling. IEE Proc. Softw. Stuart Kent, Joseph Gil
1997	J	`jnl`	Automating the Application of Design Patterns. J. Object Oriented Program. Amnon H. Eden, Joseph Gil, Amiram Yehudai
1997	—	`conf`	Design Patterns vs. Language Design. ECOOP Workshops Joseph Gil, David H. Lorenz
1997	—	`conf`	Keynotes. TOOLS (23) James Coplien, Joseph Gil, David Harel, Bertrand Meyer
1997	A*	`conf`	Precise Specification and Automatic Application of Design Patterns. ASE Amnon H. Eden, Amiram Yehudai, Joseph Gil
1997	—	`conf`	T++: A Test Case Generator Using a Debugging Information Based Technique for Source Code Manipulation. TOOLS (23) Joseph Gil, Beery Holstein
1996	—	`conf`	A New Technique for 3-D Domain Decomposition on Multicomputers which Reduces Message-Passing. IPPS Joseph Gil, Alan S. Wagner
1996	J	`jnl`	An Effective Load Balancing Policy for Geometric-Decaying Algorithms. J. Parallel Distributed Comput. Joseph Gil, Yossi Matias
1996	A	`conf`	Environmental Acquisition - A New Inheritance-Like Abstraction Mechanism. OOPSLA Joseph Gil, David H. Lorenz
1996	J	`jnl`	The Tree Model for Hashing: Lower and Upper Bounds. SIAM J. Comput. Joseph Gil, Friedhelm Meyer auf der Heide, Avi Wigderson
1995	J	`jnl`	Linear Time Euclidean Distance Algorithms. IEEE Trans. Pattern Anal. Mach. Intell. Heinz Breu, Joseph Gil, David G. Kirkpatrick, Michael Werman
1995	A	`conf`	Packing Trees. ESA Joseph Gil, Alon Itai
1994	J	`jnl`	Designing Algorithms by Expectations. Inf. Process. Lett. Joseph Gil, Yossi Matias
1994	J	`jnl`	Fast and Efficient Simulations among CRCW PRAMs. J. Parallel Distributed Comput. Joseph Gil, Yossi Matias
1994	J	`jnl`	Renaming and dispersing: Techniques for Fast Load Balancing. J. Parallel Distributed Comput. Joseph Gil
1994	A*	`conf`	Simple Fast Parallel Hashing. ICALP Joseph Gil, Yossi Matias
1993	J	`jnl`	Computing 2-D Min, Median, and Max Filters. IEEE Trans. Pattern Anal. Mach. Intell. Joseph Gil, Michael Werman
1992	J	`jnl`	Geometric medians. Discret. Math. Joseph Gil, William L. Steiger, Avi Wigderson
1992	B	`conf`	Leaders Election Without Conflict Resolution Rule - Fast and Efficient Randomized Simulations among CRCW PRAMs. LATIN Joseph Gil, Yossi Matias
1992	A*	`conf`	Polynomial Hash Functions Are Reliable (Extended Abstract). ICALP Martin Dietzfelbinger, Joseph Gil, Yossi Matias, Nicholas Pippenger
1991	A*	`conf`	Fast Hashing on a PRAM - Designing by Expectation. SODA Joseph Gil, Yossi Matias
1991	—	`conf`	Fast load balancing on a PRAM. SPDP Joseph Gil
1991	A*	`conf`	Towards a Theory of Nearly Constant Time Parallel Algorithms FOCS Joseph Gil, Yossi Matias, Uzi Vishkin
1990	—	`—`	Lower bounds and algorithms for hashing and parallel processing (חסמים תחתונים ואלגוריתמים בערבול ובחשוב מקבילי.). Joseph Gil
1990	A*	`conf`	Not All Keys Can Be Hashed in Constant Time (Preliminary Version) STOC Joseph Gil, Friedhelm Meyer auf der Heide, Avi Wigderson
1986	B	`conf`	Counting and Packing in Parallel. ICPP Joseph Gil, Larry Rudolph
1984	A*	`conf`	Asynchronous Byzantine Consensus. PODC Chagit Attiya, Danny Dolev, Joseph Gil