| SolType: Refinement Types for Arithmetic Overflow in Solidity | 0 | 0.34 | 2022 |
| Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper) | 0 | 0.34 | 2022 |
| Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis | 0 | 0.34 | 2021 |
| A Dataset of Dockerfiles | 0 | 0.34 | 2020 |
| Demystifying Loops in Smart Contracts | 1 | 0.36 | 2020 |
| Learning from, understanding, and supporting DevOps artifacts for docker | 3 | 0.41 | 2020 |
| Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study | 0 | 0.34 | 2020 |
| Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study | 1 | 0.36 | 2020 |
| Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. | 2 | 0.37 | 2019 |
| Enabling Open-World Specification Mining via Unsupervised Learning | 0 | 0.34 | 2019 |
| Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. | 6 | 0.42 | 2018 |
| Verifying Semantic Conflict-Freedom in Three-Way Program Merges. | 0 | 0.34 | 2018 |
| Datalog-based Scalable Semantic Diffing of Concurrent Programs. | 0 | 0.34 | 2018 |
| Program Equivalence (Dagstuhl Seminar 18151). | 0 | 0.34 | 2018 |
| Formal Specification and Verification of Smart Contracts for Azure Blockchain. | 1 | 0.35 | 2018 |
| Wireless Protocol Validation Under Uncertainty. | 2 | 0.40 | 2018 |
| Verifying equivalence of database-driven applications | 0 | 0.34 | 2018 |
| Verified three-way program merge | 7 | 0.57 | 2018 |
| Verifying Relative Safety, Accuracy, and Termination for Program Approximations. | 3 | 0.36 | 2018 |
| VeriFi: Model-Driven Runtime Verification Framework for Wireless Protocol Implementations. | 0 | 0.34 | 2018 |
| Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. | 5 | 0.40 | 2017 |
| Refining interprocedural change-impact analysis using equivalence relations. | 4 | 0.40 | 2017 |
| Abstract Semantic Diffing of Evolving Concurrent Programs. | 2 | 0.36 | 2017 |
| Optimizing test placement for module-level regression testing. | 6 | 0.40 | 2017 |
| Interprocedural Semantic Change-Impact Analysis using Equivalence Relations. | 1 | 0.35 | 2016 |
| Automatic Rootcausing For Program Equivalence Failures In Binaries | 7 | 0.48 | 2015 |
| Helping developers help themselves: automatic decomposition of code review changesets | 34 | 0.82 | 2015 |
| Angelic Verification: Precise Verification Modulo Unknowns | 10 | 0.51 | 2015 |
| Verification modulo versions: towards usable verification | 26 | 0.86 | 2014 |
| Towards modularly comparing programs using automated theorem provers | 24 | 0.73 | 2013 |
| Towards Practical Reactive Security Audit Using Extended Static Checkers | 7 | 0.52 | 2013 |
| Almost-correct specifications: a modular semantic framework for assigning confidence to warnings | 17 | 0.61 | 2013 |
| Differential assertion checking | 51 | 1.38 | 2013 |
| Will you still compile me tomorrow? static cross-version compiler validation | 14 | 0.63 | 2013 |
| Underspecified harnesses and interleaved bugs | 21 | 0.76 | 2012 |
| SYMDIFF: a language-agnostic semantic diff tool for imperative programs | 77 | 1.71 | 2012 |
| A solver for reachability modulo theories | 55 | 1.81 | 2012 |
| From Program to Logic: An Introduction. | 1 | 0.35 | 2011 |
| ExplainHoudini: Making Houdini Inference Transparent | 0 | 0.34 | 2011 |
| SMT-based modular analysis of sequential systems code | 1 | 0.36 | 2011 |
| Statically validating must summaries for incremental compositional dynamic test generation | 19 | 1.07 | 2011 |
| Differential static analysis: opportunities, applications, and challenges | 25 | 0.91 | 2010 |
| Towards scalable modular checking of user-defined properties | 11 | 0.57 | 2010 |
| Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers | 38 | 1.77 | 2009 |
| A low-level memory model and an accompanying reachability predicate | 5 | 0.46 | 2009 |
| Complexity and Algorithms for Monomial and Clausal Predicate Abstraction | 7 | 0.50 | 2009 |
| Finding errors in .net with feedback-directed random testing | 40 | 1.46 | 2008 |
| Embedded software verification: challenges and solutions | 0 | 0.34 | 2008 |
| Feedback-Directed Random Test Generation | 383 | 14.13 | 2007 |
| Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic | 3 | 0.56 | 2007 |
