„Program Verification“

Suchergebnisse

1.065 Treffer

• ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact)
  Suchert, Felix ; Zeidler, Lisza ; Castrillon, Jeronimo ; Ertel, Sebastian
• 10351 Executive Summary – Modelling, Controlling and Reasoning About State
  Ahmed, Amal ; Benton, Nick ; Birkedal, Lars ; Hofmann, Martin
• 10351 Abstracts Collection – Modelling, Controlling and Reasoning About State
  Ahmed, Amal ; Benton, Nick ; Birkedal, Lars ; Hofmann, Martin
• 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
• 09501 Abstracts Collection – Software Synthesis
  Bodik, Ratislav ; Kupferman, Orna ; Smith, Dougla R. ; Yahav, Eran
• Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning
  Tasiran, Serdar ; Sezgin, Ali ; Quadeer, Shaz
• 09361 Abstracts Collection – Design and Validation of Concurrent Systems
  Flanagan, Cormac ; Graf, Susanne ; Parthasarathy, Madhusan ; 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
• Shape Analysis via Monotonic Abstraction
  Aziz Abdulla, Parosh ; Bouajjani, Ahmed ; Cederberg, Jonathan ; Haziza, Frédéric ; Ji, Ran ; Rezine, Ahmed
• REST: Integrating Term Rewriting with Program Verification (Artifact)
  Grannan, Zachary ; Vazou, Niki ; Darulova, Eva ; Summers, Alexander J.
• Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact)
  Becker, Heiko ; Rabe, Robert ; Darulova, Eva ; Myreen, Magnus O. ; Tatlock, Zachary ; Kumar, Ramana ; Tan, Yong Kiam ; Fox, Anthony
• Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact)
  Meier, Shawn ; Mover, Sergio ; Chang, Bor-Yuh Evan
• Local Completeness for Program Correctness and Incorrectness (Invited Talk)
  Bruni, Roberto 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Integrating Cost and Behavior in Type Theory (Invited Talk)
  Harper, Robert 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Ordinal Measures of the Set of Finite Multisets
  Vialard, Isa 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Foundational Verification of Stateful P4 Packet Processing
  Wang, Qinshi ; Pan, Mengying ; Wang, Shengyi ; Doenges, Ryan ; Beringer, Lennart ; Appel, Andrew W. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Interactive and Automated Proofs in Modal Separation Logic (Invited Talk)
  Krebbers, Robbert 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper)
  Bhatia, Sahil ; Kohli, Sumer ; Seshia, Sanjit A. ; Cheung, Alvin 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik