Kamu erişimi zorunlu olan makaleler - Nuno P. LopesDaha fazla bilgi edinin
Bir yerde sunuluyor: 6
Alive2: bounded translation validation for LLVM
NP Lopes, J Lee, CK Hur, Z Liu, J Regehr
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
Zorunlu olanlar: US Department of Defense
Taming Undefined Behavior in LLVM
J Lee, Y Kim, Y Song, CK Hur, S Das, D Majnemer, J Regehr, NP Lopes
PLDI, 2017
Zorunlu olanlar: US National Science Foundation
A design and verification methodology for secure isolated regions
R Sinha, M Costa, A Lal, NP Lopes, S Rajamani, SA Seshia, K Vaswani
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
Zorunlu olanlar: US National Science Foundation
Reconciling high-level optimizations and low-level code in LLVM
J Lee, CK Hur, R Jung, Z Liu, J Regehr, NP Lopes
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018
Zorunlu olanlar: US National Science Foundation, European Commission
Practical verification of peephole optimizations with Alive
NP Lopes, D Menendez, S Nagarakatte, J Regehr
Communications of the ACM 61 (2), 84-91, 2018
Zorunlu olanlar: US National Science Foundation
Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic
NP Lopes, J Monteiro
International Journal on Software Tools for Technology Transfer 18, 359-374, 2016
Zorunlu olanlar: Fundação para a Ciência e a Tecnologia, Portugal
Yayıncılık ve maddi kaynak bilgileri otomatik olarak bir bilgisayar programı tarafından belirlenmektedir