Treffer 1 - 20 von 16.710

1

Session Types for the Concurrent Composition of Interactive Differential Privacy
Sannier, Victor ; Baillot, Patrick ; Gaboardi, Marco ; et al.
2025 IEEE 38th Computer Security Foundations Symposium (CSF). :113-126

Differential privacy [INFO.INFO-LO] Computer... Session types Operational semantics Probabilistic languages Pi-calculus
Fachzeitschrift
Zu den Favoriten
2

Beyond Affine Loops: A Geometric Approach to Program Synthesis
Erdenebayar Bayarmagnai ; Fatemeh Mohammadi ; Rémi Prébet ; et al.
Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :1-7

Computer Science - Symbo... FOS: Computer and inform... [INFO.INFO-SC] Computer... [MATH.MATH-AG] Mathemati... CCS Concepts: Applied co... Symbolic Computation (cs...
Fachzeitschrift
Zu den Favoriten
3

Polymorphic Records for Dynamic Languages
Giuseppe Castagna ; Loïc Peyrot ; Castagna, Giuseppe
Proceedings of the ACM on Programming Languages. 9:1464-1491

FOS: Computer and inform... subtyping row polymorphism record types intersection types Programming Languages
Fachzeitschrift
Zu den Favoriten
4

Breadth-first Cycle Collection Reference Counting: Theory and a Rust Smart Pointer Implementation
Saverio Giallorenzo ; Francesco Goretti ; Giallorenzo, Saverio
Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. :1412-1420

Garbage Collection Rust Cycle Collection Reference Counting [INFO.INFO-PL] Computer...
Fachzeitschrift
Zu den Favoriten
5

Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR
Chappe, Nicolas ; Henrio, Ludovic ; Zakowski, Yannick ; et al.
Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs. :283-298

LLVM IR Concurrency Coq Formal Semantics [INFO.INFO-PL] Computer...
Fachzeitschrift
Zu den Favoriten
6

Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection
Moine, Alexandre ; Charguéraud, Arthur ; Pottier, François ; et al.
ACM Transactions on Programming Languages and Systems. 47:1-71

Separation logic Program verification Concurrency Tracing garbage collecti... [INFO.INFO-PL] Computer...
Fachzeitschrift
Zu den Favoriten
7

Inference Plans for Hybrid Particle Filtering
Ellie Y. Cheng ; Eric Atkinson ; Guillaume Baudart ; et al.
Proceedings of the ACM on Programming Languages. 9:271-299

FOS: Computer and inform... Computer Science - Progr... Artificial Intelligence... Probabilistic programmin... Computer Science - Artif... Abstract interpretation
Fachzeitschrift
Zu den Favoriten
8

Preservation of Speculative Constant-Time by Compilation
Santiago Arranz Olmos ; Gilles Barthe ; Lionel Blatter ; et al.
Proceedings of the ACM on Programming Languages. 9:1293-1325

Spectre Preservation of security Speculative execution [INFO.INFO-PL] Computer...
Fachzeitschrift
Zu den Favoriten
9

Avoiding Signature Avoidance in ML Modules with Zippers
Blaudeau, Clément ; Rémy, Didier ; Radanne, Gabriel ; et al.
Proceedings of the ACM on Programming Languages. 9:1962-1991

Zippers CCS Concepts Type theory OCaml Functional languages Modules / packages
Fachzeitschrift
Zu den Favoriten
10

The Metamorphosis Formula
Ciocioc, Ion Valentin ; Ciocioc, Ion Valentin
ZENODO

Grammar [SHS.PHIL] Humanities an... Colors [INFO.INFO-MS] Computer... [SCCO] Cognitive science [INFO.INFO-GL] Computer...
Fachzeitschrift
Zu den Favoriten
11

A Survey on IoT Programming Platforms: A Business-Domain Experts Perspective
Hannou, Fatma-Zohra ; Lefrançois, Maxime ; Jouvelot, Pierre ; et al.
ACM Computing Surveys. 57:1-37

• Software and its engin... Smart Building [INFO.INFO-PL]Computer S... Development frameworks a... Embedded and cyber-physi... • Computer systems organ...
Fachzeitschrift
Zu den Favoriten
12

Property-Based Testing by Elaborating Proof Outlines
Miller, Dale ; Momigliano, Alberto ; Miller, Dale ; et al.
Theory and Practice of Logic Programming. 24:1123-1162

FOS: Computer and inform... Computer Science - Logic... [INFO.INFO-PL]Computer S... [INFO.INFO-LO] Computer... λ-tree syntax [INFO.INFO-LO]Computer S...
Fachzeitschrift
Zu den Favoriten
13

Taskgrind: Heavyweight Dynamic Binary Instrumentation for Parallel Programs Analysis
Pereira, Romain ; Stelle, George ; Carribault, Patrick ; et al.
SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. :214-221

Binary Instrumentation HPC Task Determinacy Race [INFO.INFO-PL] Computer...
Fachzeitschrift
Zu den Favoriten
14

On Polyglot Program Testing
Philémon Houdaille ; Djamel Eddine Khelladi ; Benoit Combemale ; et al.
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. :507-511

Software engineering Polyglot programming Software testing and deb... Software development tec... [INFO.INFO-SE] Computer... [INFO] Computer Science...
Fachzeitschrift
Zu den Favoriten
15

Easing maintenance of academic static analyzers
Monat, Raphaël ; Ouadjaout, Abdelraouf ; Miné, Antoine ; et al.
International Journal on Software Tools for Technology Transfer. 26:673-686

Software Engineering (cs... FOS: Computer and inform... Computer Science - Softw... Software engineering Computer Science - Progr... static analysis
Fachzeitschrift
Zu den Favoriten
16

Leveraging static analysis for cost-aware serverless scheduling policies
de Palma, Giuseppe ; Giallorenzo, Saverio ; Laneve, Cosimo ; et al.
International Journal on Software Tools for Technology Transfer. 26:781-796

Scheduling Serverless Cost Equations Cost equations Serverless Computing [INFO.INFO-PL] Computer...
Fachzeitschrift
Zu den Favoriten
17

Every file is a program, but not the reverse
Mélès, Baptiste ; Mélès, Baptiste
European Mathematical Society Magazine. :5-11

[SHS.PHIL] Humanities an... Program File Programming languages [INFO.INFO-PL] Computer...
Fachzeitschrift
Zu den Favoriten
18

StarMalloc: Verifying a Modern, Hardened Memory Allocator
Reitz, Antonin ; Fromherz, Aymeric ; Protzenko, Jonathan ; et al.
Proceedings of the ACM on Programming Languages. 8:1757-1786

Separation Logic Security and privacy → L... Memory Allocators CCS Concepts: Theory of... [INFO.INFO-PL] Computer...
Fachzeitschrift
Zu den Favoriten
19

A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code
Julien Simonnet ; Matthieu Lemerre ; Mihaela Sighireanu ; et al.
Proceedings of the ACM on Programming Languages. 8:30-59

Memory safety Type checking [INFO.INFO-SE] Computer... Abstract interpretation [INFO] Computer Science... [INFO.INFO-PL] Computer...
Fachzeitschrift
Zu den Favoriten
20

Programming Parallelism on FPGAs with Eclat
Sylvestre, Loïc ; Sérot, Jocelyn ; Chailloux, Emmanuel ; et al.
International Journal of Parallel Programming. 53

Synchronous programming Algorithmic skeletons Performance prediction FPGAs [INFO.INFO-DS] Computer... Language design and impl...
Fachzeitschrift
Zu den Favoriten

Filter