Monotonicity and the Precision of Program Analysis

Authors: Campion, Marco, Dalla Preda, Mila, Giacobazzi, Roberto, Urban, Caterina

Contributors: Campion, Marco

Source: Proceedings of the ACM on Programming Languages. 8:1629-1662

Subject Terms: Program Monotonicity, Completeness, Complete-Analyzability, Abstract Interpretation, Complete-Analyzability, Completeness, Program Analysis, Program Monotonicity, Program Analysis, Program reasoning Abstract Interpretation, Theory of computation → Program analysis, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts, CCS Concepts: Theory of computation → Program analysis Abstraction Program verification Program reasoning Abstract Interpretation, Program verification, 0202 electrical engineering, electronic engineering, information engineering, Abstraction

File Description: application/pdf

Access URL: https://hdl.handle.net/11562/1124226
https://doi.org/10.1145/3632897

Regular Model Checking Upside-Down: An Invariant-Based Approach

Authors: Esparza, Javier, Raskin, Mikhail, Welzel, Christoph

Contributors: Javier Esparza and Mikhail Raskin and Christoph Welzel, Klin, Bartek, Lasota, Sławomir, Muscholl, Anca

Source: Logical Methods in Computer Science, Vol Volume 21, Issue 1 (2025)

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, BC1-199, computer science - distributed, parallel, and cluster computing, Logic, Theory of computation → Problems, reductions and completeness, Theory of computation → Program analysis, QA75.5-76.95, 02 engineering and technology, regular languages, Logic in Computer Science (cs.LO), computer science - logic in computer science, parameterized verification, Computer Science - Distributed, Parallel, and Cluster Computing, regular model-checking, Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, Theory of computation → Invariants, structural analysis, Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004, traps

File Description: application/pdf

Access URL: http://arxiv.org/abs/2205.03060
https://doaj.org/article/e195b9ea7834405e9dd5bd3333c12a61
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.23

Representing String Computations as Graphs for Classifying Malware

Authors: Del Vecchio, Justin, Ko, Steven Y., Ziarek, Lukasz

Source: 2020 IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems (MOBILESoft) MOBILESOFT Mobile Software Engineering and Systems (MOBILESoft), 2020 IEEE/ACM 7th International Conference on. :120-131 Oct, 2020

Relation: 2020 IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems (MOBILESoft)

A true positives theorem for a static race detector

Authors: Gorogiannis, N, O'Hearn, PW, Sergey, I

Source: Proceedings of the ACM on Programming Languages. 3:1-29

Subject Terms: CCS Concepts: • Theory of computation → Program analysis, FOS: Computer and information sciences, Computer Science - Programming Languages, • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: https://dl.acm.org/doi/pdf/10.1145/3290370
http://arxiv.org/abs/1811.03503
https://eprints.mdx.ac.uk/29747/1/3290370.pdf
https://eprints.mdx.ac.uk/29747/
https://dl.acm.org/doi/pdf/10.1145/3290370
https://dl.acm.org/doi/10.1145/3290370
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#GorogiannisOS19
http://ui.adsabs.harvard.edu/abs/2018arXiv181103503G/abstract
https://arxiv.org/abs/1811.03503
https://arxiv.org/pdf/1811.03503.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1811.html#abs-1811-03503
https://discovery-pp.ucl.ac.uk/id/eprint/10074329/

Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact)

Authors: Olivieri, Luca, Negrini, Luca, Arceri, Vincenzo, Tagliaferro, Fabio, Ferrara, Pietro, Cortesi, Agostino, Spoto, Fausto

Contributors: Luca Olivieri and Luca Negrini and Vincenzo Arceri and Fabio Tagliaferro and Pietro Ferrara and Agostino Cortesi and Fausto Spoto, Olivieri, Luca, Negrini, Luca, Arceri, Vincenzo, Tagliaferro, Fabio, Ferrara, Pietro, Cortesi, Agostino, Spoto, Fausto

Subject Terms: Program Verification, Blockchain, Software and its engineering → Software notations and tools, Static Analysis, DApps, Theory of computation → Program verification, Theory of computation → Program analysis, ddc:004, Go language, Security and privacy → Distributed systems security, Non-determinism, Smart contracts

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.23

SSA translation is an abstract interpretation (with appendices)

Authors: Lemerre, Matthieu

Contributors: Lemerre, Matthieu

Subject Terms: Cyclic term graph, Equational logic and rewriting Static Single Assignment (SSA), CCS Concepts: • Software and its engineering → Compilers, Program verification, Abstract interpretation, • Theory of computation → Program analysis, Formal software verification, Abstraction, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

File Description: application/pdf

Access URL: https://cea.hal.science/cea-03849637v2/document
https://cea.hal.science/cea-03849637v2

Profiling and Visualizing GPU Memory Access and Cache Behavior of Ray Tracers

Authors: von Buelow, Max, Riemann, Kai, Guthe, Stefan, Fellner, Dieter W.

Subject Terms: Research Line: Computer graphics (CG), 0202 electrical engineering, electronic engineering, information engineering, Visual analytics, Graphics processors, Program analysis, Human centered computing, 02 engineering and technology, Computing methodologies, CCS Concepts: Human-centered computing --> Visual analytics, Computing methodologies --> Graphics processors, Theory of computation --> Program analysis, Theory of computation

Reconstructing Bounding Volume Hierarchies from Memory Traces of Ray Tracers

Authors: von Buelow, Max, Stensbeck, Tobias, Knauthe, Volker, Guthe, Stefan, Fellner, Dieter W.

Contributors: Yang, Yin, Parakkat, Amal D., Deng, Bailin, Noh, Seung-Tak

Subject Terms: Software and its engineering → Software reverse engineering, Research Line: Computer graphics (CG), 0202 electrical engineering, electronic engineering, information engineering, Theory of computation → Program analysis, Computing methodologies → Ray tracing, Ray tracing, 02 engineering and technology, CCS Concepts: Software and its engineering → Software reverse engineering

File Description: text

Access URL: https://tuprints.ulb.tu-darmstadt.de/26597/1/029-034.pdf

value partitioning a lightweight approach to relational static analysis for javascript

Authors: Nielsen, Benjamin Barslev, Møller, Anders

Contributors: Benjamin Barslev Nielsen and Anders Møller, Hirschfeld, Robert, Pape, Tobias

Source: Nielsen, B B & Møller, A 2020, Value Partitioning : A Lightweight Approach to Relational Static Analysis for JavaScript. in 34th European Conference on Object-Oriented Programming, ECOOP 2020., 16, Dagstuhl Publishing, Leibniz International Proceedings in Informatics, 34th European Conference on Object-Oriented Programming (ECOOP 2020), Online, 15/11/2020. https://doi.org/10.4230/LIPIcs.ECOOP.2020.16
34th European Conference on Object-Oriented Programming

Subject Terms: JavaScript, Dataflow analysis, Theory of computation → Program analysis, Abstract interpretation, abstract interpretation, ddc:004, dataflow analysis

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/opus/volltexte/2020/13173/
https://drops.dagstuhl.de/opus/volltexte/2020/13173/pdf/LIPIcs-ECOOP-2020-16.pdf/
https://dblp.uni-trier.de/db/conf/ecoop/ecoop2020.html#NielsenM19
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.16
https://pure.au.dk/portal/en/publications/d9bc64e8-6c48-4bbc-9b42-e5bcc9047452
https://pure.au.dk/portal/en/publications/d9bc64e8-6c48-4bbc-9b42-e5bcc9047452
https://doi.org/10.4230/LIPIcs.ECOOP.2020.16
https://pure.au.dk/ws/files/202400613/LIPIcs_ECOOP_2020_16.pdf
http://www.scopus.com/inward/record.url?scp=85115262217&partnerID=8YFLogxK

static type analysis by abstract interpretation of python programs

Authors: Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine

Contributors: Raphaël Monat and Abdelraouf Ouadjaout and Antoine Miné, Monat, Raphaël, Hirschfeld, Robert, Pape, Tobias

Source: European Conference on Object-Oriented Programming

Subject Terms: Software and its engineering → Semantics, Static Analysis, Abstract Interpretation, Theory of computation → Program analysis, Dynamic Programming Language, ddc:004, Formal Methods, Type Analysis, Python Semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

File Description: application/pdf

Access URL: https://dblp.uni-trier.de/db/conf/ecoop/ecoop2020.html#MonatOM19
https://hal.archives-ouvertes.fr/hal-02994000/document
https://doi.org/10.4230/LIPIcs.ECOOP.2020.17
https://hal.archives-ouvertes.fr/hal-02994000
https://drops.dagstuhl.de/opus/volltexte/2020/13174/pdf/LIPIcs-ECOOP-2020-17.pdf/
https://drops.dagstuhl.de/opus/volltexte/2020/13174/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.17
https://hal.science/hal-02994000v1
https://hal.science/hal-02994000v1/document
https://doi.org/10.4230/lipics.ecoop.2020.17

A Gentzen-style monadic translation of G��del's System T

Authors: Xu, Chuangjie

Contributors: Chuangjie Xu, Zena M. Ariola

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Theory of computation → Program analysis, logical relation, Mathematics - Logic, Theory of computation → Type theory, majorizability, 16. Peace & justice, continuity, 3. Good health, Logic in Computer Science (cs.LO), Gödel's System T, Theory of computation → Proof theory, bar recursion, monadic translation, FOS: Mathematics, F.4.1, ddc:004, Logic (math.LO), Agda, negative translation, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: http://arxiv.org/abs/1908.05979
https://arxiv.org/abs/1908.05979
https://arxiv.org/pdf/1908.05979.pdf
https://drops.dagstuhl.de/opus/volltexte/2020/12347/
https://dblp.uni-trier.de/db/journals/corr/corr1908.html#abs-1908-05979
https://doi.org/10.4230/LIPIcs.FSCD.2020.25
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.25

OASIcs, Volume 72, WCET'19, Complete Volume

Authors: Altmeyer, Sebastian

Contributors: Sebastian Altmeyer

Subject Terms: Computer systems organization, Software and its engineering, Program analysis, Theory of computation, Program analysis, Computer systems organization, Real-time systems, Software and its engineering, Software performance, ddc:004, Software performance, Real-time systems, Theory of computation

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2019

OASIcs, Volume 63, WCET'18, Complete Volume

Authors: Brandner, Florian

Contributors: Florian Brandner

Subject Terms: Computer systems organization, Computer systems organization, Real-time systems, Theory of computation, Program analysis, Software and its engineering, Software performance, Software and its engineering, Program analysis, ddc:004, Software performance, Real-time systems, Theory of computation

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2018

Checking probabilistic noninterference using JOANA

Authors: Snelting, Gregor^{aff1_w2aab2b8c21b1b7b1aab1b4b7Aa}, Giffhorn, Dennis^{aff1_w2aab2b8c21b1b7b1aab1b4b7Aa}, Graf, Jürgen^{aff1_w2aab2b8c21b1b7b1aab1b4b7Aa}, Hammer, Christian^{aff1_w2aab2b8c21b1b7b1aab1b4b7Aa}, Hecker, Martin^{aff1_w2aab2b8c21b1b7b1aab1b4b7Aa}, Mohr, Martin^{aff1_w2aab2b8c21b1b7b1aab1b4b7Aa}, Wasserrab, Daniel^{aff1_w2aab2b8c21b1b7b1aab1b4b7Aa}

Source: it - Information Technology. 56(6):280-287

Availability: https://www.degruyter.com/document/doi/10.1515/itit-2014-1051/html