Total Publications: 12

  • Torchy: A Tracing JIT Compiler for PyTorch
    Nuno P. Lopes,
    ACM SIGPLAN 2023 International Conference on Compiler Construction (CC), February 2023
  • Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines
    Nuno Santos, Nuno P. Lopes,
    Workshop on Hot Topics in System Dependability (HotDep), October 2014
  • Weakest Precondition Synthesis for Compiler Optimizations
    Nuno P. Lopes, José Monteiro,
    15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), January 2014
  • Automatic Equivalence Checking of UF+IA Programs
    Nuno P. Lopes, José Monteiro,
    International SPIN Symposium on Model Checking of Software - SPIN13, July 2013
  • Synthesizing Software Verifiers from Proof Rules
    S. Grebenshchikov, Nuno P. Lopes, C. Popeea, A. Rybalchenko,
    ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2012
  • HSF(C): A Software Verifier based on Horn Clauses
    S. Grebenshchikov, A. Gupta, Nuno P. Lopes, C. Popeea, A. Rybalchenko,
    18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 2012
  • Distributed and Predictable Software Model Checking
    Nuno P. Lopes, A. Rybalchenko,
    12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), January 2011