„Program Analysis“

Suchergebnisse

7.892 Treffer

• 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
• 10181 Executive Summary – Program Development for Extreme-Scale Computing
  Labarta, Jesus ; Miller, Barton P. ; Mohr, Bernd ; Schulz, Martin
• 10181 Abstracts Collection – Program Development for Extreme-Scale Computing
  Labarta, Jesus ; Miller, Barton P. ; Mohr, Bernd ; Schulz, Martin
• 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
• 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
• Towards Distributed Memory Parallel Program Analysis
  Quinlan, Daniel J. ; Barany, Gergö ; Panas, Thomas
• Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely
  Gesellensetter, Lars
• Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis
  Knoop, Jens
• 08161 Abstracts Collection – Scalable Program Analysis
  Martin, Florian ; Riis Nielson, Hanne ; Riva, Claudio ; Schordan, Markus
• 08061 Executive Summary – Types, Logics and Semantics for State
  Ahmed, Amal ; Benton, Nick ; Hofmann, Martin ; Morrisett, Greg
• 08061 Abstracts Collection – Types, Logics and Semantics for State
  Ahmed, Amal ; Benton, Nick ; Hofmann, Martin ; Morrisett, Greg
• Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact)
  Chakraborty, Madhurima ; Olivares, Renzo ; Sridharan, Manu ; Hassanshahi, Behnaz
• ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact)
  De Albuquerque Silva, Iryna ; Carle, Thomas ; Gauffriau, Adrien ; Pagetti, Claire
• Differential Privacy for Coverage Analysis of Software Traces (Artifact)
  Hao, Yu ; Latif, Sufian ; Zhang, Hailong ; Bassily, Raef ; Rountev, Atanas