I agree that this site is using cookies. You can find further informations here.
X
Lopes, Nuno P.
2751  results:
Search for persons X
?
1

TCP: A Tensor Contraction Processor for AI Workloads Indust..:

, In: 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA),
Kim, Hanjoon ; Choi, Younggeun ; Park, Junyoung... - p. 890-902 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Torchy: A Tracing JIT Compiler for PyTorch:

, In: Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction,
Lopes, Nuno P. - p. 98-109 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

An SMT Encoding of LLVM's Memory Model for Bounded Translat..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Lee, Juneyoung ; Kim, Dongjoo ; Hur, Chung-Kil. - p. 752-776 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Alive2: bounded translation validation for LLVM:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Lopes, Nuno P. ; Lee, Juneyoung ; Hur, Chung-Kil.. - p. 65-79 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Supercharging Plant Configurations Using Z3:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,
Bjørner, Nikolaj ; Levatich, Maxwell ; Lopes, Nuno P... - p. 1-25 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Fast BGP Simulation of Large Datacenters:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Lopes, Nuno P. ; Rybalchenko, Andrey - p. 386-408 , 2019
Link: https://doi.org/10.1007/..
 
?
7

AliveInLean: A Verified LLVM Peephole Optimization Verifier:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Lee, Juneyoung ; Hur, Chung-Kil ; Lopes, Nuno P. - p. 445-455 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Reconciling high-level optimizations and low-level code in ..:

Lee, Juneyoung ; Hur, Chung-Kil ; Jung, Ralf...
Proceedings of the ACM on Programming Languages.  2 (2018)  OOPSLA - p. 1-28 , 2018
Link: https://dl.acm.org/doi/1..
 
?
9

Practical verification of peephole optimizations with Alive:

Lopes, Nuno P. ; Menendez, David ; Nagarakatte, Santosh.
Communications of the ACM.  61 (2018)  2 - p. 84-91 , 2018
Link: https://doi.org/10.1145/..
 
?
10

Practical verification of peephole optimizations with Alive:

Lopes, Nuno P. ; Menendez, David ; Nagarakatte, Santosh.
Communications of the ACM.  61 (2018)  2 - p. 84-91 , 2018
Link: https://dl.acm.org/doi/1..
 
?
11

Reconciling high-level optimizations and low-level code in ..:

Lee, Juneyoung ; Hur, Chung-Kil ; Jung, Ralf...
Proceedings of the ACM on Programming Languages.  2 (2018)  OOPSLA - p. 1-28 , 2018
Link: https://doi.org/10.1145/..
 
?
12

Taming undefined behavior in LLVM:

Lee, Juneyoung ; Kim, Yoonseung ; Song, Youngju...
ACM SIGPLAN Notices.  52 (2017)  6 - p. 633-647 , 2017
Link: https://doi.org/10.1145/..
 
?
13

CrystalNet : Faithfully Emulating Large Production Netwo..:

, In: Proceedings of the 26th Symposium on Operating Systems Principles,
Liu, Hongqiang Harry ; Zhu, Yibo ; Padhye, Jitu... - p. 599-613 , 2017
Link: https://dl.acm.org/doi/1..
 
?
14

Taming undefined behavior in LLVM:

, In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Lee, Juneyoung ; Kim, Yoonseung ; Song, Youngju... - p. 633-647 , 2017
Link: https://dl.acm.org/doi/1..
 
?
15

A design and verification methodology for secure isolated r..:

Sinha, Rohit ; Costa, Manuel ; Lal, Akash...
ACM SIGPLAN Notices.  51 (2016)  6 - p. 665-681 , 2016
Link: https://doi.org/10.1145/..
 
1-15
Related subjects
Human Resource Management