If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the experts' scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 11 Similar Profiles
Networks (circuits) Engineering & Materials Science
Hardware Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Combinatorial circuits Engineering & Materials Science
Embedded software Engineering & Materials Science
Model checking Engineering & Materials Science
Logic circuits Engineering & Materials Science
Specifications Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1987 2019

1 Citation (Scopus)

ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification

Zhang, H., Trippel, C., Manerkar, Y. A., Gupta, A., Martonosi, M. R. & Malik, S., Jan 4 2019, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjorner, N. & Gurfinkel, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 12-21 10 p. 8603015. (Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data storage equipment
Particle accelerators
System-on-chip
Specifications
Program processors

Ilang: a modeling and verification platform for SoCs using instruction-level abstractions

Huang, B. Y., Zhang, H., Gupta, A. & Malik, S., Jan 1 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Springer Verlag, p. 351-357 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Hardware
Specifications
Computer hardware description languages
Surface mount technology
System-on-chip
1 Citation (Scopus)

Instruction-level abstraction (ILA): A uniform specification for system-on-chip (SOC) verification

Huang, B. Y., Zhang, H., Subramanyan, P., Vizel, Y., Gupta, A. & Malik, S., Jan 1 2019, In : ACM Transactions on Design Automation of Electronic Systems. 24, 1, 10.

Princeton University

Research output: Contribution to journalArticle

Particle accelerators
Specifications
Hardware
System-on-chip
Reduced instruction set computing
1 Citation (Scopus)

Morpheus: A Vulnerability-Tolerant Secure Architecture Based on Ensembles of Moving Target Defenses with Churn

Gallagher, M., Biernacki, L., Chen, S., Aweke, Z. B., Yitbarek, S. F., Aga, M. T., Harris, A., Xu, Z., Kasikci, B., Bertacco, V., Malik, S., Tiwari, M. & Austin, T., Apr 4 2019, ASPLOS 2019 - 24th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 469-484 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Flow control
Hardware
Reduced instruction set computing
Semantics
Systems analysis
1 Citation (Scopus)

A formal instruction-level GPU model for scalable verification

Xing, Y., Huang, B. Y., Gupta, A. & Malik, S., Nov 5 2018, 2018 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2018 - Digest of Technical Papers. Institute of Electrical and Electronics Engineers Inc., a130. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Synchronization
Natural sciences computing
Graphics processing unit
Computer programming
Application programming interfaces (API)