Nuno P. Lopes

34 papers A* 9A 1B 5Misc 1Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact.
Proc. ACM Program. Lang.
Lucian Popescu, Nuno P. Lopes
2025 J jnl
FuriosaAI RNGD: A Tensor Contraction Processor for Sustainable AI Computing.
IEEE Micro
Younggeun Choi, Junyoung Park, Sang Min Lee, Jeseung Yeon, Minho Kim, Changjae Park, Byeongwook Bae, Hyunmin Jeong, Hanjoon Kim, June Paik, Nuno P. Lopes, Sungjoo Yoo
2025 J jnl
Link-Time Optimization of Dynamic Casts in C++ Programs.
Proc. ACM Program. Lang.
Xufan Lu, Nuno P. Lopes
2025 A* conf
Pfeife: Automatic Pipeline Parallelism for PyTorch.
ICML
Ho Young Jhoo, Chung-Kil Hur, Nuno P. Lopes
2025 J jnl
Translation Validation for LLVM's AArch64 Backend.
Proc. ACM Program. Lang.
Ryan Berger, Mitch Briles, Nader Boushehrinejad Moradi, Nicholas Coughlin, Kait Lam, Nuno P. Lopes, Stefan Mada, Tanmay Tirpankar, John Regehr
2024 J jnl
Deferred Objects to Enhance Smart Contract Programming with Optimistic Parallel Execution.
CoRR
George Mitenkov, Igor Kabiljo, Zekun Li, Alexander Spiegelman, Satyanarayana Vusirikala, Zhuolun Xiang, Aleksandar Zlateski, Nuno P. Lopes, Rati Gelashvili
2024 A* conf
TCP: A Tensor Contraction Processor for AI Workloads Industrial Product.
ISCA
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
2023 B conf
Torchy: A Tracing JIT Compiler for PyTorch.
CC
Nuno P. Lopes
2021 A* conf
Alive2: bounded translation validation for LLVM.
PLDI
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr
2021 — conf
An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation.
CAV (2)
Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes
2021 B conf
Supercharging Plant Configurations Using Z3.
CPAIOR
Nikolaj S. Bjørner, Maxwell Levatich, Nuno P. Lopes, Andrey Rybalchenko, Chandrasekar Vuppalapati
2019 — conf
AliveInLean: A Verified LLVM Peephole Optimization Verifier.
CAV (2)
Juneyoung Lee, Chung-Kil Hur, Nuno P. Lopes
2019 B conf
Fast BGP Simulation of Large Datacenters.
VMCAI
Nuno P. Lopes, Andrey Rybalchenko
2018 J jnl
Future Directions for Optimizing Compilers.
CoRR
Nuno P. Lopes, John Regehr
2018 J jnl
Practical verification of peephole optimizations with Alive.
Commun. ACM
Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
2018 J jnl
Reconciling high-level optimizations and low-level code in LLVM.
Proc. ACM Program. Lang.
Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes
2017 A* conf
CrystalNet: Faithfully Emulating Large Production Networks.
SOSP
Hongqiang Harry Liu, Yibo Zhu, Jitu Padhye, Jiaxin Cao, Sri Tallapragada, Nuno P. Lopes, Andrey Rybalchenko, Guohan Lu, Lihua Yuan
2017 A* conf
Taming undefined behavior in LLVM.
PLDI
Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes
2016 A* conf
A design and verification methodology for secure isolated regions.
PLDI
Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
2016 J jnl
Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic.
Int. J. Softw. Tools Technol. Transf.
Nuno P. Lopes, José Monteiro
2016 A* conf
Scaling network verification using symmetry and surgery.
POPL
Gordon D. Plotkin, Nikolaj S. Bjørner, Nuno P. Lopes, Andrey Rybalchenko, George Varghese
2015 Misc conf
Checking Beliefs in Dynamic Networks.
NSDI
Nuno P. Lopes, Nikolaj S. Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
2015 A* conf
Provably correct peephole optimizations with alive.
PLDI
Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
2014 — conf
Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines.
HotDep
Nuno Santos, Nuno P. Lopes
2014 B conf
Weakest Precondition Synthesis for Compiler Optimizations.
VMCAI
Nuno P. Lopes, José Monteiro
2013 — conf
Automatic Equivalence Checking of UF+IA Programs.
SPIN
Nuno P. Lopes, José Monteiro
2012 A conf
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution).
TACAS
Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko
2012 A* conf
Synthesizing software verifiers from proof rules.
PLDI
Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko
2011 B conf
Distributed and Predictable Software Model Checking.
VMCAI
Nuno P. Lopes, Andrey Rybalchenko
2010 J jnl
Applying Prolog to Develop Distributed Systems
CoRR
Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh
2010 J jnl
Applying Prolog to develop distributed systems.
Theory Pract. Log. Program.
Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh
2010 J jnl
Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability
CoRR
Nuno P. Lopes, Levent Aksoy, Vasco Manquinho, José Monteiro
2008 J jnl
Optimizing Binary Code Produced by Valgrind (Project Report on Virtual Execution Environments Course - AVExe)
CoRR
Filipe Cabecinhas, Nuno P. Lopes, Renato Crisostomo, Luís Veiga
2008 — conf
openSDK: an open-source implementation of OPEN-R.
AAMAS (3)
Nuno P. Lopes, Pedro U. Lima