Nuno P. Lopes

According to our database, Nuno P. Lopes authored at least 26 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Torchy: A Tracing JIT Compiler for PyTorch.

Nuno P. Lopes

Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023

2021

Alive2: bounded translation validation for LLVM.

Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Supercharging Plant Configurations Using Z3.

Nikolaj S. Bjørner, Maxwell Levatich, Nuno P. Lopes, Andrey Rybalchenko, Chandrasekar Vuppalapati

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021

An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation.

Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019

Fast BGP Simulation of Large Datacenters.

Nuno P. Lopes, Andrey Rybalchenko

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

AliveInLean: A Verified LLVM Peephole Optimization Verifier.

Juneyoung Lee, Chung-Kil Hur, Nuno P. Lopes

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Reconciling high-level optimizations and low-level code in LLVM.

Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes

Proc. ACM Program. Lang., 2018

Future Directions for Optimizing Compilers.

Nuno P. Lopes, John Regehr

CoRR, 2018

Practical verification of peephole optimizations with Alive.

Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr

Commun. ACM, 2018

2017

CrystalNet: Faithfully Emulating Large Production Networks.

Hongqiang Harry Liu, Yibo Zhu, Jitu Padhye, Jiaxin Cao, Sri Tallapragada, Nuno P. Lopes, Andrey Rybalchenko, Guohan Lu, Lihua Yuan

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Taming undefined behavior in LLVM.

Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic.

Nuno P. Lopes, José Monteiro

Int. J. Softw. Tools Technol. Transf., 2016

Scaling network verification using symmetry and surgery.

Gordon D. Plotkin, Nikolaj S. Bjørner, Nuno P. Lopes, Andrey Rybalchenko, George Varghese

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

A design and verification methodology for secure isolated regions.

Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Provably correct peephole optimizations with alive.

Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Checking Beliefs in Dynamic Networks.

Nuno P. Lopes, Nikolaj S. Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2014

Weakest Precondition Synthesis for Compiler Optimizations.

Nuno P. Lopes, José Monteiro

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines.

Nuno Santos, Nuno P. Lopes

Proceedings of the 10th Workshop on Hot Topics in System Dependability, 2014

2013

Automatic Equivalence Checking of UF+IA Programs.

Nuno P. Lopes, José Monteiro

Proceedings of the Model Checking Software - 20th International Symposium, 2013

2012

HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution).

Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Synthesizing software verifiers from proof rules.

Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

Distributed and Predictable Software Model Checking.

Nuno P. Lopes, Andrey Rybalchenko

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

2010

Applying Prolog to develop distributed systems.

Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh

Theory Pract. Log. Program., 2010

Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability

Nuno P. Lopes, Levent Aksoy, Vasco M. Manquinho, José Monteiro

CoRR, 2010

2008

Optimizing Binary Code Produced by Valgrind (Project Report on Virtual Execution Environments Course - AVExe)

Filipe Cabecinhas, Nuno P. Lopes, Renato Crisostomo, Luís Veiga

CoRR, 2008

openSDK: an open-source implementation of OPEN-R.

Nuno P. Lopes, Pedro U. Lima

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008