Jorge A. Navas -

Registered user since Tue 23 Apr 2019

Name:Jorge A. Navas

Country:United States

Affiliation:Certora, inc.

Personal website:https://jorgenavas.github.io/

GitHub:https://github.com/caballa

Research interests:Static Analysis, Software Verification, Abstract Interpretation, Model Checking

Contributions

SAS 2023	PC Member in Program Committee within the SAS 2023-track
VMCAI 2023	Committee Member in Program Committee within the VMCAI 2023-track
SPLASH 2022	Author of Compositional Verification of Smart Contracts Through Communication Abstraction within the COVID Time Papers In Person-track
SAS 2022	Committee Member in Program Committee within the SAS-track Author of Efficient Modular SMT-Based Model Checking of Pointer Programs within the SAS-track
SOAP 2022	Certora, inc. in Program Committee within the SOAP 2022-track
PLDI 2022	Committee Member in PLDI within the PLDI-track
VMCAI 2022	PC Member in Program Committee within the VMCAI 2022-track Author of Verifying Solidity Smart Contracts Via Communication Abstraction in SmartACE within the VMCAI 2022-track
SAS 2021	Author of Disjunctive Interval Analysis within the SAS-track Author of Compositional Verification of Smart Contracts Through Communication Abstraction within the SAS-track
SOAP 2021	Committee Member in Program Committee within the SOAP 2021-track
VMCAI 2021	Committee Member in Program Committee within the VMCAI-track
APLAS 2019	Author of Dissecting Widening: Separating Termination from Information within the Research Papers-track
PLDI 2019	Author of Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions within the PLDI Research Papers-track
HCVS 2019	Committee Member in Program Committee within the HCVS-track
VMCAI	Author of An Abstract Domain of Uninterpreted Functions within the VMCAI-track