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:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
3
Alive2: bounded translation validation for LLVM:
, In:
?
2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC) ,
4
Design of Bio-Impedance Electrode Topologies for Specific D..:
, In:
?
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
5
Crellvm: verified credible compilation for LLVM:
, In:
?
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
6
Taming undefined behavior in LLVM:
, In:
?
Proceedings of the 2016 International Conference on Management of Data ,
7
DUALSIM : Parallel Subgraph Enumeration in a Massive Gra..:
, In:
?
2023 IEEE 32nd Conference on Electrical Performance of Electronic Packaging and Systems (EPEPS) ,
8
Adaptive Gramian-Angular-Field Segmentation Integration Bas..:
, In:
?
2023 IEEE 32nd Conference on Electrical Performance of Electronic Packaging and Systems (EPEPS) ,
9
Crosstalk Mitigated On-chip Interconnect Design for High-sp..:
, In:
?
2022 IEEE Electrical Design of Advanced Packaging and Systems (EDAPS) ,
10
Design and Analysis of Hierarchical Power Distribution Netw..:
, In:
?
2022 IEEE International Symposium on Mixed and Augmented Reality (ISMAR) ,
11
Infinite Virtual Space Exploration Using Space Tiling and P..:
, In:
?
LAK21: 11th International Learning Analytics and Knowledge Conference ,
12