researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

samirgenaim

Statistics

Publications: 0
Edited: 0
Credit: 0

Aliases

Genaim, Samir
Genaim, S.
Samir Genaim
S. Genaim
Genaim

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Samir Genaim's Profile

Publications

Unidentified Publications

Publications with a 'Samir Genaim' as author, editor, or advisor:

Formally Verified EVM Block-OptimizationsElvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin. cav 2023: 176-189 [doi]
Corrigendum to "Reachability-based acyclicity analysis by abstract interpretation" [Theoretical Computer Science 474 (2013) 60-79]Samir Genaim, Damiano Zanardini. TCS, 503:115, 2013. [doi]
Comparing Cost Functions in Resource AnalysisElvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla. FOPARA 2010: 1-17 [doi]
Task-level analysis for a language with async/finish parallelismElvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini. lctrts 2011: 21-30 [doi]
On the linear ranking problem for integer linear-constraint loopsAmir M. Ben-Amram, Samir Genaim. POPL 2013: 51-62 [doi]
Cost Analysis of Concurrent OO ProgramsElvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla. aplas 2011: 238-254 [doi]
Cost Relation Systems: A Language-Independent Target Language for Cost AnalysisElvira Albert, Puri Arenas, Samir Genaim, GermÃ¡n Puebla. ENTCS, 248:31-46, 2009. [doi]
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java BytecodeElvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini. FMCO 2008: 113-132 [doi]
Simulating Concurrent Behaviors with Worst-Case Cost BoundsElvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa. FM 2011: 353-368 [doi]
On Multiphase-Linear Ranking FunctionsAmir M. Ben-Amram, Samir Genaim. cav 2017: 601-620 [doi]
Multiphase-Linear Ranking Functions and Their Relation to Recurrent SetsAmir M. Ben-Amram, Jesús J. Doménech, Samir Genaim. SAS 2019: 459-480 [doi]
Inferring termination conditions for logic programs using backwards analysisSamir Genaim, Michael Codish. agp 2001: 229-243 [doi]
Parametric inference of memory requirements for garbage collected languagesElvira Albert, Samir Genaim, Miguel Gómez-Zamalloa. iwmm 2010: 121-130 [doi]
Cost analysis of object-oriented bytecode programsElvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini. TCS, 413(1):142-159, 2012. [doi]
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural SynchronizationElvira Albert, Samir Genaim, Pablo Gordillo. SAS 2015: 72-89 [doi]
From non-zenoness verification to terminationPierre Ganty, Samir Genaim, Ratan Lal, Pavithra Prabhakar. memocode 2015: 228-237 [doi]
A declarative encoding of telecommunications feature subscription in SATMichael Codish, Samir Genaim, Peter J. Stuckey. ppdp 2009: 255-266 [doi]
MayPar: a may-happen-in-parallel analyzer for concurrent objectsElvira Albert, Antonio Flores-Montoya, Samir Genaim. FSE 2012: 14 [doi]
Heap space analysis for java bytecodeElvira Albert, Samir Genaim, Miguel Gómez-Zamalloa. iwmm 2007: 105-116 [doi]
Proving Termination Starting from the EndPierre Ganty, Samir Genaim. cav 2013: 397-412 [doi]
SACO: Static Analyzer for Concurrent ObjectsElvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez. TACAS 2014: 562-567 [doi]
Proving Termination One Loop at a TimeMichael Codish, Samir Genaim. lpe 2003: 48-59
Detecting Determinacy in Prolog ProgramsAndy King, Lunjin Lu, Samir Genaim. ICLP 2006: 132-147 [doi]
Closed-Form Upper Bounds in Static Cost AnalysisElvira Albert, Puri Arenas, Samir Genaim, Germán Puebla. JAR, 46(2):161-203, 2011. [doi]
Lower-Bound Synthesis Using Loop Specialization and Max-SMTElvira Albert, Samir Genaim, Enrique Martin-Martin, Alicia Merayo, Albert Rubio. cav 2021: 863-886 [doi]
Towards Formally Verified Smart Contracts CompilationElvira Albert, Samir Genaim, Enrique Martin-Martin. FM 2026: 255-274 [doi]
Live heap space analysis for languages with garbage collectionElvira Albert, Samir Genaim, Miguel Gómez-Zamalloa. iwmm 2009: 129-138 [doi]
Handling Non-linear Operations in the Value Analysis of COSTADiego Esteban Alonso-Blas, Puri Arenas, Samir Genaim. ENTCS, 279(1):3-17, 2011. [doi]
Asymptotic Resource Usage BoundsElvira Albert, Diego Alonso, Puri Arenas, Samir Genaim, German Puebla. aplas 2009: 294-310 [doi]
A Transformational Approach to Resource Analysis with Typed-norms InferenceElvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin. tplp, 20(3):310-357, 2020. [doi]
A practical comparator of cost functions and its applicationsElvira Albert, Puri Arenas, Samir Genaim, Germán Puebla. SCP, 111:483-504, 2015. [doi]
Conditional termination of loops over heap-allocated dataElvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez. SCP, 92:2-24, 2014. [doi]
Resource Usage Analysis and Its Application to Resource CertificationElvira Albert, Puri Arenas, Samir Genaim, GermÃ¡n Puebla, Damiano Zanardini. fosad 2009: 258-288 [doi]
Goal-Independent Suspension Analysis for Logic Programs with Dynamic SchedulingSamir Genaim, Andy King. ESOP 2003: 84-98 [doi]
Neural-guided superoptimization in ethereumMatheus Araújo Aguiar, Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Daniel Kirchner, Albert Rubio. INFSOF, 186:107800, 2025. [doi]
Verified resource guarantees using COSTA and KeYElvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez. PEPM 2011: 73-76 [doi]
On the Termination of Integer LoopsAmir M. Ben-Amram, Samir Genaim, Abu Naser Masud. vmcai 2012: 72-87 [doi]
More Precise Yet Widely Applicable Cost AnalysisElvira Albert, Samir Genaim, Abu Naser Masud. vmcai 2011: 38-53 [doi]
Information Flow Analysis for Java BytecodeSamir Genaim, Fausto Spoto. vmcai 2005: 346-362 [doi]
Reachability-based acyclicity analysis by Abstract InterpretationSamir Genaim, Damiano Zanardini. TCS, 474:60-79, 2013. [doi]
Resource Analysis: From Sequential to Concurrent and Distributed ProgramsElvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez. FM 2015: 3-17 [doi]
The Def-inite Approach to Dependency AnalysisSamir Genaim, Michael Codish. ESOP 2001: 417-432 [doi]
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent ObjectsAntonio Flores-Montoya, Elvira Albert, Samir Genaim. forte 2013: 273-288 [doi]
Combining Norms to Prove TerminationSamir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon. vmcai 2002: 126-138 [doi]
On the Limits of the Classical Approach to Cost AnalysisDiego Esteban Alonso-Blas, Samir Genaim. SAS 2012: 405-421 [doi]
Verified Resource Guarantees for Heap Manipulating ProgramsElvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez. FASE 2012: 130-145 [doi]
When COSTA Met KeY: Verified Cost BoundsElvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez. BIRTHDAY 2022: 19-37 [doi]
Field-Sensitive Value Analysis by Field-Insensitive AnalysisElvira Albert, Puri Arenas, Samir Genaim, GermÃ¡n Puebla. FM 2009: 370-386 [doi]
Heap space analysis for garbage collected languagesElvira Albert, Samir Genaim, Miguel Gómez-Zamalloa. SCP, 78(9):1427-1448, 2013. [doi]
Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009Elvira Albert, Samir Genaim, editors, Volume 253 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009. [doi]
Removing useless variables in cost analysis of Java bytecodeElvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini. SAC 2008: 368-375 [doi]
May-Happen-in-Parallel Analysis for Priority-Based SchedulingElvira Albert, Samir Genaim, Enrique Martin-Martin. lpar 2013: 18-34 [doi]
Higher-Precision Groundness AnalysisMichael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey. ICLP 2001: 135-149 [doi]
Complexity of Bradley-Manna-Sipma Lexicographic Ranking FunctionsAmir M. Ben-Amram, Samir Genaim. cav 2015: 304-321 [doi]
May-Happen-in-Parallel Analysis with Returned FuturesElvira Albert, Samir Genaim, Pablo Gordillo. ATVA 2017: 42-58 [doi]
Inference of Field-Sensitive Reachability and CyclicityDamiano Zanardini, Samir Genaim. tocl, 15(4):33, 2014. [doi]
Inferring non-suspension conditions for logic programs with dynamic schedulingSamir Genaim, Andy King. tocl, 9(3), 2008. [doi]
Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent InterleavingsElvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin. JAR, 59(1):47-85, 2017. [doi]
Reuse of Results in Termination Analysis of Typed Logic ProgramsMaurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof. SAS 2002: 477-492 [doi]
Termination Analysis of Java BytecodeElvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini. fmoods 2008: 2-18 [doi]
COSTABS: a cost and termination analyzer for ABSElvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla. PEPM 2012: 151-154 [doi]
Inferring Termination Conditions for Logic Programs Using Backwards AnalysisSamir Genaim, Michael Codish. lpar 2001: 685-694 [doi]
Inferring Termination Conditions for Logic Programs using Backwards AnalysisSamir Genaim, Michael Codish. tplp, 5(1-2):75-91, 2005. [doi]
Experiments in Cost Analysis of Java BytecodeElvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini. ENTCS, 190(1):67-83, 2007. [doi]
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeYElvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez. SoSyM, 15(4):987-1012, 2016. [doi]
PrefaceElvira Albert, Samir Genaim. ENTCS, 253(5):1-2, 2009. [doi]
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype ToolsJesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte. FASE 2017: 379-383 [doi]
Automatic Inference of Bounds on Resource ConsumptionElvira 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. FMCO 2013: 119-144 [doi]
Worst-case groundness analysis using definite boolean functionsSamir Genaim, Jacob M. Howe, Michael Codish. tplp, 1(5):611-615, 2001.
Precise Cost Analysis via Local ReasoningDiego Esteban Alonso-Blas, Puri Arenas, Samir Genaim. ATVA 2013: 319-333 [doi]
Ranking Functions for Linear-Constraint LoopsAmir M. Ben-Amram, Samir Genaim. JACM, 61(4):26, 2014. [doi]
Securely Optimized (Ethereum) Smart Contracts Using Formal MethodsElvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Enrique Martin-Martin, Albert Rubio. SEFM 2026: 3-11 [doi]
Analysis of May-Happen-in-Parallel in Concurrent ObjectsElvira Albert, Antonio Flores-Montoya, Samir Genaim. forte 2012: 35-51 [doi]
On the Inference of Resource Usage Upper and Lower BoundsElvira Albert, Samir Genaim, Abu Naser Masud. tocl, 14(3):22, 2013. [doi]
May-Happen-in-Parallel Analysis with Condition SynchronizationElvira Albert, Antonio Flores-Montoya, Samir Genaim. FOPARA 2016: 1-19 [doi]
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost AnalysisJesús J. Doménech, John P. Gallagher, Samir Genaim. tplp, 19(5-6):990-1005, 2019. [doi]
A Transformational Approach to Resource Analysis with Typed-NormsElvira Albert, Samir Genaim, Raúl Gutiérrez. LOPSTR 2014: 38-53 [doi]
Termination and Cost Analysis with COSTA and its User InterfacesElvira Albert, Puri Arenas, Samir Genaim, Miguel GÃ³mez-Zamalloa, German Puebla, D. RamÃrez, G. RomÃ¡n, Damiano Zanardini. ENTCS, 258(1):109-121, 2009. [doi]
Termination analysis of logic programs through combination of type-based normsMaurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof. TOPLAS, 29(2):10, 2007. [doi]
Cost Analysis of Java BytecodeElvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini. ESOP 2007: 157-172 [doi]
Object-sensitive cost analysis for concurrent objectsElvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez. stvr, 25(3):218-271, 2015. [doi]
Automatic Inference of Upper Bounds for Recurrence Relations in Cost AnalysisElvira Albert, Puri Arenas, Samir Genaim, Germán Puebla. SAS 2008: 221-237 [doi]
Automatic Inference of Resource Consumption BoundsElvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla. lpar 2012: 1-11 [doi]
Termination and Cost Analysis of Loops with Concurrent InterleavingsElvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin. ATVA 2013: 349-364 [doi]
On the Termination of Integer LoopsAmir M. Ben-Amram, Samir Genaim, Abu Naser Masud. TOPLAS, 34(4):16, 2012. [doi]
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive AnalysisElvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes. SAS 2010: 100-116 [doi]
Preparing HPC Applications for Exascale: Challenges and RecommendationsErika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit. nbis 2015: 401-406 [doi]
Secure Optimizations on Ethereum Bytecode Jump-Free SequencesElvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin. tdsc, 22(4):3676-3691, July - August 2025. [doi]
May-Happen-in-Parallel Analysis for Actor-Based ConcurrencyElvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin. tocl, 17(2):11, 2016. [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL