Nuno P. Lopes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
11
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICML | Pfeife: Automatic Pipeline Parallelism for PyTorch. | Ho Young Jhoo, Chung-Kil Hur, Nuno P. Lopes |
| 2024 | ISCA | TCP: A Tensor Contraction Processor for AI Workloads Industrial Product. | 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 | CC | Torchy: A Tracing JIT Compiler for PyTorch. | Nuno P. Lopes |
| 2021 | CAV | An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation. | Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes |
| 2021 | CPAIOR | Supercharging Plant Configurations Using Z3. | Nikolaj S. Bjrner, Maxwell Levatich, Nuno P. Lopes, Andrey Rybalchenko, Chandrasekar Vuppalapati |
| 2021 | PLDI | Alive2: bounded translation validation for LLVM. | Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr |
| 2019 | CAV | AliveInLean: A Verified LLVM Peephole Optimization Verifier. | Juneyoung Lee, Chung-Kil Hur, Nuno P. Lopes |
| 2019 | VMCAI | Fast BGP Simulation of Large Datacenters. | Nuno P. Lopes, Andrey Rybalchenko |
| 2017 | PLDI | Taming undefined behavior in LLVM. | Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes |
| 2017 | SOSP | 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 |
| 2016 | PLDI | 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 |
| 2016 | POPL | Scaling network verification using symmetry and surgery. | Gordon D. Plotkin, Nikolaj S. Bjrner, Nuno P. Lopes, Andrey Rybalchenko, George Varghese |
| 2015 | NSDI | Checking Beliefs in Dynamic Networks. | Nuno P. Lopes, Nikolaj S. Bjrner, Patrice Godefroid, Karthick Jayaraman, George Varghese |
| 2015 | PLDI | Provably correct peephole optimizations with alive. | Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr |
| 2014 | VMCAI | Weakest Precondition Synthesis for Compiler Optimizations. | Nuno P. Lopes, Jos Monteiro |
| 2012 | PLDI | Synthesizing software verifiers from proof rules. | Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko |
| 2012 | TACAS | HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution). | Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko |
| 2011 | VMCAI | Distributed and Predictable Software Model Checking. | Nuno P. Lopes, Andrey Rybalchenko |