The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Eran Yahav" ( http://dblp.L3S.de/Authors/Eran_Yahav )

  Author page on DBLP  Author page in RDF  Community of Eran Yahav in ASPL-2

Publication years (Num. hits)
1996-2006 (17) 2007-2008 (15) 2009-2011 (19) 2012-2013 (16) 2014-2016 (25) 2017-2018 (22) 2019 (8)
Publication types (Num. hits)
article(33) incollection(3) inproceedings(83) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(14) PLDI(14) SAS(10) OOPSLA(7) ISSTA(6) VMCAI(5) POPL(4) PPOPP(4) ICSE(3) ACM Trans. Program. Lang. Syst...(2) ACM Trans. Softw. Eng. Methodo...(2) ASPLOS(2) CAV (1)(2) ESOP(2) FMCAD(2) ISMM(2) More (+10 of total 53)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 57 occurrences of 37 keywords

Results
Found 123 publication records. Showing 122 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Uri Alon 0002, Meital Zilberstein, Omer Levy, Eran Yahav code2vec: learning distributed representations of code. Search on Bibsonomy PACMPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Omer Katz, Yuval Olshaker, Yoav Goldberg, Eran Yahav Towards Neural Decompilation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Gail Weiss, Yoav Goldberg, Eran Yahav Learning Deterministic Weighted Automata with Queries and Counterexamples. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Noam Yefet, Uri Alon 0002, Eran Yahav Adversarial Examples for Models of Code. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Uri Alon 0002, Roy Sadaka, Omer Levy, Eran Yahav Structural Language Models for Any-Code Generation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yaniv David, Uri Alon 0002, Eran Yahav Neural Reverse Engineering of Stripped Binaries. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay From typestate verification to interpretable deep models (invited talk abstract). Search on Bibsonomy ISSTA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Uri Alon 0002, Shaked Brody, Omer Levy, Eran Yahav code2seq: Generating Sequences from Structured Representations of Code. Search on Bibsonomy ICLR (Poster) The full citation details ... 2019 DBLP  BibTeX  RDF
1Uri Alon 0002, Meital Zilberstein, Omer Levy, Eran Yahav A General Path-Based Representation for Predicting Program Properties. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Uri Alon 0002, Meital Zilberstein, Omer Levy, Eran Yahav code2vec: Learning Distributed Representations of Code. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gail Weiss, Yoav Goldberg, Eran Yahav On the Practical Computational Power of Finite Precision RNNs for Language Recognition. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Uri Alon 0002, Omer Levy, Eran Yahav code2seq: Generating Sequences from Structured Representations of Code. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Eran Yahav From Programs to Interpretable Deep Models and Back. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Uri Alon 0002, Meital Zilberstein, Omer Levy, Eran Yahav A general path-based representation for predicting program properties. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hila Peleg, Sharon Shoham, Eran Yahav Programming not only by example. Search on Bibsonomy ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hila Peleg, Dan Rasin, Eran Yahav Generating Tests by Example. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav Practical concurrent traversals in search trees. Search on Bibsonomy PPOPP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gail Weiss, Yoav Goldberg, Eran Yahav Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. Search on Bibsonomy ICML The full citation details ... 2018 DBLP  BibTeX  RDF
1Yaniv David, Nimrod Partush, Eran Yahav FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware. Search on Bibsonomy ASPLOS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Omer Katz, Noam Rinetzky, Eran Yahav Statistical Reconstruction of Class Hierarchies in Binaries. Search on Bibsonomy ASPLOS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gail Weiss, Yoav Goldberg, Eran Yahav On the Practical Computational Power of Finite Precision RNNs for Language Recognition. Search on Bibsonomy ACL (2) The full citation details ... 2018 DBLP  BibTeX  RDF
1Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav Effective abstractions for verification under relaxed memory models. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gail Weiss, Yoav Goldberg, Eran Yahav Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav Learning Disjunctions of Predicates. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Hila Peleg, Sharon Shoham, Eran Yahav Programming Not Only by Example. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav Automatic Scalable Atomicity via Semantic Locking. Search on Bibsonomy TOPC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dana Drachsler-Cohen, Sharon Shoham, Eran Yahav Synthesis with Abstract Examples. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yaniv David, Nimrod Partush, Eran Yahav Similarity of binaries through re-optimization. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav Learning Disjunctions of Predicates. Search on Bibsonomy COLT The full citation details ... 2017 DBLP  BibTeX  RDF
1Adi Omari, Sharon Shoham, Eran Yahav Synthesis of Forgiving Data Extractors. Search on Bibsonomy WSDM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang Symbolic automata for representing big code. Search on Bibsonomy Acta Inf. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin T. Vechev, Eran Yahav Programming with "Big Code". Search on Bibsonomy Foundations and Trends in Programming Languages The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav Optimal Learning of Specifications from Examples. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Eran Yahav Analysis and Synthesis with "Big Code". Search on Bibsonomy Dependable Software Systems Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shir Yadid, Eran Yahav Extracting code from programming tutorial videos. Search on Bibsonomy Onward! The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Meital Zilberstein, Eran Yahav Leveraging a corpus of natural language descriptions for program similarity. Search on Bibsonomy Onward! The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Omer Katz, Ran El-Yaniv, Eran Yahav Estimating types in binaries using predictive modeling. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adi Omari, Benny Kimelfeld, Eran Yahav, Sharon Shoham Lossless Separation of Web Pages into Layout Code and Data. Search on Bibsonomy KDD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yaniv David, Nimrod Partush, Eran Yahav Statistical similarity of binaries. Search on Bibsonomy PLDI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adi Omari, Sharon Shoham, Eran Yahav Cross-supervised synthesis of web-crawlers. Search on Bibsonomy ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hila Peleg, Sharon Shoham, Eran Yahav D^3 : Data-Driven Disjunctive Abstraction. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eran Yahav Programming with "Big Code". Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yuri Meshman, Noam Rinetzky, Eran Yahav Pattern-based Synthesis of Synchronization for the C++ Memory Model. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
1Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav Effective Abstractions for Verification under Relaxed Memory Models. Search on Bibsonomy VMCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav Automatic scalable atomicity via semantic locking. Search on Bibsonomy PPOPP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Meital Ben Sinai, Nimrod Partush, Shir Yadid, Eran Yahav Exploiting Social Navigation. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Eran Yahav Practical Software Synthesis. Search on Bibsonomy Software Systems Safety The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nimrod Partush, Eran Yahav Abstract semantic differencing via speculative correlation. Search on Bibsonomy OOPSLA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Veselin Raychev, Martin T. Vechev, Eran Yahav Code completion with statistical language models. Search on Bibsonomy PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yaniv David, Eran Yahav Tracelet-based code search in executables. Search on Bibsonomy PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav Synthesis of Memory Fences via Refinement Propagation. Search on Bibsonomy SAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev Verifying atomicity via data independence. Search on Bibsonomy ISSTA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Eran Yahav (eds.) Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dana Drachsler, Martin T. Vechev, Eran Yahav Practical concurrent binary search trees via logical ordering. Search on Bibsonomy PPOPP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav Automatic semantic locking. Search on Bibsonomy PPOPP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin T. Vechev, Eran Yahav, Greta Yorsh Abstraction-guided synthesis of synchronization. Search on Bibsonomy STTT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Manu Sridharan, Satish Chandra 0001, Julian Dolby, Stephen J. Fink, Eran Yahav Alias Analysis for Object-Oriented Programs. Search on Bibsonomy Aliasing in Object-Oriented Programming The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. Search on Bibsonomy Programming Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav Concurrent libraries with foresight. Search on Bibsonomy PLDI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang Symbolic Automata for Static Specification Mining. Search on Bibsonomy SAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Veselin Raychev, Martin T. Vechev, Eran Yahav Automatic Synthesis of Deterministic Concurrency. Search on Bibsonomy SAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nimrod Partush, Eran Yahav Abstract Semantic Differencing for Numerical Programs. Search on Bibsonomy SAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav Predicate Abstraction for Relaxed Memory Models. Search on Bibsonomy SAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Karine Even, Eran Yahav Finding rare numerical stability errors in concurrent computations. Search on Bibsonomy ISSTA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Eran Yahav Abstraction-Guided Synthesis. Search on Bibsonomy VMCAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rastislav Bodík, Sumit Gulwani, Eran Yahav Software Synthesis (Dagstuhl Seminar 12152). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav Efficient data race detection for async-finish parallelism. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Kuperstein 0001, Martin T. Vechev, Eran Yahav Automatic inference of memory fences. Search on Bibsonomy SIGACT News The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alon Mishne, Sharon Shoham, Eran Yahav Typestate-based semantic code search over partial programs. Search on Bibsonomy OOPSLA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav Scalable and precise dynamic datarace detection for structured parallelism. Search on Bibsonomy PLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin T. Vechev, Eran Yahav Dynamic synthesis for relaxed memory models. Search on Bibsonomy PLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthew Arnold, Martin T. Vechev, Eran Yahav QVM: An Efficient Runtime for Detecting Defects in Deployed Systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav Sprint: speculative prefetching of remote data. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav Asynchronous assertions. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav Automatic fine-grain locking using shape properties. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav Testing atomicity of composed concurrent operations. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Kuperstein 0001, Martin T. Vechev, Eran Yahav Partial-coherence abstractions for relaxed memory models. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eran Yahav (eds.) Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings Search on Bibsonomy SAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eran Yahav, Mooly Sagiv Verifying safety properties of concurrent heap-manipulating programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin T. Vechev, Eran Yahav, Greta Yorsh PHALANX: parallel checking of expressive heap assertions. Search on Bibsonomy ISMM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF parallel garbage collector, virtual machine, ownership
1Martin T. Vechev, Eran Yahav, Greta Yorsh Abstraction-guided synthesis of synchronization. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF concurrency, synthesis, abstract interpretation
1Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav Efficient Data Race Detection for Async-Finish Parallelism. Search on Bibsonomy RV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar Automatic Verification of Determinism for Structured Parallel Programs. Search on Bibsonomy SAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh Verifying linearizability with hindsight. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hindsight, linearizability, wait-freedom, optimistic concurrency
1Michael Kuperstein 0001, Martin T. Vechev, Eran Yahav Automatic inference of memory fences. Search on Bibsonomy FMCAD The full citation details ... 2010 DBLP  BibTeX  RDF
1Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav (eds.) Software Synthesis, 06.12. - 11.12.2009 Search on Bibsonomy Software Synthesis The full citation details ... 2009 DBLP  BibTeX  RDF
1Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav 09501 Abstracts Collection - Software Synthesis. Search on Bibsonomy Software Synthesis The full citation details ... 2009 DBLP  BibTeX  RDF
1Martin T. Vechev, Eran Yahav, Greta Yorsh Experience with Model Checking Linearizability. Search on Bibsonomy SPIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ohad Shacham, Martin T. Vechev, Eran Yahav Chameleon: adaptive selection of collections. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF semantic profiler, java, collections, bloat
1Martin T. Vechev, Eran Yahav, Greta Yorsh Inferring Synchronization under Limited Observability. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia Static Specification Mining Using Automata-Based Abstractions. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay Effective typestate verification in the presence of aliasing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF program verification, Alias analysis, typestate
1Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav On the complexity of partially-flow-sensitive alias analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF flow-insensitive, Alias analysis, flow-sensitive
1Matthew Arnold, Martin T. Vechev, Eran Yahav QVM: an efficient runtime for detecting defects in deployed systems. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF algorithms, reliability, virtual machines
1Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra 0001 The CLOSER: automating resource management in java. Search on Bibsonomy ISMM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF higher-level resource, interest reachability, logical liveness, resource interest graph, resource management
1Greta Yorsh, Eran Yahav, Satish Chandra 0001 Generating precise and concise procedure summaries. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF micro-transformers, relational analysis, symbolic summary, typestate verification, composition, summarization, aliasing, dataflow analysis
1Martin T. Vechev, Eran Yahav Deriving linearizable fine-grained concurrent objects. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF algorithms, model checking, data structures, concurrency, linearizability
1Alexey Loginov, Eran Yahav, Satish Chandra 0001, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda Verifying dereference safety via expanding-scope analysis. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF static analysis, abstract interpretation, specification inference
1Marco Pistoia, Satish Chandra 0001, Stephen J. Fink, Eran Yahav A survey of static analysis methods for identifying security vulnerabilities in software systems. Search on Bibsonomy IBM Systems Journal The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav Comparison Under Abstraction for Verifying Linearizability. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 122 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license