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

Research Output

2020

Scalable validation of binary lifters

Dasgupta, S., Dinesh, S., Venkatesh, D., Adve, V. S. & Fletcher, C. W., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 655-671 17 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
2019

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

2018

DLVM: A modern compiler infrastructure for deep learning systems

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

Research output: Contribution to conferencePaper

HPVM: Heterogeneous parallel virtual machine

Kotsifakou, M., Srivastava, P., Sinclair, M. D., Komuravelli, R., Adve, V. & Adve, S., 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

PROMISE: An end-to-End design of a programmable mixed-Signal accelerator for Machine-Learning algorithms

Srivastava, P., Kang, M., Gonugondla, S. K., Lim, S., Choi, J., Adve, V., Kim, N. S. & Shanbhag, N., Jul 19 2018, Proceedings - 2018 ACM/IEEE 45th Annual International Symposium on Computer Architecture, ISCA 2018. Institute of Electrical and Electronics Engineers Inc., p. 43-56 14 p. 8416817. (Proceedings - International Symposium on Computer Architecture).

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

2016

POSTER: HVISC: A Portable Abstraction for Heterogeneous Parallel Systems

Srivastava, P., Kotsifakou, M., Sinclair, M. D., Komuravelli, R., Adve, V. & Adve, S., Jan 1 2016, In : Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT. p. 443-445 3 p.

Research output: Contribution to journalConference article

Region and effect inference for safe parallelism

Tzannes, A., Heumann, S. T., Eloussi, L., Vakilian, M., Adve, V. S. & Han, M., Jan 4 2016, Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015. Institute of Electrical and Electronics Engineers Inc., p. 512-523 12 p. 7372039. (Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015).

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

2015

Nested kernel: An operating system architecture for intra-kernel privilege separation

Dautenhahn, N., Kasampalis, T., Dietz, W., Criswell, J. & Adve, V., Apr 2015, In : ACM SIGPLAN Notices. 50, 4, p. 191-206 16 p.

Research output: Contribution to journalArticle

Nested kernel: An operating system architecture for intra-kernel privilege separation

Dautenhahn, N., Kasampalis, T., Dietz, W., Criswell, J. & Adve, V., Mar 14 2015, ASPLOS 2015 - 20th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 191-206 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2015-January).

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

Scalable Task Scheduling and Synchronization Using Hierarchical Effects

Heumann, S. T., Tzannes, A. & Adve, V. S., Jan 1 2015, In : Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT. p. 125-137 13 p., 7429300.

Research output: Contribution to journalConference article

Slipstream: Automatic interprocess communication optimization

Dietz, W., Cranmer, J., Dautenhahn, N. & Adve, V., Jan 1 2015, Proceedings of the 2015 USENIX Annual Technical Conference, USENIX ATC 2015. USENIX Association, p. 431-443 13 p. (Proceedings of the 2015 USENIX Annual Technical Conference, USENIX ATC 2015).

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

Stash: Have your scratchpad and cache it too

Komuravelli, R., Sinclair, M. D., Alsop, J., Huzaifa, M., Kotsifakou, M., Srivastava, P., Adve, S. V. & Adve, V. S., Jun 13 2015, ISCA 2015 - 42nd Annual International Symposium on Computer Architecture, Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 707-719 13 p. (Proceedings - International Symposium on Computer Architecture; vol. 13-17-June-2015).

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

Understanding integer overflow in C/C++

Dietz, W., Li, P., Regehr, J. & Adve, V., Nov 2015, In : ACM Transactions on Software Engineering and Methodology. 25, 1, 2.

Research output: Contribution to journalArticle

2014

KCoFI: Complete control-flow integrity for commodity operating system kernels

Criswell, J., Dautenhahn, N. & Adve, V., Nov 13 2014, Proceedings - IEEE Symposium on Security and Privacy. Institute of Electrical and Electronics Engineers Inc., p. 292-307 16 p. 6956571. (Proceedings - IEEE Symposium on Security and Privacy).

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

Virtual Ghost: Protecting applications from hostile operating systems

Criswell, J., Dautenhahn, N. & Adve, V., Mar 14 2014, ASPLOS 2014 - 19th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 81-96 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

2013

The tasks with effects model for safe concurrency

Heumann, S. T., Adve, V. S. & Wang, S., Aug 1 2013, In : ACM SIGPLAN Notices. 48, 8, p. 239-250 12 p.

Research output: Contribution to journalArticle

The tasks with effects model for safe concurrency

Heumann, S. T., Adve, V. S. & Wang, S., Mar 25 2013, PPoPP 2013 - Proceedings of the 2013 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 239-250 12 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

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

Using likely invariants for automated software fault localization

Sahoo, S. K., Criswell, J., Geigle, C. & Adve, V., Apr 1 2013, In : ACM SIGPLAN Notices. 48, 4, p. 139-151 13 p.

Research output: Contribution to journalArticle

Using likely invariants for automated software fault localization

Sahoo, S. K., Criswell, J., Geigle, C. & Adve, V. S., Apr 5 2013, ASPLOS 2013 - 18th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 139-151 13 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

2012

A mirrored data structures approach to diverse partial memory replication

Lefever, R. M., Adve, V. S. & Sanders, W. H., Jul 30 2012, Proceedings - 9th European Dependable Computing Conference, EDCC 2012. p. 61-72 12 p. 6214761. (Proceedings - 9th European Dependable Computing Conference, EDCC 2012).

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

Understanding integer overflow in C/C++

Dietz, W., Li, P., Regehr, J. & Adve, V., Jul 30 2012, Proceedings - 34th International Conference on Software Engineering, ICSE 2012. p. 760-770 11 p. 6227142. (Proceedings - International Conference on Software Engineering).

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

2011

DeNovo: Rethinking the memory hierarchy for disciplined parallelism

Choi, B., Komuravelli, R., Sung, H., Smolinski, R., Honarmand, N., Adve, S. V., Adve, V. S., Carter, N. P. & Chou, C. T., Dec 1 2011, Proceedings - 2011 International Conference on Parallel Architectures and Compilation Techniques, PACT 2011. p. 155-166 12 p. 6113797. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT).

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

Safe nondeterminism in a deterministic-by-default parallel language

Bocchino, R. L., Heumann, S., Honarmand, N., Adve, S. V., Adve, V. S., Welc, A. & Shpeisman, T., Jan 1 2011, In : ACM SIGPLAN Notices. 46, 1, p. 535-548 14 p.

Research output: Contribution to journalArticle

Types, regions, and effects for safe programming with object-oriented parallel frameworks

Bocchino, R. L. & Adve, V. S., Aug 10 2011, ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Proceedings. p. 306-332 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6813 LNCS).

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

2010

ACM SIGPLAN Notices: Foreword

Hoe, J. C. & Adve, V. S., Mar 1 2010, In : ACM SIGPLAN Notices. 45, 3, p. iii-iv

Research output: Contribution to journalEditorial

An empirical study of reported bugs in server software with implications for automated bug diagnosis

Sahoo, S. K., Criswell, J. & Adve, V., Jul 23 2010, ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. p. 485-494 10 p. (Proceedings - International Conference on Software Engineering; vol. 1).

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

Diverse partial memory replication

Lefever, R. M., Adve, V. S. & Sanders, W. H., Sep 20 2010, Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010. p. 71-80 10 p. 5545012. (Proceedings of the International Conference on Dependable Systems and Networks).

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

Safe nondeterminism in a deterministic-by-default parallel language

Bocchino, R. L., Heumann, S., Honarmand, N., Adve, S. V., Adve, V. S., Welc, A. & Shpeisman, T., Dec 1 2010, POPL'11 - Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 535-548 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

2009

A type and effect system for deterministic parallel java

Bocchino, R. L., Adve, V. S., Dig, D., Adve, S. V., Heumann, S., Komuravelli, R., Overbey, J., Simmons, P., Sung, H. & Vakilian, M., Oct 2009, In : ACM SIGPLAN Notices. 44, 10, p. 97-116 20 p.

Research output: Contribution to journalArticle

A type and effect system for deterministic parallel Java

Bocchino, R. L., Adve, V. S., Dig, D., Adve, S. V., Heumann, S., Komuravelli, R., Overbey, J., Simmons, P., Sung, H. & Vakilian, M., Dec 24 2009, OOPSLA 2009 - 24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2009. p. 97-116 20 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

Inferring method effect summaries for nested heap regions

Vakilian, M., Dig, D., Bocchino, R., Overbey, J., Adve, V. & Johnson, R., Dec 1 2009, ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering. p. 421-432 12 p. 5431752. (ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering).

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

Memory safety for low-level software/hardware interactions

Criswell, J., Geoffray, N. & Adve, V., Jan 1 2009, Proceedings of the 18th USENIX Security Symposium. USENIX Association, p. 83-100 18 p. (Proceedings of the 18th USENIX Security Symposium).

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

Recovery domains: An organizing principle for recoverable operating systems?

Lenharth, A., Adve, V. & King, S. T., Mar 1 2009, In : ACM SIGPLAN Notices. 44, 3, p. 49-60 12 p.

Research output: Contribution to journalArticle

Recovery domains: An organizing principle for recoverable operating systems

Lenharth, A., Adve, V. & King, S. T., Jan 1 2009, Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS-14. Association for Computing Machinery, p. 49-60 12 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

Software transactional memory for large scale clusters

Bocchino, R. L., Adve, V. S. & Chamberlain, B. L., Jan 1 2008, PPoPP'08 - Proceedings of the 2008 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 247-257 11 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

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

Trace-based microarchitecture-level diagnosis of permanent hardware faults

Li, M. L., Ramachandran, P., Sahoo, S. K., Adve, S. V., Adve, V. S. & Zhou, Y., Oct 13 2008, p. 22-31. 10 p.

Research output: Contribution to conferencePaper

Understanding the propagation of hard errors to software and implications for resilient system design

Li, M. L., Ramachandran, P., Sahoo, S. K., Adve, S. V., Adve, V. S. & Zhou, Y., Mar 1 2008, In : ACM SIGPLAN Notices. 43, 3, p. 265-276 12 p.

Research output: Contribution to journalArticle

Understanding the propagation of hard errors to software and implications for resilient system design

Li, M. L., Ramachandran, P., Sahoo, S. K., Adve, S. V., Adve, V. S. & Zhou, Y., Jan 1 2008, ASPLOS XIII - Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems. 2 ed. Association for Computing Machinery, p. 265-276 12 p. (Operating Systems Review (ACM); vol. 42, no. 2).

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

Using likely program invariants to detect hardware errors

Sahoo, S. K., Li, M. L., Ramachandran, P., Adve, S. V., Adve, V. S. & Zhou, Y., Oct 13 2008, p. 70-79. 10 p.

Research output: Contribution to conferencePaper

2007

Making context-sensitive points-to analysis with heap cloning practical for the real world

Lattner, C., Lenharth, A. & Adve, V., Jun 2007, In : ACM SIGPLAN Notices. 42, 6, p. 278-289 12 p.

Research output: Contribution to journalArticle

Making context-sensitive points-to analysis with heap cloning practical for the real world

Lattner, C., Lenharth, A. & Adve, V., Oct 30 2007, PLDI'07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 278-289 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

Secure virtual architecture: A safe execution environment for commodity operating systems

Criswell, J., Lenharth, A., Dhurjati, D. & Adve, V., Dec 1 2007, SOSP'07 - Proceedings of 21st ACM SIGOPS Symposium on Operating Systems Principles. p. 59-72 14 p. 1294295. (SOSP'07 - Proceedings of 21st ACM SIGOPS Symposium on Operating Systems Principles).

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

Secure virtual architecture: A safe execution environment for commodity operating systems

Criswell, J., Lenharth, A., Dhurjati, D. & Adve, V., Dec 1 2007, SOSP'07: Proceedings of the 21st ACM Symposium on Operating Systems Principles. p. 351-366 16 p. (Operating Systems Review (ACM)).

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

2006

Backwards-compatible array bounds checking for C with very low overhead

Dhurjati, D. & Adve, V. S., 2006, Proceeding of the 28th International Conference on Software Engineering 2006, ICSE '06. Vol. 2006. p. 162-171 10 p.

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