Jacob Laurel

13 papers A* 2A 2B 2Journal 7
YearRankTypeTitle / Venue / Authors
2025 B conf
AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty.
SAS
Zixin Huang, Jacob Laurel, Saikat Dutta, Sasa Misailovic
2025 J jnl
Safety and Trust in Artificial Intelligence with Abstract Interpretation.
Found. Trends Program. Lang.
Gagandeep Singh, Jacob Laurel, Sasa Misailovic, Debangshu Banerjee, Avaljot Singh, Changming Xu, Shubham Ugare, Huan Zhang
2025 J jnl
Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE Solvers.
Proc. ACM Program. Lang.
Jacob Laurel, Ignacio Laguna, Jan Hückelheim
2023 J jnl
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs.
Int. J. Softw. Tools Technol. Transf.
Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
2023 A* conf
Provable Defense Against Geometric Transformations.
ICLR
Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh
2023 J jnl
Synthesizing Precise Static Analyzers for Automatic Differentiation.
Proc. ACM Program. Lang.
Jacob Laurel, Siyuan Brant Qian, Gagandeep Singh, Sasa Misailovic
2023 A conf
ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference.
DATE
Ashitabh Misra, Jacob Laurel, Sasa Misailovic
2022 J jnl
A dual number abstraction for static analysis of Clarke Jacobians.
Proc. ACM Program. Lang.
Jacob Laurel, Rem Yang, Gagandeep Singh, Sasa Misailovic
2022 J jnl
A general construction for abstract interpretation of higher-order automatic differentiation.
Proc. ACM Program. Lang.
Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic
2022 J jnl
Training Certifiably Robust Neural Networks Against Semantic Perturbations.
CoRR
Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh
2021 B conf
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs.
RV
Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
2021 A* conf
Statheros: Compiler for Efficient Low-Precision Probabilistic Programming.
DAC
Jacob Laurel, Rem Yang, Atharva Sehgal, Shubham Ugare, Sasa Misailovic
2020 A conf
Continualization of Probabilistic Programs With Correction.
ESOP
Jacob Laurel, Sasa Misailovic
redb/extractors/decompiler/bninja/opcode_type.py
← Index redb/extractors/decompiler/bninja/opcode_type.py python 
from enum import Enum


class OpcodeType(Enum):
    DATA_MOV = "DATA_MOV"
    STRING_MANIPULATION = "STRING_MANIPULATION"
    LOGICAL = "LOGICAL"
    ARITHMETIC = "ARITHMETIC"
    SYSTEM_CALL = "SYSTEM_CALL"
    FPU_ARITHMETIC = "FPU_ARITHMETIC"
    CPU_FEATURES = "CPU_FEATURES"
    CRYPTOGRAPHIC = "CRYPTOGRAPHIC"
    MISC = "MISC"