Výsledky vyhľadávania - "[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]"

Session Types for the Concurrent Composition of Interactive Differential Privacy

Autori: Sannier, Victor Baillot, Patrick Gaboardi, Marco

Prispievatelia: Sannier, Victor Baillot, Patrick Gaboardi, Marco

Zdroj: 2025 IEEE 38th Computer Security Foundations Symposium (CSF). :113-126

Predmety: Differential privacy, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Session types, Operational semantics, Probabilistic languages, Pi-calculus, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-04719333v3

Beyond Affine Loops: A Geometric Approach to Program Synthesis

Autori: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet a ďalší

Prispievatelia: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet a ďalší

Zdroj: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :1-7

Predmety: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], CCS Concepts: Applied computing → Invariants Logic and verification • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Symbolic Computation (cs.SC), [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts, Mathematics - Algebraic Geometry, FOS: Mathematics, Logic and verification, Polynomial invariants, • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Applied computing → Invariants, Algebraic Geometry (math.AG)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2505.00620
https://hal.science/hal-05127957v1/document
https://hal.science/hal-05127957v1
https://doi.org/10.1145/3735544.3735581

Polymorphic Records for Dynamic Languages

Autori: Giuseppe Castagna Loïc Peyrot Castagna, Giuseppe

Prispievatelia: Giuseppe Castagna Loïc Peyrot Castagna, Giuseppe

Zdroj: Proceedings of the ACM on Programming Languages. 9:1464-1491

Predmety: FOS: Computer and information sciences, subtyping, row polymorphism, record types, intersection types, Programming Languages, F.3.3, D.1.1, union types, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Programming Languages (cs.PL)

Prístupová URL adresa: http://arxiv.org/abs/2404.00338

Breadth-first Cycle Collection Reference Counting: Theory and a Rust Smart Pointer Implementation

Autori: Saverio Giallorenzo Francesco Goretti Giallorenzo, Saverio

Prispievatelia: Saverio Giallorenzo Francesco Goretti Giallorenzo, Saverio

Zdroj: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. :1412-1420

Predmety: Garbage Collection, Rust, Cycle Collection, Reference Counting, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-04887627v1/document
https://hal.science/hal-04887627v1
https://doi.org/10.1145/3672608.3707785

Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR

Autori: Chappe, Nicolas Henrio, Ludovic Zakowski, Yannick

Prispievatelia: Chappe, Nicolas Henrio, Ludovic Zakowski, Yannick

Zdroj: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs. :283-298

Predmety: LLVM IR, Concurrency, Coq, Formal Semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection

Autori: Moine, Alexandre Charguéraud, Arthur Pottier, François

Prispievatelia: Moine, Alexandre Charguéraud, Arthur Pottier, François

Zdroj: ACM Transactions on Programming Languages and Systems. 47:1-71

Predmety: Separation logic, Program verification, Concurrency, Tracing garbage collection, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

Prístupová URL adresa: https://inria.hal.science/hal-04946590v1
https://doi.org/10.1145/3716312
https://inria.hal.science/hal-04946590v1/document

Inference Plans for Hybrid Particle Filtering

Autori: Ellie Y. Cheng Eric Atkinson Guillaume Baudart a ďalší

Prispievatelia: Ellie Y. Cheng Eric Atkinson Guillaume Baudart a ďalší

Zdroj: Proceedings of the ACM on Programming Languages. 9:271-299

Predmety: FOS: Computer and information sciences, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Probabilistic programming languages, Computer Science - Artificial Intelligence, Abstract interpretation, Static analysis, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2408.11283
https://hal.science/hal-04928774v1
https://doi.org/10.1145/3704846
https://hal.science/hal-04928774v1/document

Preservation of Speculative Constant-Time by Compilation

Autori: Santiago Arranz Olmos Gilles Barthe Lionel Blatter a ďalší

Prispievatelia: Santiago Arranz Olmos Gilles Barthe Lionel Blatter a ďalší

Zdroj: Proceedings of the ACM on Programming Languages. 9:1293-1325

Predmety: Spectre, Preservation of security, Speculative execution, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.univ-lorraine.fr/hal-04663857v2
https://hal.univ-lorraine.fr/hal-04663857v2/document
https://doi.org/10.1145/3704880

Avoiding Signature Avoidance in ML Modules with Zippers

Autori: Blaudeau, Clément Rémy, Didier Radanne, Gabriel

Prispievatelia: Blaudeau, Clément Rémy, Didier Radanne, Gabriel

Zdroj: Proceedings of the ACM on Programming Languages. 9:1962-1991

Predmety: Zippers, CCS Concepts, Type theory, OCaml, Functional languages, Modules / packages, Strengthening, Signature avoidance, ML, Semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

The Metamorphosis Formula

Autori: Ciocioc, Ion Valentin

Prispievatelia: Ciocioc, Ion Valentin

Zdroj: ZENODO

Predmety: Grammar, [SHS.PHIL] Humanities and Social Sciences/Philosophy, Colors, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], [SCCO] Cognitive science, [INFO.INFO-GL] Computer Science [cs]/General Literature [cs.GL], Innovation, Algorithms, Transformation, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Prístupová URL adresa: https://zenodo.org/records/14892631

A Survey on IoT Programming Platforms: A Business-Domain Experts Perspective

Autori: Hannou, Fatma-Zohra Lefrançois, Maxime Jouvelot, Pierre a ďalší

Prispievatelia: Hannou, Fatma-Zohra Lefrançois, Maxime Jouvelot, Pierre a ďalší

Zdroj: ACM Computing Surveys. 57:1-37

Predmety: • Software and its engineering → Software development techniques, Smart Building, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Development frameworks and environments Internet of Things, Embedded and cyber-physical systems, • Computer systems organization → Sensor networks, General and reference → Surveys and overviews, IoT platforms, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts, Smart Agriculture, IoT programming, CCS Concepts: General and reference → Surveys and overviews • Computer systems organization → Sensor networks Embedded and cyber-physical systems • Software and its engineering → Software development techniques Development frameworks and environments Internet of Things

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-04764936v1
https://doi.org/10.1145/3699954
https://hal.science/hal-04764936v1/document

Property-Based Testing by Elaborating Proof Outlines

Autori: Miller, Dale Momigliano, Alberto Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) a ďalší

Prispievatelia: Miller, Dale Momigliano, Alberto Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) a ďalší

Zdroj: Theory and Practice of Logic Programming. 24:1123-1162

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], λ-tree syntax, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, relational specifications, [INFO] Computer Science [cs], 01 natural sciences, metatheory of programming languages, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Logic in Computer Science (cs.LO), linear logic, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], property-based testing, meta-theory of programing languages

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2406.10053
https://hal.science/hal-04710992v1/document
https://hal.science/hal-04710992v1
https://hdl.handle.net/2434/1120939
https://doi.org/10.1017/s1471068424000176

Taskgrind: Heavyweight Dynamic Binary Instrumentation for Parallel Programs Analysis

Autori: Pereira, Romain Stelle, George Carribault, Patrick a ďalší

Prispievatelia: Pereira, Romain Stelle, George Carribault, Patrick a ďalší

Zdroj: SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. :214-221

Predmety: Binary Instrumentation, HPC, Task, Determinacy Race, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-04814885v1

On Polyglot Program Testing

Autori: Philémon Houdaille Djamel Eddine Khelladi Benoit Combemale a ďalší

Prispievatelia: Philémon Houdaille Djamel Eddine Khelladi Benoit Combemale a ďalší

Zdroj: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. :507-511

Predmety: Software engineering, Polyglot programming, Software testing and debugging, Software development techniques, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO] Computer Science [cs], Interoperability, White box testing, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-04588744v1
https://doi.org/10.1145/3663529.3663787
https://hal.science/hal-04588744v1/document

Easing maintenance of academic static analyzers

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

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

Zdroj: International Journal on Software Tools for Technology Transfer. 26:673-686

Predmety: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Software engineering, Computer Science - Programming Languages, static analysis, abstract interpretation, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2407.12499

Leveraging static analysis for cost-aware serverless scheduling policies

Autori: de Palma, Giuseppe Giallorenzo, Saverio Laneve, Cosimo a ďalší

Prispievatelia: de Palma, Giuseppe Giallorenzo, Saverio Laneve, Cosimo a ďalší

Zdroj: International Journal on Software Tools for Technology Transfer. 26:781-796

Predmety: Scheduling, Serverless, Cost Equations, Cost equations, Serverless Computing, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-04887650v1/document
https://doi.org/10.1007/s10009-024-00776-9
https://hal.science/hal-04887650v1

Every file is a program, but not the reverse

Autori: Mélès, Baptiste

Prispievatelia: Mélès, Baptiste

Zdroj: European Mathematical Society Magazine. :5-11

Predmety: [SHS.PHIL] Humanities and Social Sciences/Philosophy, Program, File, Programming languages, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

StarMalloc: Verifying a Modern, Hardened Memory Allocator

Autori: Reitz, Antonin Fromherz, Aymeric Protzenko, Jonathan

Prispievatelia: Reitz, Antonin Fromherz, Aymeric Protzenko, Jonathan

Zdroj: Proceedings of the ACM on Programming Languages. 8:1757-1786

Predmety: Separation Logic, Security and privacy → Logic and verification Formal Verification, Memory Allocators, CCS Concepts: Theory of computation → Separation logic, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code

Autori: Julien Simonnet Matthieu Lemerre Mihaela Sighireanu a ďalší

Prispievatelia: Julien Simonnet Matthieu Lemerre Mihaela Sighireanu a ďalší

Zdroj: Proceedings of the ACM on Programming Languages. 8:30-59

Predmety: Memory safety, Type checking, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Abstract interpretation, [INFO] Computer Science [cs], [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-04649674v1
https://hal.science/hal-04649674v1/document
https://doi.org/10.1145/3689712

Programming Parallelism on FPGAs with Eclat

Autori: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel a ďalší

Prispievatelia: Sylvestre, Loïc Sérot, Jocelyn Chailloux, Emmanuel a ďalší

Zdroj: International Journal of Parallel Programming. 53

Predmety: Synchronous programming, Algorithmic skeletons, Performance prediction, FPGAs, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], Language design and implementation, [INFO] Computer Science [cs], [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-05169350v1/document
https://hal.science/hal-05169350v1
https://doi.org/10.1007/s10766-025-00801-7
https://hal.science/hal-04772531v1