Search for persons
X
?
2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ,
1
Translation Validation for JIT Compiler in the V8 JavaScrip..:
, In:
?
Proceedings of the IEEE/ACM 46th International Conference on Software Engineering ,
2
Translation Validation for JIT Compiler in the V8 JavaScrip..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
3
SMT-Based Translation Validation for Machine Learning Compi..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
4
An SMT Encoding of LLVM's Memory Model for Bounded Translat..:
, In:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
5
Alive2: bounded translation validation for LLVM:
, In:
?
2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC) ,
6
Design of Bio-Impedance Electrode Topologies for Specific D..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
7
AliveInLean: A Verified LLVM Peephole Optimization Verifier:
, In:
?
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
8
Crellvm: verified credible compilation for LLVM:
, In:
?
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
9
Taming undefined behavior in LLVM:
, In:
?
Proceedings of the 2016 International Conference on Management of Data ,
10
DUALSIM : Parallel Subgraph Enumeration in a Massive Gra..:
, In:
?
2023 IEEE 32nd Conference on Electrical Performance of Electronic Packaging and Systems (EPEPS) ,
11
Adaptive Gramian-Angular-Field Segmentation Integration Bas..:
, In:
?
2023 IEEE 32nd Conference on Electrical Performance of Electronic Packaging and Systems (EPEPS) ,
12
Crosstalk Mitigated On-chip Interconnect Design for High-sp..:
, In:
?
2022 IEEE Electrical Design of Advanced Packaging and Systems (EDAPS) ,
13
Design and Analysis of Hierarchical Power Distribution Netw..:
, In:
?
2022 IEEE International Symposium on Mixed and Augmented Reality (ISMAR) ,
14
Infinite Virtual Space Exploration Using Space Tiling and P..:
, In:
?
LAK21: 11th International Learning Analytics and Knowledge Conference ,
15