„static program analysis“

Suchergebnisse

227 Treffer

• Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness
  Carrott, Pedro ; Ayoun, Sacha-Élie ; Raad, Azalea 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness (Artifact)
  Carrott, Pedro ; Ayoun, Sacha-Élie ; Raad, Azalea
• Compositional Static Value Analysis for Higher-Order Numerical Programs (Artifact)
  Valnet, Milla ; Monat, Raphaël ; Miné, Antoine
• Building Bulletproof Software: The Power of Formal Verification
  Matt 2024 tredition
• Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)
  Barthe, Gilles ; Gordon, Andrew D. ; Katoen, Joost-Pieter ; McIver, Annabelle
• An abstract specification language for static program analysis
  Vistein, Michael ; Ortmeier, Frank ; Reif, Wolfgang ; Huuck, Ralf ; Fehnker, Ansgar 2009 Universität Augsburg
• A formal verification framework for static analysis – As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY
  Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, Germán ; Román-Díez, Guillermo
• Reducing Parallel Program Simulation Complexity by Static Analysis
  Aversa, Rocco ; Di Martino, Beniamino ; Mazzocca, Nicola ; Villano, Umberto
• Static data-flow analysis for software product lines in C – Revoking the preprocessor’s special role
  Schubert, Philipp Dominik ; Gazzillo, Paul ; Patterson, Zach ; Braha, Julian ; Schiebel, Fabian ; Hermann, Ben ; Wei, Shiyi ; Bodden, Eric
• {CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming
  Zhou, Quan ; Dang, Sixuan ; Zhang, Danfeng 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity
  Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea ; Seiller, Thomas 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• CtChecker: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming (Artifact)
  Zhou, Quan ; Dang, Sixuan ; Zhang, Danfeng
• Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281)
  Gurfinkel, Arie ; Mastroeni, Isabella ; Miné, Antoine ; Müller, Peter ; Becchi, Anna
• Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact)
  Olivieri, Luca ; Negrini, Luca ; Arceri, Vincenzo ; Tagliaferro, Fabio ; Ferrara, Pietro ; Cortesi, Agostino ; Spoto, Fausto
• Low-Level Bi-Abduction (Artifact)
  Holík, Lukáš ; Peringer, Petr ; Rogalewicz, Adam ; Šoková, Veronika ; Vojnar, Tomáš ; Zuleger, Florian
• 10252 Executive Summary – Game Semantics and Program Verification
  Mellies, Paul-Andre ; Murawski, Andrzej S. ; Schalk, Andrea ; Walukiewicz, Igor
• 10252 Abstracts Collection – Game Semantics and Program Verification
  Mellies, Paul-Andre ; Murawski, Andrzej S. ; Schalk, Andrea ; Walukiewicz, Igor
• Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning
  Tasiran, Serdar ; Sezgin, Ali ; Quadeer, Shaz
• 09301 Executive Summary – Typing, Analysis, and Verification of Heap-Manipulating Programs
  Sagiv, Mooly ; Poetzsch-Heffter, Arnd ; O'Hearn, Peter
• 09301 Abstracts Collection – Typing, Analysis, and Verification of Heap-Manipulating Programs
  Sagiv, Mooly ; Poetzsch-Heffter, Arnd ; O'Hearn, Peter