Samir Genaim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
45
Venues
19
Active years
2001–2026
Best venue rank
A*
Where they publish
Papers
45 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Towards Formally Verified Smart Contracts Compilation. | Elvira Albert, Samir Genaim, Enrique Martin-Martin |
| 2025 | SEFM | Securely Optimized (Ethereum) Smart Contracts Using Formal Methods. | Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernndez-Cerezo, Enrique Martin-Martin, Albert Rubio |
| 2023 | CAV | Formally Verified EVM Block-Optimizations. | Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin |
| 2021 | CAV | Lower-Bound Synthesis Using Loop Specialization and Max-SMT. | Elvira Albert, Samir Genaim, Enrique Martin-Martin, Alicia Merayo, Albert Rubio |
| 2019 | SAS | Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets. | Amir M. Ben-Amram, Jess J. Domnech, Samir Genaim |
| 2017 | ATVA | May-Happen-in-Parallel Analysis with Returned Futures. | Elvira Albert, Samir Genaim, Pablo Gordillo |
| 2017 | CAV | On Multiphase-Linear Ranking Functions. | Amir M. Ben-Amram, Samir Genaim |
| 2017 | FASE | EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. | Jess Domnech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte |
| 2015 | CAV | Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions. | Amir M. Ben-Amram, Samir Genaim |
| 2015 | FM | Resource Analysis: From Sequential to Concurrent and Distributed Programs. | Elvira Albert, Puri Arenas, Jess Correas, Samir Genaim, Miguel Gmez-Zamalloa, Enrique Martin-Martin, Germn Puebla, Guillermo Romn-Dez |
| 2015 | MEMOCODE | From non-zenoness verification to termination. | Pierre Ganty, Samir Genaim, Ratan Lal, Pavithra Prabhakar |
| 2015 | SAS | May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. | Elvira Albert, Samir Genaim, Pablo Gordillo |
| 2014 | TACAS | SACO: Static Analyzer for Concurrent Objects. | Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gmez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Romn-Dez |
| 2013 | ATVA | Termination and Cost Analysis of Loops with Concurrent Interleavings. | Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin |
| 2013 | ATVA | Precise Cost Analysis via Local Reasoning. | Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim |
| 2013 | CAV | Proving Termination Starting from the End. | Pierre Ganty, Samir Genaim |
| 2013 | FORTE | May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects. | Antonio Flores-Montoya, Elvira Albert, Samir Genaim |
| 2013 | LOPSTR | A Transformational Approach to Resource Analysis with Typed-Norms. | Elvira Albert, Samir Genaim, Ral Gutirrez |
| 2013 | LPAR | May-Happen-in-Parallel Analysis for Priority-Based Scheduling. | Elvira Albert, Samir Genaim, Enrique Martin-Martin |
| 2013 | POPL | On the linear ranking problem for integer linear-constraint loops. | Amir M. Ben-Amram, Samir Genaim |
| 2012 | FASE | Verified Resource Guarantees for Heap Manipulating Programs. | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hhnle, Guillermo Romn-Dez |
| 2012 | FORTE | Analysis of May-Happen-in-Parallel in Concurrent Objects. | Elvira Albert, Antonio Flores-Montoya, Samir Genaim |
| 2012 | LPAR | Automatic Inference of Resource Consumption Bounds. | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, Germn Puebla |
| 2012 | PEPM | COSTABS: a cost and termination analyzer for ABS. | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, Germn Puebla |
| 2012 | SAS | On the Limits of the Classical Approach to Cost Analysis. | Diego Esteban Alonso-Blas, Samir Genaim |
| 2012 | VMCAI | On the Termination of Integer Loops. | Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud |
| 2011 | APLAS | Cost Analysis of Concurrent OO Programs. | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, German Puebla |
| 2011 | FM | Simulating Concurrent Behaviors with Worst-Case Cost Bounds. | Elvira Albert, Samir Genaim, Miguel Gmez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2011 | PEPM | Verified resource guarantees using COSTA and KeY. | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hhnle, Germn Puebla, Guillermo Romn-Dez |
| 2011 | VMCAI | More Precise Yet Widely Applicable Cost Analysis. | Elvira Albert, Samir Genaim, Abu Naser Masud |
| 2010 | SAS | From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramrez-Deantes |
| 2009 | APLAS | Asymptotic Resource Usage Bounds. | Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla |
| 2009 | FM | Field-Sensitive Value Analysis by Field-Insensitive Analysis. | Elvira Albert, Puri Arenas, Samir Genaim, Germn Puebla |
| 2009 | PPDP | A declarative encoding of telecommunications feature subscription in SAT. | Michael Codish, Samir Genaim, Peter J. Stuckey |
| 2008 | SAC | Removing useless variables in cost analysis of Java bytecode. | Elvira Albert, Puri Arenas, Samir Genaim, Germn Puebla, Damiano Zanardini |
| 2008 | SAS | Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. | Elvira Albert, Puri Arenas, Samir Genaim, Germn Puebla |
| 2007 | ESOP | Cost Analysis of Java Bytecode. | Elvira Albert, Puri Arenas, Samir Genaim, Germn Puebla, Damiano Zanardini |
| 2006 | ICLP | Detecting Determinacy in Prolog Programs. | Andy King, Lunjin Lu, Samir Genaim |
| 2005 | VMCAI | Information Flow Analysis for Java Bytecode. | Samir Genaim, Fausto Spoto |
| 2003 | ESOP | Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. | Samir Genaim, Andy King |
| 2002 | SAS | Reuse of Results in Termination Analysis of Typed Logic Programs. | Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof |
| 2002 | VMCAI | Combining Norms to Prove Termination. | Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon |
| 2001 | ESOP | The Def-inite Approach to Dependency Analysis. | Samir Genaim, Michael Codish |
| 2001 | ICLP | Higher-Precision Groundness Analysis. | Michael Codish, Samir Genaim, Harald Sndergaard, Peter J. Stuckey |
| 2001 | LPAR | Inferring Termination Conditions for Logic Programs Using Backwards Analysis. | Samir Genaim, Michael Codish |