Samir Genaim

102 papers A* 2A 4B 27C 8Misc 1Journal 36Unranked 23
YearRankTypeTitle / Venue / Authors
2025 J jnl
Neural-guided superoptimization in ethereum.
Inf. Softw. Technol.
Matheus Araújo Aguiar, Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Daniel Kirchner, Albert Rubio
2025 J jnl
Secure Optimizations on Ethereum Bytecode Jump-Free Sequences.
IEEE Trans. Dependable Secur. Comput.
Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin
2025 B conf
Securely Optimized (Ethereum) Smart Contracts Using Formal Methods.
SEFM
Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Enrique Martin-Martin, Albert Rubio
2025 J jnl
Termination Analysis of Linear-Constraint Programs.
CoRR
Amir M. Ben-Amram, Samir Genaim, Joël Ouaknine, James Worrell
2023 — conf
Formally Verified EVM Block-Optimizations.
CAV (3)
Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin
2022 — conf
When COSTA Met KeY: Verified Cost Bounds.
The Logic of Software. A Tasting Menu of Formal Methods
Elvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez
2021 — conf
Lower-Bound Synthesis Using Loop Specialization and Max-SMT.
CAV (2)
Elvira Albert, Samir Genaim, Enrique Martin-Martin, Alicia Merayo, Albert Rubio
2021 — conf
Termination Analysis of Programs with Multiphase Control-Flow.
HCVS@ETAPS
Jesús J. Doménech, Samir Genaim
2020 J jnl
A Transformational Approach to Resource Analysis with Typed-norms Inference.
Theory Pract. Log. Program.
Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin
2019 J jnl
A Transformational Approach to Resource Analysis with Typed-norms Inference.
CoRR
Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin
2019 J jnl
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis.
CoRR
Jesús J. Doménech, John P. Gallagher, Samir Genaim
2019 J jnl
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis.
Theory Pract. Log. Program.
Jesús J. Doménech, John P. Gallagher, Samir Genaim
2019 B conf
Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets.
SAS
Amir M. Ben-Amram, Jesús J. Doménech, Samir Genaim
2018 J jnl
Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets.
CoRR
Amir M. Ben-Amram, Jesús Doménech, Samir Genaim
2017 B conf
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools.
FASE
Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte
2017 J jnl
EasyInterface: A toolkit for rapid development of GUIs for research prototype tools.
CoRR
Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte
2017 B conf
May-Happen-in-Parallel Analysis with Returned Futures.
ATVA
Elvira Albert, Samir Genaim, Pablo Gordillo
2017 — conf
On Multiphase-Linear Ranking Functions.
CAV (2)
Amir M. Ben-Amram, Samir Genaim
2017 J jnl
On Multiphase-Linear Ranking Functions.
CoRR
Amir M. Ben-Amram, Samir Genaim
2017 J jnl
Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings.
J. Autom. Reason.
Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
2016 J jnl
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.
Softw. Syst. Model.
Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
2016 J jnl
May-Happen-in-Parallel Analysis for Actor-Based Concurrency.
ACM Trans. Comput. Log.
Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
2015 J jnl
A practical comparator of cost functions and its applications.
Sci. Comput. Program.
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2015 — conf
Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions.
CAV (2)
Amir M. Ben-Amram, Samir Genaim
2015 J jnl
Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions.
CoRR
Amir M. Ben-Amram, Samir Genaim
2015 C conf
From non-zenoness verification to termination.
MEMOCODE
Pierre Ganty, Samir Genaim, Ratan Lal, Pavithra Prabhakar
2015 B conf
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization.
SAS
Elvira Albert, Samir Genaim, Pablo Gordillo
2015 — conf
May-Happen-in-Parallel Analysis with Condition Synchronization.
FOPARA
Elvira Albert, Antonio Flores-Montoya, Samir Genaim
2015 J jnl
Object-sensitive cost analysis for concurrent objects.
Softw. Test. Verification Reliab.
Elvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez
2015 — conf
Preparing HPC Applications for Exascale: Challenges and Recommendations.
NBiS
Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit
2015 J jnl
Preparing HPC Applications for Exascale: Challenges and Recommendations.
CoRR
Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit
2015 B conf
Resource Analysis: From Sequential to Concurrent and Distributed Programs.
FM
Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez
2014 J jnl
Conditional termination of loops over heap-allocated data.
Sci. Comput. Program.
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez
2014 J jnl
Inference of Field-Sensitive Reachability and Cyclicity.
ACM Trans. Comput. Log.
Damiano Zanardini, Samir Genaim
2014 J jnl
Ranking Functions for Linear-Constraint Loops.
J. ACM
Amir M. Ben-Amram, Samir Genaim
2014 A conf
SACO: Static Analyzer for Concurrent Objects.
TACAS
Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez
2013 C conf
A Transformational Approach to Resource Analysis with Typed-Norms.
LOPSTR
Elvira Albert, Samir Genaim, Raúl Gutiérrez
2013 J jnl
Corrigendum to "Reachability-based acyclicity analysis by abstract interpretation" [Theoretical Computer Science 474 (2013) 60-79].
Theor. Comput. Sci.
Samir Genaim, Damiano Zanardini
2013 J jnl
Heap space analysis for garbage collected languages.
Sci. Comput. Program.
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa
2013 J jnl
Inference of Field-Dependent Cyclicity.
CoRR
Damiano Zanardini, Samir Genaim
2013 B conf
May-Happen-in-Parallel Analysis for Priority-Based Scheduling.
LPAR
Elvira Albert, Samir Genaim, Enrique Martin-Martin
2013 — conf
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects.
FMOODS/FORTE
Antonio Flores-Montoya, Elvira Albert, Samir Genaim
2013 J jnl
On the Inference of Resource Usage Upper and Lower Bounds.
ACM Trans. Comput. Log.
Elvira Albert, Samir Genaim, Abu Naser Masud
2013 A* conf
On the linear ranking problem for integer linear-constraint loops.
POPL
Amir M. Ben-Amram, Samir Genaim
2013 B conf
Precise Cost Analysis via Local Reasoning.
ATVA
Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim
2013 J jnl
Proving Termination Starting from the End
CoRR
Pierre Ganty, Samir Genaim
2013 A* conf
Proving Termination Starting from the End.
CAV
Pierre Ganty, Samir Genaim
2013 J jnl
Reachability-based acyclicity analysis by Abstract Interpretation.
Theor. Comput. Sci.
Samir Genaim, Damiano Zanardini
2013 B conf
Termination and Cost Analysis of Loops with Concurrent Interleavings.
ATVA
Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
2012 — conf
Analysis of May-Happen-in-Parallel in Concurrent Objects.
FMOODS/FORTE
Elvira Albert, Antonio Flores-Montoya, Samir Genaim
2012 — conf
Automatic Inference of Bounds on Resource Consumption.
FMCO
Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini
2012 B conf
Automatic Inference of Resource Consumption Bounds.
LPAR
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla
2012 C conf
COSTABS: a cost and termination analyzer for ABS.
PEPM
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla
2012 J jnl
Cost analysis of object-oriented bytecode programs.
Theor. Comput. Sci.
Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini
2012 — conf
MayPar: a may-happen-in-parallel analyzer for concurrent objects.
SIGSOFT FSE
Elvira Albert, Antonio Flores-Montoya, Samir Genaim
2012 B conf
On the Limits of the Classical Approach to Cost Analysis.
SAS
Diego Esteban Alonso-Blas, Samir Genaim
2012 J jnl
On the Linear Ranking Problem for Integer Linear-Constraint Loops
CoRR
Amir M. Ben-Amram, Samir Genaim
2012 B conf
On the Termination of Integer Loops.
VMCAI
Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud
2012 J jnl
On the Termination of Integer Loops.
ACM Trans. Program. Lang. Syst.
Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud
2012 J jnl
Reachability-based Acyclicity Analysis by Abstract Interpretation
CoRR
Samir Genaim, Damiano Zanardini
2012 B conf
Verified Resource Guarantees for Heap Manipulating Programs.
FASE
Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez
2011 J jnl
Closed-Form Upper Bounds in Static Cost Analysis.
J. Autom. Reason.
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2011 B conf
Cost Analysis of Concurrent OO Programs.
APLAS
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla
2011 — conf
Handling Non-linear Operations in the Value Analysis of COSTA.
Bytecode@ETAPS
Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim
2011 B conf
More Precise Yet Widely Applicable Cost Analysis.
VMCAI
Elvira Albert, Samir Genaim, Abu Naser Masud
2011 B conf
Simulating Concurrent Behaviors with Worst-Case Cost Bounds.
FM
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2011 B conf
Task-level analysis for a language with async/finish parallelism.
LCTES
Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini
2011 C conf
Verified resource guarantees using COSTA and KeY.
PEPM
Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
2010 B conf
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis.
SAS
Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes
2010 C conf
Parametric inference of memory requirements for garbage collected languages.
ISMM
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa
2009 C conf
A declarative encoding of telecommunications feature subscription in SAT.
PPDP
Michael Codish, Samir Genaim, Peter J. Stuckey
2009 B conf
Asymptotic Resource Usage Bounds.
APLAS
Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla
2009 — conf
Comparing Cost Functions in Resource Analysis.
FOPARA
Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla
2009 B conf
Field-Sensitive Value Analysis by Field-Insensitive Analysis.
FM
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2009 C conf
Live heap space analysis for languages with garbage collection.
ISMM
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa
2009 — conf
Preface.
BYTECODE@ETAPS
Elvira Albert, Samir Genaim
2009 — ed.
Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009
BYTECODE@ETAPS
Elvira Albert, Samir Genaim
2009 — conf
Resource Usage Analysis and Its Application to Resource Certification.
FOSAD
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2009 — conf
Termination and Cost Analysis with COSTA and its User Interfaces.
PROLE
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini
2008 B conf
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis.
SAS
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2008 — conf
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis.
PROLE
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2008 J jnl
Inferring non-suspension conditions for logic programs with dynamic scheduling.
ACM Trans. Comput. Log.
Samir Genaim, Andy King
2008 Misc conf
Removing useless variables in cost analysis of Java bytecode.
SAC
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2008 — conf
Termination Analysis of Java Bytecode.
FMOODS
Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini
2007 — conf
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode.
FMCO
Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini
2007 A conf
Cost Analysis of Java Bytecode.
ESOP
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2007 — conf
Experiments in Cost Analysis of Java Bytecode.
Bytecode@ETAPS
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2007 C conf
Heap space analysis for java bytecode.
ISMM
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa
2007 J jnl
Termination analysis of logic programs through combination of type-based norms.
ACM Trans. Program. Lang. Syst.
Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof
2006 B conf
Detecting Determinacy in Prolog Programs.
ICLP
Andy King, Lunjin Lu, Samir Genaim
2005 J jnl
Inferring Termination Conditions for Logic Programs using Backwards Analysis.
Theory Pract. Log. Program.
Samir Genaim, Michael Codish
2005 B conf
Information Flow Analysis for Java Bytecode.
VMCAI
Samir Genaim, Fausto Spoto
2003 A conf
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling.
ESOP
Samir Genaim, Andy King
2003 J jnl
Inferring Termination Conditions for Logic Programs using Backwards Analysis
CoRR
Samir Genaim, Michael Codish
2003 — conf
Proving Termination One Loop at a Time.
WLPE
Michael Codish, Samir Genaim
2002 B conf
Combining Norms to Prove Termination.
VMCAI
Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon
2002 B conf
Reuse of Results in Termination Analysis of Typed Logic Programs.
SAS
Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof
2001 B conf
Higher-Precision Groundness Analysis.
ICLP
Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey
2001 B conf
Inferring Termination Conditions for Logic Programs Using Backwards Analysis.
LPAR
Samir Genaim, Michael Codish
2001 — conf
Inferring termination conditions for logic programs using backwards analysis.
APPIA-GULP-PRODE
Samir Genaim, Michael Codish
2001 A conf
The Def-inite Approach to Dependency Analysis.
ESOP
Samir Genaim, Michael Codish
2001 J jnl
Worst-case groundness analysis using definite boolean functions.
Theory Pract. Log. Program.
Samir Genaim, Jacob M. Howe, Michael Codish