1991 …2019
If you made any changes in Pure, your changes 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.

  • 15 Similar Profiles
Data storage equipment Engineering & Materials Science
Hardware Engineering & Materials Science
Compiler Mathematics
Data structures Engineering & Materials Science
Parallel programming Engineering & Materials Science
Semantics Engineering & Materials Science
Flow control Engineering & Materials Science
Computer programming languages Engineering & Materials Science

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

Research Output 1991 2019

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

Dasgupta, S., Park, D., Kasampalis, T., Adve, V. S. & Rosu, 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
Semantics
Testing

An Energy-efficient Programmable Mixed-Signal Accelerator for Machine-Learning Algorithms

Kang, M., Srivastava, P., Adve, V. S., Kim, N. S. & Shanbhag, N. R., Jan 1 2019, In : IEEE Micro.

Research output: Contribution to journalArticle

Learning algorithms
Particle accelerators
Learning systems
Energy conservation
High level languages

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

Constraint satisfaction problems
Polymorphism
Specifications

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

DSL
Learning systems
infrastructure
learning software
learning

HPVM: Heterogeneous parallel virtual machine

Kotsifakou, M., Srivastava, P., Sinclair, M. D., Komuravelli, R., Adve, V. S. & Adve, S. V., Feb 10 2018, PPoPP 2018 - Proceedings of the 23rd Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 68-80 13 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

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

Scheduling
Hardware
Program processors
Field programmable gate arrays (FPGA)
Data storage equipment