„static program analysis“

Suchergebnisse

227 Treffer

• Shape Analysis via Monotonic Abstraction
  Aziz Abdulla, Parosh ; Bouajjani, Ahmed ; Cederberg, Jonathan ; Haziza, Frédéric ; Ji, Ran ; Rezine, Ahmed
• 08161 Abstracts Collection – Scalable Program Analysis
  Martin, Florian ; Riis Nielson, Hanne ; Riva, Claudio ; Schordan, Markus
• Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact)
  Chakraborty, Madhurima ; Olivares, Renzo ; Sridharan, Manu ; Hassanshahi, Behnaz
• Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact)
  Dimovski, Aleksandar S. ; Apel, Sven
• Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact)
  Arteca, Ellen ; Tip, Frank ; Schäfer, Max
• Static Type Analysis by Abstract Interpretation of Python Programs (Artifact)
  Monat, Raphaël ; Ouadjaout, Abdelraouf ; Miné, Antoine
• Static Analysis of Shape in TensorFlow Programs (Artifact)
  Lagouvardos, Sifis ; Dolby, Julian ; Grech, Neville ; Antoniadis, Anastasios ; Smaragdakis, Yannis
• Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)
  Stiévenart, Quentin ; Nicolay, Jens ; De Meuter, Wolfgang ; De Roover, Coen
• Information Flow Analysis for Detecting Non-Determinism in Blockchain
  Olivieri, Luca ; Negrini, Luca ; Arceri, Vincenzo ; Tagliaferro, Fabio ; Ferrara, Pietro ; Cortesi, Agostino ; Spoto, Fausto 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Low-Level Bi-Abduction
  Holík, Lukáš ; Peringer, Petr ; Rogalewicz, Adam ; Šoková, Veronika ; Vojnar, Tomáš ; Zuleger, Florian 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs
  Chakraborty, Madhurima ; Olivares, Renzo ; Sridharan, Manu ; Hassanshahi, Behnaz 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
  Dimovski, Aleksandar S. ; Apel, Sven 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Enabling Additional Parallelism in Asynchronous JavaScript Applications
  Arteca, Ellen ; Tip, Frank ; Schäfer, Max 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Type Analysis by Abstract Interpretation of Python Programs
  Monat, Raphaël ; Ouadjaout, Abdelraouf ; Miné, Antoine 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Analysis of Shape in TensorFlow Programs
  Lagouvardos, Sifis ; Dolby, Julian ; Grech, Neville ; Antoniadis, Anastasios ; Smaragdakis, Yannis 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Analysis for Asynchronous JavaScript Programs
  Sotiropoulos, Thodoris ; Livshits, Benjamin 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Arrays and References in Resource Aware ML
  Lichtman, Benjamin ; Hoffmann, Jan 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Mailbox Abstractions for Static Analysis of Actor Programs
  Stiévenart, Quentin ; Nicolay, Jens ; De Meuter, Wolfgang ; De Roover, Coen 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Speeding Up Maximal Causality Reduction with Static Dependency Analysis
  Huang, Shiyou ; Huang, Jeff 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Analysis for Logic-based Dynamic Programs
  Schwentick, Thomas ; Vortmeier, Nils ; Zeume, Thomas 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik