Nuno P. Lopes

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 16

Top Topics

Verification Method

Integer Arithmetic

Future Directions

Top Venues

Publications

George Mitenkov, Igor Kabiljo, Zekun Li, Alexander Spiegelman, Satyanarayana Vusirikala, Zhuolun Xiang, Aleksandar Zlateski, Nuno P. Lopes, Rati Gelashvili
Deferred Objects to Enhance Smart Contract Programming with Optimistic Parallel Execution. CoRR (2024)
Hanjoon Kim, Younggeun Choi, Junyoung Park, Byeongwook Bae, Hyunmin Jeong, Sang Min Lee, Jeseung Yeon, Minho Kim, Changjae Park, Boncheol Gu, Changman Lee, Jaeick Bae, SungGyeong Bae, Yojung Cha, Wooyoung Choe, Jonguk Choi, Juho Ha, Hyuck Han, Namoh Hwang, Seokha Hwang, Kiseok Jang, Haechan Je, Hojin Jeon, Jaewoo Jeon, Hyunjun Jeong, Yeonsu Jung, Dongok Kang, Hyewon Kim, Minjae Kim, Muhwan Kim, Sewon Kim, Suhyung Kim, Won Kim, Yong Kim, Youngsik Kim, Younki Ku, Jeong Ki Lee, Juyun Lee, Kyungjae Lee, Seokho Lee, Minwoo Noh, Hyuntaek Oh, Gyunghee Park, Sanguk Park, Jimin Seo, Jungyoung Seong, June Paik, Nuno P. Lopes, Sungjoo Yoo
TCP: A Tensor Contraction Processor for AI Workloads Industrial Product. ISCA (2024)
Nuno P. Lopes
Torchy: A Tracing JIT Compiler for PyTorch. CC (2023)
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr
Alive2: bounded translation validation for LLVM. PLDI (2021)
Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes
An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation. CAV (2) (2021)
Nikolaj Bjørner, Maxwell Levatich, Nuno P. Lopes, Andrey Rybalchenko, Chandrasekar Vuppalapati
Supercharging Plant Configurations Using Z3. CPAIOR (2021)
Juneyoung Lee, Chung-Kil Hur, Nuno P. Lopes
AliveInLean: A Verified LLVM Peephole Optimization Verifier. CAV (2) (2019)
Nuno P. Lopes, Andrey Rybalchenko
Fast BGP Simulation of Large Datacenters. VMCAI (2019)
Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes
Reconciling high-level optimizations and low-level code in LLVM. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
Practical verification of peephole optimizations with Alive. Commun. ACM 61 (2) (2018)
Nuno P. Lopes, John Regehr
Future Directions for Optimizing Compilers. CoRR (2018)
Hongqiang Harry Liu, Yibo Zhu, Jitu Padhye, Jiaxin Cao, Sri Tallapragada, Nuno P. Lopes, Andrey Rybalchenko, Guohan Lu, Lihua Yuan
CrystalNet: Faithfully Emulating Large Production Networks. SOSP (2017)
Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes
Taming undefined behavior in LLVM. PLDI (2017)
Gordon D. Plotkin, Nikolaj Bjørner, Nuno P. Lopes, Andrey Rybalchenko, George Varghese
Scaling network verification using symmetry and surgery. POPL (2016)
Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
A design and verification methodology for secure isolated regions. PLDI (2016)
Nuno P. Lopes, José Monteiro
Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Nuno P. Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
Checking Beliefs in Dynamic Networks. NSDI (2015)
Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
Provably correct peephole optimizations with alive. PLDI (2015)
Nuno P. Lopes, José Monteiro
Weakest Precondition Synthesis for Compiler Optimizations. VMCAI (2014)
Nuno Santos, Nuno P. Lopes
Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines. HotDep (2014)
Nuno P. Lopes, José Monteiro
Automatic Equivalence Checking of UF+IA Programs. SPIN (2013)
Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution). TACAS (2012)
Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko
Synthesizing software verifiers from proof rules. PLDI (2012)
Nuno P. Lopes, Andrey Rybalchenko
Distributed and Predictable Software Model Checking. VMCAI (2011)
Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh
Applying Prolog to develop distributed systems. Theory Pract. Log. Program. 10 (4-6) (2010)
Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh
Applying Prolog to Develop Distributed Systems CoRR (2010)
Nuno P. Lopes, Levent Aksoy, Vasco M. Manquinho, José Monteiro
Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability CoRR (2010)
Nuno P. Lopes, Pedro U. Lima
openSDK: an open-source implementation of OPEN-R. AAMAS (3) (2008)
Filipe Cabecinhas, Nuno P. Lopes, Renato Crisostomo, Luís Veiga
Optimizing Binary Code Produced by Valgrind (Project Report on Virtual Execution Environments Course - AVExe) CoRR (2008)