Artikel mit Open-Access-Mandaten - Sharad MalikWeitere Informationen
Nicht verfügbar: 7
Specialized accelerators and compiler flows: Replacing accelerator apis with a formal software/hardware interface
BY Huang, S Lyubomirsky, Y Li, M He, T Tambe, GH Smith, A Gaonkar, ...
arXiv preprint arXiv 2203, 2022
Mandate: US Department of Defense
Revealing cluster hierarchy in gate-level ICs using block diagrams and cluster estimates of circuit embeddings
B Cakir, S Malik
ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (5 …, 2019
Mandate: US Department of Defense
MemFlow: Memory-driven data scheduling with datapath co-design in accelerators for large-scale inference applications
Q Nie, S Malik
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2019
Mandate: US Department of Defense
Trace-based Analysis of Memory Corruption Malware Attacks
Z Xu, A Gupta, S Malik
Hardware and Software: Verification and Testing: 13th International Haifa …, 2017
Mandate: US National Science Foundation, US Department of Defense
Post-silicon fault localization with satisfiability solvers
G Weissenbacher, S Malik
Post-Silicon Validation and Debug, 255-273, 2019
Mandate: Wiener Wissenschafts Forschungs und Technologiefonds Austria
Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms
BY Huang, H Zhang, A Gupta, S Malik
2023 60th ACM/IEEE Design Automation Conference (DAC), 1-4, 2023
Mandate: US National Science Foundation, US Department of Defense
ADA, the Center for Applications Driving Architectures: accomplishments and vision forward
V Bertacco, T Austin, D Brooks, S Malik, Z Tatlock, GY Wei, TF Wenisch
Proceedings of the 59th ACM/IEEE Design Automation Conference, 1406-1409, 2022
Mandate: US Department of Defense
Verfügbar: 29
Boolean satisfiability solvers and their applications in model checking
Y Vizel, G Weissenbacher, S Malik
Proceedings of the IEEE 103 (11), 2021-2035, 2015
Mandate: Fonds zur Förderung der wissenschaftlichen Forschung, Wiener Wissenschafts …
Malware detection using machine learning based analysis of virtual memory access patterns
Z Xu, S Ray, P Subramanyan, S Malik
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
Mandate: US Department of Defense
Morpheus: A vulnerability-tolerant secure architecture based on ensembles of moving target defenses with churn
M Gallagher, L Biernacki, S Chen, ZB Aweke, SF Yitbarek, MT Aga, ...
Proceedings of the Twenty-Fourth International Conference on Architectural …, 2019
Mandate: US Department of Defense
On computing minimal independent support and its applications to sampling and counting
A Ivrii, S Malik, KS Meel, MY Vardi
Constraints 21, 41-58, 2016
Mandate: US National Science Foundation
Instruction-level abstraction (ila) a uniform specification for system-on-chip (soc) verification
BY Huang, H Zhang, P Subramanyan, Y Vizel, A Gupta, S Malik
ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (1 …, 2018
Mandate: US National Science Foundation, US Department of Defense
Measurement of the lifetime using a simulation free approach for <?format ?>trigger bias correction
T Aaltonen, J Adelman, B Álvarez González, S Amerio, D Amidei, ...
Physical Review D—Particles, Fields, Gravitation, and Cosmology 83 (3), 032008, 2011
Mandate: Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung
Lazy self-composition for security verification
W Yang, Y Vizel, P Subramanyan, A Gupta, S Malik
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
Mandate: US National Science Foundation
Template-based parameterized synthesis of uniform instruction-level abstractions for SoC verification
P Subramanyan, BY Huang, Y Vizel, A Gupta, S Malik
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017
Mandate: US Department of Defense
ILA-MCM: integrating memory consistency models with instruction-level abstractions for heterogeneous system-on-chip verification
H Zhang, C Trippel, YA Manerkar, A Gupta, M Martonosi, S Malik
2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018
Mandate: US National Science Foundation, US Department of Defense
ILAng: A modeling and verification platform for SoCs using instruction-level abstractions
BY Huang, H Zhang, A Gupta, S Malik
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
Mandate: US National Science Foundation, US Department of Defense
Synthesizing environment invariants for modular hardware verification
H Zhang, W Yang, G Fedyukovich, A Gupta, S Malik
Verification, Model Checking, and Abstract Interpretation: 21st …, 2020
Mandate: US National Science Foundation, US Department of Defense
Syntax-guided synthesis for lemma generation in hardware model checking
H Zhang, A Gupta, S Malik
International Conference on Verification, Model Checking, and Abstract …, 2021
Mandate: US National Science Foundation, US Department of Defense
Reverse engineering digital ICs through geometric embedding of circuit graphs
B Cakir, S Malik
ACM Transactions on Design Automation of Electronic Systems (TODAES) 23 (4 …, 2018
Mandate: US Department of Defense
Angaben zur Publikation und Finanzierung werden automatisch von einem Computerprogramm ermittelt