Shmuel Sagiv - RankMe

67 papers A* 16A 11B 16C 1Journal 12Unranked 9

Year	Rank	Type	Title / Venue / Authors
2008	J	`jnl`	On the complexity of partially-flow-sensitive alias analysis. ACM Trans. Program. Lang. Syst. Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav
2008	A*	`conf`	Thread Quantification for Concurrent Shape Analysis. CAV Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv
2006	A*	`conf`	Abstraction for Shape Analysis with Fast and Precise Transformers. CAV Tal Lev-Ami, Neil Immerman, Shmuel Sagiv
2006	J	`jnl`	Install-Time Vaccination of Windows Executables to Defend against Stack Smashing Attacks. IEEE Trans. Dependable Secur. Comput. Danny Nebenzahl, Shmuel Sagiv, Avishai Wool
2006	J	`jnl`	Verifying Temporal Heap Properties Specified via Evolution Logic. Log. J. IGPL Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2005	A*	`conf`	A framework for numeric analysis of array operations. POPL Denis Gopan, Thomas W. Reps, Shmuel Sagiv
2005	A*	`conf`	A semantics for procedure local heaps and its abstractions. POPL Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2005	A*	`conf`	Abstraction Refinement via Inductive Learning. CAV Alexey Loginov, Thomas W. Reps, Shmuel Sagiv
2005	—	`conf`	Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work. AIOOL@VMCAI Greta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv
2005	B	`conf`	Optimizing C Multithreaded Memory Management Using Thread-Local Storage. CC Yair Sade, Shmuel Sagiv, Ran Shaham
2005	B	`conf`	Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. VMCAI Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv
2005	A	`ed.`	Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings ESOP Shmuel Sagiv
2005	A	`conf`	Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. CADE Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava, Greta Yorsh
2004	B	`conf`	A Relational Approach to Interprocedural Shape Analysis. SAS Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv
2004	A	`conf`	Numeric Domains with Summarized Dimensions. TACAS Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv
2004	B	`conf`	On the Expressive Power of Canonical Abstraction. VMCAI Shmuel Sagiv
2004	B	`conf`	Partially Disjunctive Heap Abstraction. SAS Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field
2004	A*	`conf`	Static Program Analysis via 3-Valued Logic. CAV Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2004	B	`conf`	Symbolic Implementation of the Best Transformer. VMCAI Thomas W. Reps, Shmuel Sagiv, Greta Yorsh
2004	A	`conf`	Symbolically Computing Most-Precise Abstract Operations for Shape Analysis. TACAS Greta Yorsh, Thomas W. Reps, Shmuel Sagiv
2004	—	`conf`	TVLA: A system for generating abstract interpreters. IFIP Congress Topical Sessions Tal Lev-Ami, Roman Manevich, Shmuel Sagiv
2004	B	`conf`	The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. CSL Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh
2004	A*	`conf`	Verification via Structure Simulation. CAV Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh
2003	—	`conf`	Automatically Verifying Concurrent Queue Algorithms. SoftMC@CAV Eran Yahav, Shmuel Sagiv
2003	A*	`conf`	CSSV: towards a realistic tool for statically detecting all buffer overflows in C. PLDI Nurit Dor, Michael Rodeh, Shmuel Sagiv
2003	B	`conf`	Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. SAS Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv
2003	A	`conf`	Finite Differencing of Logical Formulas for Static Analysis. ESOP Thomas W. Reps, Shmuel Sagiv, Alexey Loginov
2003	J	`jnl`	Logical Characterizations of Heap Abstractions CoRR Greta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2003	A	`conf`	Verifying Temporal Heap Properties Specified via Evolution Logic. ESOP Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2002	B	`conf`	Compactly Representing First-Order Structures for Static Analysis. SAS Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv
2002	A*	`conf`	Deriving Specialized Program Analyses for Certifying Component-Client Conformance. PLDI G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv
2002	—	`conf`	Estimating the impact of heap liveness information on space consumption in Java. MSP/ISMM Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv
2002	B	`conf`	Online Subpath Profiling. CC David Oren, Yossi Matias, Shmuel Sagiv
2002	J	`jnl`	Parametric shape analysis via 3-valued logic. ACM Trans. Program. Lang. Syst. Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
2002	A*	`conf`	Semantic Minimization of 3-Valued Propositional Formulae. LICS Thomas W. Reps, Alexey Loginov, Shmuel Sagiv
2002	—	`ch.`	Shape Analysis and Applications. The Compiler Design Handbook Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv
2001	B	`conf`	Cleanness Checking of String Manipulations in C Programs via Integer Analysis. SAS Nurit Dor, Michael Rodeh, Shmuel Sagiv
2001	A*	`conf`	Heap Profiling for Space-Efficient Java. PLDI Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv
2001	B	`conf`	Interprocedural Shape Analysis for Recursive Programs. CC Noam Rinetzky, Shmuel Sagiv
2001	J	`jnl`	Kleene's Logic with Equality. Inf. Process. Lett. Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
2000	A	`conf`	A Kleene Analysis of Mobile Ambients. ESOP Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
2000	B	`conf`	Automatic Removal of Array Memory Leaks in Java. CC Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv
2000	B	`conf`	Checking Cleanness in Linked Lists. SAS Nurit Dor, Michael Rodeh, Shmuel Sagiv
2000	C	`conf`	On the Effectiveness of GC in Java. ISMM Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv
2000	A	`conf`	Putting static analysis to work for verification: A case study. ISSTA Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2000	B	`conf`	Shape Analysis. CC Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps
2000	B	`conf`	TVLA: A System for Implementing Static Analyses. SAS Tal Lev-Ami, Shmuel Sagiv
1999	A	`conf`	A Decidable Logic for Describing Linked Data Structures. ESOP Michael Benedikt, Thomas W. Reps, Shmuel Sagiv
1999	J	`jnl`	Finding Circular Attributes in Attribute Grammars. J. ACM Michael Rodeh, Shmuel Sagiv
1999	A*	`conf`	Parametric Shape Analysis via 3-Valued Logic. POPL Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
1998	J	`jnl`	A Logic-Based Approach to Program Flow Analysis. Acta Informatica Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm
1998	A	`conf`	Building a Bridge between Pointer Aliases and Program Dependences. ESOP John L. Ross, Shmuel Sagiv
1998	J	`jnl`	Building a Bridge between Pointer Aliases and Program Dependences. Nord. J. Comput. John L. Ross, Shmuel Sagiv
1998	—	`conf`	Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience). PASTE Nurit Dor, Michael Rodeh, Shmuel Sagiv
1998	A*	`conf`	Edge Profiling versus Path Profiling: The Showdown. POPL Thomas Ball, Peter Mataga, Shmuel Sagiv
1998	J	`jnl`	Solving Shape-Analysis Problems in Languages with Destructive Updating. ACM Trans. Program. Lang. Syst. Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
1996	J	`jnl`	Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. Theor. Comput. Sci. Shmuel Sagiv, Thomas W. Reps, Susan Horwitz
1996	A*	`conf`	Solving Shape-Analysis Problems in Languages with Destructive Updating. POPL Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
1995	—	`conf`	Demand Interprocedural Dataflow Analysis. SIGSOFT FSE Susan Horwitz, Thomas W. Reps, Shmuel Sagiv
1995	A*	`conf`	Precise Interprocedural Dataflow Analysis via Graph Reachability. POPL Thomas W. Reps, Susan Horwitz, Shmuel Sagiv
1995	—	`conf`	Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. TAPSOFT Shmuel Sagiv, Thomas W. Reps, Susan Horwitz
1994	—	`conf`	Speeding up Slicing. SIGSOFT FSE Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay
1992	A	`conf`	Proving Safety of Speculative Load Instructions at Compile Time. ESOP David Bernstein, Michael Rodeh, Shmuel Sagiv
1992	J	`jnl`	The Expressive Power of Side Effects in Prolog. J. Log. Program. Johann A. Makowsky, J.-C. Gregoire, Shmuel Sagiv
1991	—	`—`	High level formalisms for program flow analysis and their use in compiling. Shmuel Sagiv
1990	—	`conf`	A Logic-Based Approach to Data Flow Analysis Problem. PLILP Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm
1989	A*	`conf`	Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis. POPL Shmuel Sagiv, Orit Edelstein, Nissim Francez, Michael Rodeh