Results 11 to 20 of about 5,977,532 (99)
Verified tensor-program optimization via high-level scheduling rewrites
Proc. ACM Program. Lang., 2022 We present a lightweight Coq framework for optimizing tensor kernels written in a pure, functional array language. Optimizations rely on user scheduling using series of verified, semantics-preserving rewrites.
Amanda Liu +3 more
semanticscholar +1 more source
Learning semantic program embeddings with graph interval neural network [PDF]
Proc. ACM Program. Lang., 2020 Learning distributed representations of source code has been a challenging task for machine learning models. Earlier works treated programs as text so that natural language methods can be readily applied.
Yu Wang +3 more
semanticscholar +1 more source
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis
Proc. ACM Program. Lang., 2022 Imprecision is inherent in any decidable (sound) approximation of undecidable program properties. In abstract interpretation this corresponds to the release of false alarms, e.g., when it is used for program analysis and program verification.
Marco Campion +2 more
semanticscholar +1 more source
Higher-order probabilistic adversarial computations: categorical semantics and program logics [PDF]
Proc. ACM Program. Lang., 2021 Adversarial computations are a widely studied class of computations where resource-bounded probabilistic adversaries have access to oracles, i.e., probabilistic procedures with private state.
Alejandro Aguirre +5 more
semanticscholar +1 more source
Combining the top-down propagation and bottom-up enumeration for inductive program synthesis
Proc. ACM Program. Lang., 2021 We present an effective method for scalable and general-purpose inductive program synthesis. There have been two main approaches for inductive synthesis: enumerative search, which repeatedly enumerates possible candidate programs, and the top-down ...
Woosuk Lee
semanticscholar +1 more source
Knjižnica, 2018 Izvleček Z reformo doktorskega študija na Fakulteti za gradbeništvo in geodezijo Univerze v Ljubljani (UL FGG) je bil leta 2009 v študijski program uveden obvezen predmet informacijskega opismenjevanja.
Teja Koler Povh, Žiga Turk
doaj +1 more source
LooPy: interactive program synthesis with control structures
Proc. ACM Program. Lang., 2021 One vision for program synthesis, and specifically for programming by example (PBE), is an interactive programmer's assistant, integrated into the development environment.
Kasra Ferdowsifard +4 more
semanticscholar +1 more source
APIfix: output-oriented program synthesis for combating breaking changes in libraries
Proc. ACM Program. Lang., 2021 Use of third-party libraries is extremely common in application software. The libraries evolve to accommodate new features or mitigate security vulnerabilities, thereby breaking the Application Programming Interface(API) used by the software.
Xiang Gao +5 more
semanticscholar +1 more source
Graduate Program in Astrophysics in Split [PDF]
, 2006 Beginning in autumn 2008 the first generation of astronomy master students will start a 2 year course in Astrophysics offered by the Physics department of the University of Split, Croatia (http://fizika.pmfst.hr/astro/english/index.html).
Krajnovic, Davor
core +2 more sources
Program synthesis using abstraction refinement [PDF]
Proc. ACM Program. Lang., 2017 We present a new approach to example-guided program synthesis based on counterexample-guided abstraction refinement. Our method uses the abstract semantics of the underlying DSL to find a program P whose abstract behavior satisfies the examples. However,
Xinyu Wang, Işıl Dillig, Rishabh Singh
semanticscholar +1 more source