Publicaciones (135) Publicaciones en las que ha participado algún/a investigador/a

2023

  1. Circom: A Circuit Description Language for Building Zero-Knowledge Applications

    IEEE Transactions on Dependable and Secure Computing, Vol. 20, Núm. 6, pp. 4733-4751

  2. Formally Verified EVM Block-Optimizations

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Inferring Needless Write Memory Accesses on Ethereum Bytecode

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. Optimal dynamic partial order reduction with context-sensitive independence and observers

    Journal of Systems and Software, Vol. 202

  5. Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks

    IEEE Transactions on Dependable and Secure Computing, Vol. 20, Núm. 3, pp. 2256-2273

  6. Verification of the ROS NavFn planner using executable specification languages

    Journal of Logical and Algebraic Methods in Programming, Vol. 132

2022

  1. A Max-SMT Superoptimizer for EVM handling Memory and Storage

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Distilling Constraints in Zero-Knowledge Protocols

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Improving Database Learning with an Automatic Judge

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

  4. LearnSQL: un juez para el aprendizaje de las bases de datos

    Jornada «Aprendizaje Eficaz con TIC en la UCM» (Universidad Complutense de Madrid), pp. 277-288

  5. Super-optimization of Smart Contracts

    ACM Transactions on Software Engineering and Methodology, Vol. 31, Núm. 4

  6. Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  7. When COSTA Met KeY: Verified Cost Bounds

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 19-37

2021

  1. A unified framework for declarative debugging and testing

    Information and Software Technology, Vol. 129

  2. Actor-based model checking for Software-Defined Networks

    Journal of Logical and Algebraic Methods in Programming, Vol. 118

  3. Deadlock-guided testing

    IEEE Access, Vol. 9, pp. 46033-46048

  4. Don't run on fumes—Parametric gas bounds for smart contracts

    Journal of Systems and Software, Vol. 176

  5. Lower-Bound Synthesis Using Loop Specialization and Max-SMT

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  6. Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis

    IEEE Access, Vol. 9, pp. 25495-25507

  7. Termination analysis of programs with multiphase control-flow

    Electronic Proceedings in Theoretical Computer Science, EPTCS