|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 81 occurrences of 48 keywords
|
|
|
|
|
Results
Found 125 publication records. Showing 125 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv |
Abstractions from tests.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Reasoning about Lock Placements. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv |
Eventually Consistent Transactions. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Data representation synthesis. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv |
Precise and compact modular procedure summaries for heap manipulating programs. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Mooly Sagiv (eds.) |
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011 |
POPL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav |
Testing atomicity of composed concurrent operations. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav |
Automatic fine-grain locking using shape properties. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv |
HAWKEYE: effective discovery of dataflow impediments to parallelization. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aharon Abadi, Alexander Rabinovich, Mooly Sagiv |
Decidable fragments of many-sorted logic. |
J. Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eran Yahav, Mooly Sagiv |
Verifying safety properties of concurrent heap-manipulating programs. |
ACM Trans. Program. Lang. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Reps, Mooly Sagiv, Alexey Loginov |
Finite differencing of logical formulas for static analysis. |
ACM Trans. Program. Lang. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Mooly Sagiv |
A relational approach to interprocedural shape analysis. |
ACM Trans. Program. Lang. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv |
Specifying and verifying sparse matrix codes. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv |
A dynamic evaluation of the precision of static heap abstractions. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv |
A simple inductive synthesis methodology and its applications. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Data Structure Fusion. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill McCloskey, Thomas W. Reps, Mooly Sagiv |
Statically Inferring Complex Heap, Array, and Numeric Invariants. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv |
Field-sensitive program dependence analysis. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv |
Self-stabilization preserving compiler. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Compilers, self-stabilization, abstract state machines |
| 1 | Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh |
Simulating reachability using first-order logic with applications to verification of linked data structures |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv |
A combination framework for tracking partition sizes. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
combining analyses, set analysis, termination, shape analysis, numerical analysis, memory safety, space bounds |
| 1 | Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv |
Abstract Transformers for Thread Correlation Analysis. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagiv |
Generalizing DPLL to Richer Logics. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mooly Sagiv |
Thread-Modular Shape Analysis. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss |
Customization change impact analysis for erp professionals via program slicing. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
customization change impact analysis |
| 1 | Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv |
Proving Conditional Termination. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine |
Heap Decomposition for Concurrent Shape Analysis. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang |
Ranking Abstractions. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav |
On the complexity of partially-flow-sensitive alias analysis. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
flow-insensitive, Alias analysis, flow-sensitive |
| 1 | Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv |
Thread Quantification for Concurrent Shape Analysis. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani |
A logic of reachable patterns in linked data-structures. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ohad Shacham, Mooly Sagiv, Assaf Schuster |
Scaling model checking of dataraces using dynamic information. |
J. Parallel Distrib. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mooly Sagiv |
Introduction to special ESOP'05 issue. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani |
A Logic of Reachable Patterns in Linked Data-Structures |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm |
Logical characterizations of heap abstractions. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
canonical abstraction, Logic, shape analysis, characterization |
| 1 | Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv |
Thread-modular shape analysis. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, concurrent programming, shape analysis |
| 1 | Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv |
Labelled Clauses. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv |
Shape Analysis by Graph Decomposition. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sagiv |
Decidable Fragments of Many-Sorted Logic. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Morrisett, Mooly Sagiv (eds.) |
Proceedings of the 6th International Symposium on Memory Management, ISMM 2007, Montreal, Quebec, Canada, October 21-22, 2007 |
ISMM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv |
Cartesian Partial-Order Reduction. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv |
Local Reasoning for Storable Locks and Threads. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Reps, Mooly Sagiv, Jörg Bauer 0001 (eds.) |
Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday |
Program Analysis and Compilation |
2007 |
DBLP BibTeX RDF |
|
| 1 | Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv |
Revamping TVLA: Making Parametric Shape Analysis Competitive. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Orna Kupferman, Mooly Sagiv |
Leaping Loops in the Presence of Abstraction. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav |
Comparison Under Abstraction for Verifying Linearizability. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps |
Constructing Specialized Shape Analyses for Uniform Change. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav |
Modular Shape Analysis for Dynamically Encapsulated Programs. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Greta Yorsh, Thomas Ball, Mooly Sagiv |
Testing, abstraction, theorem proving: better together! |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
fabricated states, state-based coverage, testing, abstraction, program analysis, abstract interpretation, coverage, theorem prover, software fault injection, adequacy criteria |
| 1 | Alexey Loginov, Thomas W. Reps, Mooly Sagiv |
Refinement-Based Verification for Possibly-Cyclic Lists. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv |
Abstract Counterexample-Based Refinement for Powerset Domains. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Reps, Mooly Sagiv, Jörg Bauer 0001 |
An Appreciation of the Work of Reinhard Wilhelm. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Loginov, Thomas W. Reps, Mooly Sagiv |
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham |
Combining Shape Analyses by Intersecting Abstractions. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani |
A Logic of Reachable Patterns in Linked Data-Structures. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny Nebenzahl, Shmuel Sagiv, Avishai Wool |
Install-Time Vaccination of Windows Executables to Defend against Stack Smashing Attacks. |
IEEE Trans. Dependable Sec. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Computer security, instrumentation, buffer overflow |
| 1 | Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
Verifying Temporal Heap Properties Specified via Evolution Logic. |
Logic Journal of the IGPL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Lev-Ami, Neil Immerman, Shmuel Sagiv |
Abstraction for Shape Analysis with Fast and Precise Transformers. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv |
Establishing local temporal heap safety properties with applications to compile-time memory management. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh |
Automatic Verification of Strongly Dynamic Software Systems. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Rinetzky, Mooly Sagiv, Eran Yahav |
Interprocedural Shape Analysis for Cutpoint-Free Programs. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv |
Self-stabilization Preserving Compiler. |
Self-Stabilizing Systems |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ohad Shacham, Mooly Sagiv, Assaf Schuster |
Scaling model checking of dataraces using dynamic information. |
PPOPP |
2005 |
DBLP DOI BibTeX RDF |
datarace, lockset, model checking, multithreading, data race detection |
| 1 | Greta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv |
Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava, Greta Yorsh |
Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Gopan, Thomas W. Reps, Shmuel Sagiv |
A framework for numeric analysis of array operations. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
abstract numeric domains, array analysis, canonical abstraction, program analysis, summarization |
| 1 | Noam Rinetzky, Jörg Bauer 0001, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
A semantics for procedure local heaps and its abstractions. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
3-valued logic, static analysis, abstract interpretation, shape analysis |
| 1 | Yair Sade, Shmuel Sagiv, Ran Shaham |
Optimizing C Multithreaded Memory Management Using Thread-Local Storage. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Loginov, Thomas W. Reps, Shmuel Sagiv |
Abstraction Refinement via Inductive Learning. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv |
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Sagiv (eds.) |
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 |
2005 |
DBLP BibTeX RDF |
|
| 1 | Greta Yorsh, Thomas W. Reps, Shmuel Sagiv |
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv |
Numeric Domains with Summarized Dimensions. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Lev-Ami, Roman Manevich, Shmuel Sagiv |
TVLA: A system for generating abstract interpreters. |
IFIP Congress Topical Sessions |
2004 |
DBLP BibTeX RDF |
|
| 1 | Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
Static Program Analysis via 3-Valued Logic. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |
Verification via Structure Simulation. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field |
Partially Disjunctive Heap Abstraction. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv |
A Relational Approach to Interprocedural Shape Analysis. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Sagiv |
On the Expressive Power of Canonical Abstraction. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |
Symbolic Implementation of the Best Transformer. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eran Yahav, Shmuel Sagiv |
Automatically Verifying Concurrent Queue Algorithms. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Greta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
Logical Characterizations of Heap Abstractions |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Nurit Dor, Michael Rodeh, Shmuel Sagiv |
CSSV: towards a realistic tool for statically detecting all buffer overflows in C. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, error detection, contracts, buffer overflow |
| 1 | Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv |
Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
Verifying Temporal Heap Properties Specified via Evolution Logic. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Reps, Shmuel Sagiv, Alexey Loginov |
Finite Differencing of Logical Formulas for Static Analysis. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm |
Parametric shape analysis via 3-valued logic. |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
3-valued logic, destructive updating, static analysis, Abstract interpretation, shape analysis, constraint solving, pointer analysis, alias analysis |
| 1 | Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv |
Shape Analysis and Applications. |
The Compiler Design Handbook |
2002 |
DBLP BibTeX RDF |
|
| 1 | G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv |
Deriving Specialized Program Analyses for Certifying Component-Client Conformance. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
model checking, static analysis, abstract interpretation, software components, predicate abstraction |
| 1 | Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv |
Estimating the impact of heap liveness information on space consumption in Java. |
MSP/ISMM |
2002 |
DBLP DOI BibTeX RDF |
Java, compilers, program analysis, garbage collection, memory management, liveness analysis |
| 1 | David Oren, Yossi Matias, Shmuel Sagiv |
Online Subpath Profiling. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Reps, Alexey Loginov, Shmuel Sagiv |
Semantic Minimization of 3-Valued Propositional Formulae. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv |
Compactly Representing First-Order Structures for Static Analysis. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv |
Kleene's Logic with Equality. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv |
Heap Profiling for Space-Efficient Java. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Noam Rinetzky, Shmuel Sagiv |
Interprocedural Shape Analysis for Recursive Programs. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nurit Dor, Michael Rodeh, Shmuel Sagiv |
Cleanness Checking of String Manipulations in C Programs via Integer Analysis. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
Putting static analysis to work for verification: A case study. |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers |
Displaying result #1 - #100 of 125 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")