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

Research Output

Filter
Conference contribution
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

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

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

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., 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

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

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., 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. 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

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

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., 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., 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

2008

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

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

2007

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

Efficiently detecting all dangling pointer uses in production servers

Dhurjati, D. & Adve, V., Dec 22 2006, Proceedings - DSN 2006: 2006 International Conference on Dependable Systems and Networks. p. 269-278 10 p. 1633516. (Proceedings of the International Conference on Dependable Systems and Networks; vol. 2006).

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

SAFECode: Enforcing alias analysis for weakly typed languages

Dhurjati, D., Kowshik, S. & Adve, V., Jul 24 2006, PLDI 2006 - Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 144-157 14 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 2006).

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

2005

A compiler-enabled model- And measurement-driven adaptation environment for dependability and performance

Adve, V. S., Agbaria, A., Hiltunen, M. A., Iyer, R. K., Joshi, K. R., Kalbarczyk, Z., Lefever, R. M., Plante, R., Sanders, W. H. & Schlichting, R. D., Dec 1 2005, Proceedings - 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005. 1420134. (Proceedings - 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005; vol. 2005).

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

Transparent pointer compression for linked data structures

Lattner, C. & Adve, V. S., Jun 12 2005, Proceedings of the 3rd 2005 ACM SIGPLAN Workshop on Memory Systems Performance, MSP 2005. Association for Computing Machinery, Inc, p. 24-35 12 p. (Proceedings of the 3rd 2005 ACM SIGPLAN Workshop on Memory Systems Performance, MSP 2005).

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

2004

LLVM: A compilation framework for lifelong program analysis & transformation

Lattner, C. & Adve, V. S., Jul 12 2004, International Symposium on Code Generation and Optimization, CGO 2004. p. 75-86 12 p. (International Symposium on Code Generation and Optimization, CGO).

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

Software implications of virtual instruction set computers

Adve, V., Brukman, M., Evlogimenos, A. & Gaeke, B., Dec 1 2004, Proceedings - 18th International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM). p. 2807-2814 8 p. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM); vol. 18).

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

2003

An approach to optimizing adaptive parabolic PDE solvers for the Grid

Adve, V., Browne, J., Ensink, B., Rice, J., Teller, P., Vernon, M. & Wright, S., Jan 1 2003, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers Inc., 1213385. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).

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

LLVA: A low-level virtual instruction set architecture

Adve, V., Lattner, C., Brukman, M., Shukla, A. & Gaeke, B., Jan 1 2003, Proceedings - 36th International Symposium on Microarchitecture, MICRO 2003. IEEE Computer Society, p. 205-216 12 p. 1253196. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2003-January).

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

2002

Automatic pool allocation for disjoint data structures

Lattner, C. & Adve, V., Jun 16 2002, Proceedings of the 2002 Workshop on Memory System Performance, MSP 2002. Association for Computing Machinery, Inc, p. 13-24 12 p. (Proceedings of the 2002 Workshop on Memory System Performance, MSP 2002).

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

Ensuring code safety without runtime checks for real-time control systems

Kowshik, S., Dhurjati, D. & Adve, V., Dec 1 2002, Proceedings of the 2002 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES '02. p. 288-297 10 p. (Proceedings of the 2002 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES '02).

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

Model-based control of adaptive applications: An overview

Adve, V. S., Akinsanmi, A., Browne, J. C., Buaklee, D., Deng, G., Lam, V. V., Morgan, T., Rice, J. R., Rodin, G. J., Teller, P. J., Tracy, G., Vernon, M. & Wright, S., Jan 1 2002, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002. Institute of Electrical and Electronics Engineers Inc., p. 172-179 8 p. 1016573. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002).

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

2001

Compiler synthesis of task graphs for parallel program performance prediction

Adve, V. & Sakellariou, R., Jan 1 2001, Languages and Compilers for Parallel Computing - 13th International Workshop, LCPC 2000, Revised Papers. Ferrante, J., Midkiff, S. P., Moreira, J. E., Gupta, M., Chatterjee, S., Prins, J., Pugh, W. & Tseng, C-W. (eds.). Springer-Verlag, p. 208-226 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2017).

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

Language and compiler support for adaptive distributed applications

Adve, V., Lam, V. V. & Ensink, B., Aug 1 2001, LCTES 2001 - Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems. Association for Computing Machinery, Inc, p. 238-246 9 p. (LCTES 2001 - Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems).

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

Language and compiler support for adaptive distributed applications

Adve, V., Lam, V. V. & Ensink, B., Aug 1 2001, Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001. Association for Computing Machinery, Inc, p. 238-246 9 p. (Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001).

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

1999

Compiler-supported simulation of highly scalable parallel applications

Adve, V. S., Bagrodia, R., Deelman, E., Phan, T. & Sakellariou, R., Jan 1 1999, ACM/IEEE SC 1999 Conference, SC 1999. Institute of Electrical and Electronics Engineers Inc., 1 p. 1592644. (ACM/IEEE SC 1999 Conference, SC 1999).

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

1998

Simplifying control flow in compiler-generated parallel code

Mellor-Crummey, J. & Adve, V., Jan 1 1998, Languages and Compilers for Parallel Computing - 10th International Workshop, LCPC 1997, Proceedings. Yew, P-C., Huang, C-H., Sadayappan, P., Li, Z., Chatterjee, S. & Sehr, D. (eds.). Springer-Verlag, p. 235-239 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1366).

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

1993

The influence of random delays on parallel execution times

Adve, V. S. & Vernon, M. K., Jun 1 1993, Proceedings of the 1993 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1993. Association for Computing Machinery, Inc, p. 61-73 13 p. (Proceedings of the 1993 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1993).

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

1991

Comparison of hardware and software cache coherence schemes

Adve, S. V., Adve, V. S., Hill, M. D. & Vernon, M. K., 1991, Conference Proceedings - Annual Symposium on Computer Architecture. Publ by IEEE, p. 298-308 11 p. (Conference Proceedings - Annual Symposium on Computer Architecture).

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