Author of the publication

Flexible Instruction-Set Semantics via Abstract Monads (Experience Report).

, , , , , , and . Proc. ACM Program. Lang., 7 (ICFP): 108-124 (August 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Few Shots Learning: Caricature to Image Recognition Using Improved Relation Network., , and . CVIP (3), volume 1378 of Communications in Computer and Information Science, page 162-173. Springer, (2020)A nuclear norm-induced robust and lightweight relation network for few-shots classification of hyperspectral images., , and . Multim. Tools Appl., 83 (3): 9279-9306 (January 2024)Meta-DZSL: a meta-dictionary learning based approach to zero-shot recognition., , and . Appl. Intell., 52 (14): 15938-15960 (2022)Self-taught Learning: Image Classification Using Stacked Autoencoders., , , and . SocProS (1), volume 1138 of Advances in Intelligent Systems and Computing, page 1-14. Springer, (2019)NucNormZSL: nuclear norm-based domain adaptation in zero-shot learning., , and . Neural Comput. Appl., 34 (3): 2353-2374 (2022)A lightweight relation network for few-shots classification of hyperspectral images., , and . Neural Comput. Appl., 35 (15): 11417-11430 (May 2023)Owl: Compositional Verification of Security Protocols via an Information-Flow Type System., , , , and . SP, page 1130-1147. IEEE, (2023)Magnetic Induction Technology-Based Wireless Sensor Network for Underground Infrastructure, Monitoring Soil Conditions, and Environmental Observation Applications: Challenges and Future Aspects., , , , , , and . J. Sensors, (2022)Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)., , , , , , and . Proc. ACM Program. Lang., 7 (ICFP): 108-124 (August 2023)Facebook's Tectonic Filesystem: Efficiency from Exascale., , , , , , , , , and 7 other author(s). FAST, page 217-231. USENIX Association, (2021)