( en | de | ru )

 

Disambiguation of "Solar-Lezama, Armando"

Author of the publication

copydeleteadd this publication to your clipboard
Sloth: Being Lazy Is a Virtue (When Issuing Database Queries).

, , and . ACM Trans. Database Syst., 41 (2): 8:1-8:42 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Milivoj Solar

Karl-Ludwig Solaro

Natascha Solar

María Leticia Solari

Marcin Solarski

 

Other publications of authors with the same name

Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules., and . CoRR, (2016)Euler: A System for Numerical Optimization of Programs., and . CAV, volume 7358 of Lecture Notes in Computer Science, page 732-737. Springer, (2012)Top-Down Synthesis for Library Learning., , , , , , and . Proc. ACM Program. Lang., 7 (POPL): 1182-1213 (January 2023)Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems., , , , , , and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 137-154. Springer, (2019)Verifiably safe exploration for end-to-end reinforcement learning., , , , , and . HSCC, page 14:1-14:11. ACM, (2021)Human Evaluation of Text-to-Image Models on a Multi-Task Benchmark., , , , , , , , , and 4 other author(s). CoRR, (2022)Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types., , , and . CoRR, (2015)Neurosymbolic Programming., , , , , and . Found. Trends Program. Lang., 7 (3): 158-243 (2021)JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints., , , , , , , , , and 1 other author(s). CoRR, (2021)Introduction to the Special Issue on PPoPP 2017 (Part 2)., , , and . ACM Trans. Parallel Comput., 7 (3): 14:1-14:2 (2020)