1991 …2019

Research output per year

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

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

  • 17 Similar Profiles

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

Research Output

A complete formal semantics of x86-64 user-level instruction set architecture

Dasgupta, S., Park, D., Kasampalis, T., Adve, V. S. & Roşu, G., Jun 8 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 1133-1148 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

Open Access
  • An Energy-Efficient Programmable Mixed-Signal Accelerator for Machine Learning Algorithms

    Kang, M., Srivastava, P., Adve, V., Kim, N. S. & Shanbhag, N. R., Sep 1 2019, In : IEEE Micro. 39, 5, p. 64-72 9 p., 8768342.

    Research output: Contribution to journalArticle

  • Region and effect inference for safe parallelism

    Tzannes, A., Heumann, S. T., Eloussi, L., Vakilian, M., Adve, V. S. & Han, M., Jun 15 2019, In : Automated Software Engineering. 26, 2, p. 463-509 47 p.

    Research output: Contribution to journalArticle

  • Wok: Statistical program slicing in production

    Stoica, B. A., Sahoo, S. K., Larus, J. R. & Adve, V. S., May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion, ICSE-Companion 2019. Institute of Electrical and Electronics Engineers Inc., p. 324-325 2 p. 8802736. (Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion, ICSE-Companion 2019).

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

  • DLVM: A modern compiler infrastructure for deep learning systems

    Wei, R., Schwartz, L. O. & Adve, V. S., Jan 1 2018.

    Research output: Contribution to conferencePaper