Monotonicity and the Precision of Program Analysis

Συγγραφείς: Campion, Marco, Dalla Preda, Mila, Giacobazzi, Roberto, Urban, Caterina

Συνεισφορές: Campion, Marco

Πηγή: Proceedings of the ACM on Programming Languages. 8:1629-1662

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/11562/1124226
https://doi.org/10.1145/3632897

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

Συγγραφείς: Esparza, Javier, Raskin, Mikhail, Welzel, Christoph

Συνεισφορές: Javier Esparza and Mikhail Raskin and Christoph Welzel, Klin, Bartek, Lasota, Sławomir, Muscholl, Anca

Πηγή: Logical Methods in Computer Science, Vol Volume 21, Issue 1 (2025)

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Del Vecchio, Justin, Ko, Steven Y., Ziarek, Lukasz

Πηγή: 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

Συγγραφείς: Gorogiannis, N, O'Hearn, PW, Sergey, I

Πηγή: Proceedings of the ACM on Programming Languages. 3:1-29

Θεματικοί όροι: 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)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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)

Συγγραφείς: Olivieri, Luca, Negrini, Luca, Arceri, Vincenzo, Tagliaferro, Fabio, Ferrara, Pietro, Cortesi, Agostino, Spoto, Fausto

Συνεισφορές: 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

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.23

SSA translation is an abstract interpretation (with appendices)

Συγγραφείς: Lemerre, Matthieu

Συνεισφορές: Lemerre, Matthieu

Θεματικοί όροι: 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]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: von Buelow, Max, Riemann, Kai, Guthe, Stefan, Fellner, Dieter W.

Θεματικοί όροι: 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

Συγγραφείς: von Buelow, Max, Stensbeck, Tobias, Knauthe, Volker, Guthe, Stefan, Fellner, Dieter W.

Συνεισφορές: Yang, Yin, Parakkat, Amal D., Deng, Bailin, Noh, Seung-Tak

Θεματικοί όροι: 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

Περιγραφή αρχείου: text

Σύνδεσμος πρόσβασης: https://tuprints.ulb.tu-darmstadt.de/26597/1/029-034.pdf

value partitioning a lightweight approach to relational static analysis for javascript

Συγγραφείς: Nielsen, Benjamin Barslev, Møller, Anders

Συνεισφορές: Benjamin Barslev Nielsen and Anders Møller, Hirschfeld, Robert, Pape, Tobias

Πηγή: 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

Θεματικοί όροι: JavaScript, Dataflow analysis, Theory of computation → Program analysis, Abstract interpretation, abstract interpretation, ddc:004, dataflow analysis

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine

Συνεισφορές: Raphaël Monat and Abdelraouf Ouadjaout and Antoine Miné, Monat, Raphaël, Hirschfeld, Robert, Pape, Tobias

Πηγή: European Conference on Object-Oriented Programming

Θεματικοί όροι: 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]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Xu, Chuangjie

Συνεισφορές: Chuangjie Xu, Zena M. Ariola

Θεματικοί όροι: 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)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Altmeyer, Sebastian

Συνεισφορές: Sebastian Altmeyer

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2019

OASIcs, Volume 63, WCET'18, Complete Volume

Συγγραφείς: Brandner, Florian

Συνεισφορές: Florian Brandner

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2018

Checking probabilistic noninterference using JOANA

Συγγραφείς: 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}

Πηγή: it - Information Technology. 56(6):280-287

Διαθεσιμότητα: https://www.degruyter.com/document/doi/10.1515/itit-2014-1051/html