Elvira Albert

Identifiers

• name variant Elvira Albert 0.60 · backfill

Papers (10)

1. SAFEVM: A Safety Verifier for Ethereum Smart Contracts cs.PL · 2019 · author #1
2. EthIR: A Framework for High-Level Analysis of Ethereum Bytecode cs.PL · 2018 · author #1
3. On the Generation of Initial Contexts for Effective Deadlock Detection cs.PL · 2017 · author #1
4. A Formal, Resource Consumption-Preserving Translation of Actors to Haskell cs.PL · 2016 · author #1
5. Certificate size reduction in Abstraction-Carrying Code cs.PL · 2010 · author #1
6. Test Case Generation for Object-Oriented Imperative Languages in CLP cs.PL · 2010 · author #2
7. Verification of Java Bytecode using Analysis and Transformation of Logic Programs cs.PL · 2010 · author #1
8. On the Generation of Test Data for Prolog by Partial Evaluation cs.PL · 2009 · author #2
9. Some Issues on Incremental Abstraction-Carrying Code cs.PL · 2007 · author #1
10. A Generic Framework for the Analysis and Specialization of Logic Programs cs.PL · 2005 · author #2

Mentions

• 1010.4533 #1 · backfill · confidence 0.70 Elvira Albert
• 1007.5195 #2 · backfill · confidence 0.70 Elvira Albert
• 1007.3250 #1 · backfill · confidence 0.70 Elvira Albert
• 0903.2199 #2 · backfill · confidence 0.70 Elvira Albert

Frequent Coauthors

• German Puebla 4 shared papers
• Miguel G\'omez-Zamalloa 3 shared papers
• Albert Rubio 2 shared papers
• Germ\'an Puebla 2 shared papers
• Manuel Hermenegildo 2 shared papers
• Pablo Gordillo 2 shared papers
• Puri Arenas 2 shared papers
• Benjamin Livshits 1 shared papers
• Enrique Martin-Martin 1 shared papers
• Frank de Boer 1 shared papers
• Guillermo Rom\'an-D\'iez 1 shared papers
• Ilya Sergey 1 shared papers
• Jes\'us Correas 1 shared papers
• Laurent Hubert 1 shared papers
• Miguel Gomez-Zamalloa 1 shared papers
• Miguel Isabel 1 shared papers
• Nikolaos Bezirgiannis 1 shared papers