Výsledky vyhledávání - "Program synthesis"

Beyond Affine Loops: A Geometric Approach to Program Synthesis

Autoři: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet a další

Přispěvatelé: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet a další

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

Témata: 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 souboru: application/pdf

Pří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

Type-Constrained Code Generation with Language Models

Autoři: Mündler, Niels He, Jingxuan Wang, Hao a další

Zdroj: Proceedings of the ACM on Programming Languages. 9(PLDI)

Témata: Information and Computing Sciences, Software Engineering, Code Generation, Language Model, Type System, Program Synthesis, Program Translation, Program Repair, Constrained Decoding, Software engineering, Theory of computation, Numerical and computational mathematics

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/8xw132rt
https://escholarship.org/content/qt8xw132rt/qt8xw132rt.pdf

Program synthesis for generalized planning

Autoři: Segovia Aguas, Javier

Přispěvatelé: University/Department: Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions

Thesis Advisors: Jonsson, Anders

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: Classical planning, Generalized planning, Automated programming, Program synthesis

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/663753

Chemical classification program synthesis using generative artificial intelligence

Autoři: Christopher J. Mungall Adnan Malik Daniel R. Korn a další

Zdroj: Journal of Cheminformatics, Vol 17, Iss 1, Pp 1-23 (2025)

Témata: Chemical classification, Large language models, ChEBI, Ontologies, Program synthesis, Chemical structures, Information technology, T58.5-58.64, Chemistry, QD1-999

Popis souboru: electronic resource

Relation: https://doaj.org/toc/1758-2946

Přístupová URL adresa: https://doaj.org/article/b6b5713662784291b1a0212cfbf20c42

On the Challenges of Quantum Circuit Encoding Using Deep and Reinforcement Learning

Autoři: Patrick Selig Niall Murphy David Redmond a další

Zdroj: IEEE Access, Vol 13, Pp 75220-75234 (2025)

Témata: quantum program synthesis, quantum architecture search, reinforcement learning, Quantum state preparation, gate-based circuits, supervised machine learning, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Přístupová URL adresa: https://doaj.org/article/02411bda49814685bd150831e540c536

Blueprint2Code: a multi-agent pipeline for reliable code generation via blueprint planning and repair

Autoři: Kehao Mao Baokun Hu Ruixin Lin a další

Zdroj: Frontiers in Artificial Intelligence, Vol 8 (2025)

Témata: code generation, large language models, multi-agent systems, program synthesis, automated debugging, blueprint planning, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/frai.2025.1660912/full; https://doaj.org/toc/2624-8212

Přístupová URL adresa: https://doaj.org/article/af1b157b62a74b989345306a5066c003

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Gurfinkel, Arie Heule, Marijn

Témata: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, oncurrency, testing, simulations, verification of machine, Mathematical theory of computation, Computer hardware, Network hardware, Computer modelling and simulation, Software Engineering

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101664

Programming Languages and Systems

Přispěvatelé: Vafeiadis, Viktor

Témata: effects, functional programming, semantics, program synthesis, session types, dependent types, quantum programming, verification, program analysis, abstract interpretation, Programming and scripting languages: general, Compilers and interpreters

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101667

On BIOCHAM Symbolic Computation Pipeline for Compiling Mathematical Functions into Biochemistry

Autoři: Fages, François Hemery, Mathieu Soliman, Sylvain

Přispěvatelé: Fages, François Hemery, Mathieu Soliman, Sylvain

Zdroj: ACM Communications in Computer Algebra. 58:15-22

Témata: elementary functions, chemical computation, algebraic functions, [CHIM] Chemical Sciences, Analog computation, Turing-completeness, polynomialization, quadratization, [MATH] Mathematics [math], [INFO] Computer Science [cs], program synthesis, stabilization, online computation

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-04602764v1

ReDunT

Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs

Autoři: Borrego, Dina Vilalonga, Afonso Domingos, Henrique a další

Přispěvatelé: Borrego, Dina Vilalonga, Afonso Domingos, Henrique a další

Témata: CRDTs, optimisations, program synthesis, Information Systems, Computer Science Applications

Popis souboru: application/pdf

Relation: 9798400715587; PURE: 128744965

Dostupnost: http://hdl.handle.net/10362/187570

Proof-Producing Synthesis of CakeML from Monadic HOL Functions

Autoři: Abrahamsson, Oskar Ho, Son Kanabar, Hrutvik a další

Zdroj: Journal of Automated Reasoning. 64(7):1287-1306

Témata: ML, Interactive theorem proving, Program synthesis, Higher-order logic

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/517619
https://research.chalmers.se/publication/518990
https://research.chalmers.se/publication/518990/file/518990_Fulltext.pdf

Example-Based Reasoning about the Realizability of Polymorphic Programs

Autoři: Niek Mulleners Johan Jeuring Bastiaan Heeren

Zdroj: Mulleners, N, Jeuring, J & Heeren, B 2024, 'Example-Based Reasoning about the Realizability of Polymorphic Programs', Proceedings of the ACM on Programming Languages, vol. 8, no. ICFP, 247, pp. 317-337. https://doi.org/10.1145/3674636

Témata: unrealizability, FOS: Computer and information sciences, Computer Science - Programming Languages, container functors, 0202 electrical engineering, electronic engineering, information engineering, example propagation, 0102 computer and information sciences, 02 engineering and technology, parametricity, 01 natural sciences, program synthesis, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/abs/2406.18304

Canonical for Automated Theorem Proving in Lean

Autoři: Norman, Chase Avigad, Jeremy Chase Norman and Jeremy Avigad

Přispěvatelé: Norman, Chase Avigad, Jeremy Chase Norman and Jeremy Avigad

Témata: FOS: Computer and information sciences, Dependent Type Theory, Automated Reasoning, Unification, Logic in Computer Science, Interactive Theorem Proving, Program Synthesis, ddc:004, Inhabitation, I.2.3, F.4.1, Formal Methods, Logic in Computer Science (cs.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2504.06239
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2025.14

A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)

Autoři: Pettorossi, Alberto Proietti, Maurizio Fioravanti, Fabio a další

Zdroj: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. :16-38

Témata: Constraint logic programming, Program manipulation, Partial evaluation, Transformation rules, Program specialization, Program transformation, Program validation, Program synthesis, Transformation strategies

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/11564/822976
https://doi.org/10.1145/3635800.3637446

LLM-Based Code Generation: A Systematic Literature Review With Technical and Demographic Insights

Autoři: Umama Kamaluddeen Usman Danyaro Maged Nasser a další

Zdroj: IEEE Access, Vol 13, Pp 194915-194939 (2025)

Témata: LLMs, code completion, generative AI, code generation, program synthesis, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Popis souboru: electronic resource

Relation: https://ieeexplore.ieee.org/document/11242137/; https://doaj.org/toc/2169-3536

Přístupová URL adresa: https://doaj.org/article/8c76d437af264242940ba7703f25ae65

Revolutionizing Software Intelligence: A Convergent Framework of Neural Program Synthesis, Quantum-Secure DevOps, and Explainable AI for Next-Generation Autonomous Systems

Autoři: Alikhani, Mohammad Hossein

Témata: Neural Program Synthesis, Cybersecurity, Explainable AI, Autonomous Systems, Ethical AI, Software Intelligence, Quantum-Secure DevOps

Bottom-Up Synthesis of Memory Mutations with Separation Logic (Artifact)

Autoři: Ferdowsi, Kasra Peleg, Hila Kasra Ferdowsi and Hila Peleg

Přispěvatelé: Ferdowsi, Kasra Peleg, Hila Kasra Ferdowsi and Hila Peleg

Témata: observational equivalence, ddc:004, Program synthesis

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.11.2.2

Automated Programming and Program Repair (Dagstuhl Seminar 24431)

Autoři: Le Goues, Claire Pradel, Michael Roychoudhury, Abhik a další

Přispěvatelé: Le Goues, Claire Pradel, Michael Roychoudhury, Abhik a další

Témata: Large Language Models, Automated Program Repair, Program Synthesis, Trustworthy Software, ddc:004, Auto-coding

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.10.39

Replication Package of ELFuzz

Autoři: Chuyang Chen Brendan Dolan-Gavitt Zhiqiang Lin

Témata: Software and application security, System and network security, Software Analysis, Large Language Model, Fuzzing, Program Synthesis

Relation: https://figshare.com/articles/conference_contribution/Replication_Package_of_ELFuzz/29177162

Dostupnost: https://doi.org/10.6084/m9.figshare.29177162.v6
https://figshare.com/articles/conference_contribution/Replication_Package_of_ELFuzz/29177162

Bottom-Up Synthesis of Memory Mutations with Separation Logic

Autoři: Ferdowsi, Kasra Peleg, Hila Kasra Ferdowsi and Hila Peleg

Přispěvatelé: Ferdowsi, Kasra Peleg, Hila Kasra Ferdowsi and Hila Peleg

Témata: Program synthesis, observational equivalence

Popis souboru: application/pdf

Relation: Is Part Of LIPIcs, Volume 333, 39th European Conference on Object-Oriented Programming (ECOOP 2025); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.10

Dostupnost: https://doi.org/10.4230/LIPIcs.ECOOP.2025.10
https://nbn-resolving.org/urn:nbn:de:0030-drops-233036
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.10