Nuno P. Lopes
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
on a stage with
all 20 in the filters
who talks about the same things
- Lucian Popescu2 talks
- José Fragoso Santos4 talks
- Juneyoung Lee5 talks
- John Regehr13 talks
- Stefan Mada2 talks
- Peter Sewell14 talks
| title | conference | date |
|---|---|---|
| Cpp2Rust: Automatic Translation of C++ to Safe Rust | PLDI 2026 | 2026-06-15 |
Cpp2Rust automatically translates arbitrary C++ into memory-safe Rust by representing locals as Rc<RefCell<T>>-backed values and pointers as weak PTR handles… | ||
| Towards Removing Undef Values from LLVM IR | PLDI 2026 | 2026-06-15 |
LLVM adds a new byte type and a freezing load that let uninitialized memory become poison instead of undef, fixing raw-copy and bitfield miscompilations… | ||
| Translation Validation for LLVM's AArch64 Backend | OOPSLA 2025 | 2025-10-16 |
arm-tv is a translation validator that lifts AArch64 assembly to LLVM MIR, extends Alive2 to handle mixed pointer/integer code and adds a flat memory model and… | ||
| Link-Time Optimization of Dynamic Casts in C++ Programs | PLDI 2025 | 2025-06-16 |
Link-time pass turns library dynamic_cast calls into short instruction sequences by laying out classes in preorder layout bounds checks, replacing linear DFS… | ||
| Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the(…) | PLDI 2025 | 2025-06-16 |
Demonstrates a large experiment using LLVM/Clang extensions to toggle 18 UB flags across 24 real applications (7M LOC) on Intel, AMD and ARM, measuring… | ||
| nothing matches | ||