Search Results - "Genaim, Samir"

Neural-guided superoptimization in ethereum.

Authors: Aguiar, Matheus Araújo Albert, Elvira Genaim, Samir et al.

Source: Information & Software Technology; Oct2025, Vol. 186, pN.PAG-N.PAG, 1p

A Transformational Approach to Resource Analysis with Typed-norms Inference.

Authors: ALBERT, ELVIRA GENAIM, SAMIR GUTIÉRREZ, RAÚL et al.

Source: Theory & Practice of Logic Programming. May2020, Vol. 20 Issue 3, p310-357. 48p.

Synthesis of ranking functions via DNN.

Authors: Tan, Wang Li, Yi

Source: Neural Computing & Applications; Aug2021, Vol. 33 Issue 16, p9939-9959, 21p

Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis.

Authors: DOMÉNECH, JESÚS J. GALLAGHER, JOHN P. GENAIM, SAMIR

Source: Theory & Practice of Logic Programming; Sep2019, Vol. 19 Issue 5/6, p990-1005, 16p

Inference of Field-Sensitive Reachability and Cyclicity.

Authors: ZANARDINI, DAMIANO GENAIM, SAMIR

Source: ACM Transactions on Computational Logic; Jul2014, Vol. 15 Issue 4, p1-41, 41p

Ranking Functions for Linear-Constraint Loops.

Authors: BEN-AMRAM, AMIR M. GENAIM, SAMIR

Source: Journal of the ACM. Jul2014, Vol. 61 Issue 4, p26-2655. 55p.

On the Inference of Resource Usage Upper and Lower Bounds.

Authors: ALBERT, ELVIRA GENAIM, SAMIR MASUD, ABU NASER

Source: ACM Transactions on Computational Logic; Aug2013, Vol. 14 Issue 3, p1-35, 35p

On the Termination of Integer Loops.

Authors: BEN-AMRAM, AMIR M. GENAIM, SAMIR MASUD, ABU NASER

Source: ACM Transactions on Programming Languages & Systems; Dec2012, Vol. 34 Issue 4, p1-24, 24p

Inferring Non-Suspension Conditions for Logic Programs with Dynamic Scheduling.

Authors: GENAIM, SAMIR KING, ANDY

Source: ACM Transactions on Computational Logic; Jun2008, Vol. 9 Issue 3, p17.1-17.43, 43p, 1 Diagram, 2 Charts

Keeping P4 Switches Fast and Fault-free through Automatic Verification.

Authors: Lukács, Dániel Pongrácz, Gergely Tejfel, Máté

Source: Acta Cybernetica. 2019, Vol. 24 Issue 1, p61-81. 21p.