Samir Genaim

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 18

Top Topics

Abstract Interpretation

Ranking Functions

Partial Evaluation

Top Venues

ACM Trans. Comput. Log.

Publications

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