Year |
Citation |
Score |
2016 |
Heumann ST, Tzannes A, Adve VS. Scalable Task Scheduling and Synchronization Using Hierarchical Effects Parallel Architectures and Compilation Techniques - Conference Proceedings, Pact. 2016: 125-137. DOI: 10.1109/PACT.2015.25 |
0.39 |
|
2016 |
Tzannes A, Heumann ST, Eloussi L, Vakilian M, Adve VS, Han M. Region and effect inference for safe parallelism Proceedings - 2015 30th Ieee/Acm International Conference On Automated Software Engineering, Ase 2015. 512-523. DOI: 10.1109/ASE.2015.59 |
0.325 |
|
2015 |
Dietz W, Li P, Regehr J, Adve V. Understanding integer overflow in C/C++ Acm Transactions On Software Engineering and Methodology. 25. DOI: 10.1145/2743019 |
0.391 |
|
2014 |
Criswell J, Dautenhahn N, Adve V. Virtual Ghost: Protecting applications from hostile operating systems International Conference On Architectural Support For Programming Languages and Operating Systems - Asplos. 81-96. DOI: 10.1145/2541940.2541986 |
0.356 |
|
2014 |
Criswell J, Dautenhahn N, Adve V. KCoFI: Complete control-flow integrity for commodity operating system kernels Proceedings - Ieee Symposium On Security and Privacy. 292-307. DOI: 10.1109/SP.2014.26 |
0.341 |
|
2013 |
Heumann ST, Adve VS, Wang S. The tasks with effects model for safe concurrency Acm Sigplan Notices. 48: 239-250. DOI: 10.1145/2517327.2442540 |
0.328 |
|
2012 |
Lefever RM, Adve VS, Sanders WH. A mirrored data structures approach to diverse partial memory replication Proceedings - 9th European Dependable Computing Conference, Edcc 2012. 61-72. DOI: 10.1109/EDCC.2012.18 |
0.339 |
|
2011 |
Bocchino RL, Heumann S, Honarmand N, Adve SV, Adve VS, Welc A, Shpeisman T. Safe nondeterminism in a deterministic-by-default parallel language Acm Sigplan Notices. 46: 535-548. DOI: 10.1145/1925844.1926447 |
0.798 |
|
2011 |
Choi B, Komuravelli R, Sung H, Smolinski R, Honarmand N, Adve SV, Adve VS, Carter NP, Chou CT. DeNovo: Rethinking the memory hierarchy for disciplined parallelism Parallel Architectures and Compilation Techniques - Conference Proceedings, Pact. 155-166. DOI: 10.1109/PACT.2011.21 |
0.37 |
|
2011 |
Bocchino RL, Adve VS. Types, regions, and effects for safe programming with object-oriented parallel frameworks Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6813: 306-332. DOI: 10.1007/978-3-642-22655-7_15 |
0.797 |
|
2010 |
Bocchino RL, Heumann S, Honarmand N, Adve SV, Adve VS, Welc A, Shpeisman T. Safe nondeterminism in a deterministic-by-default parallel language Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 535-548. DOI: 10.1145/1926385.1926447 |
0.798 |
|
2010 |
Lefever RM, Adve VS, Sanders WH. Diverse partial memory replication Proceedings of the International Conference On Dependable Systems and Networks. 71-80. DOI: 10.1109/DSN.2010.5545012 |
0.316 |
|
2010 |
Hoe JC, Adve VS. International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS: Foreword International Conference On Architectural Support For Programming Languages and Operating Systems - Asplos. |
0.341 |
|
2009 |
Bocchino RL, Adve VS, Dig D, Adve SV, Heumann S, Komuravelli R, Overbey J, Simmons P, Sung H, Vakilian M. A type and effect system for deterministic parallel java Acm Sigplan Notices. 44: 97-116. DOI: 10.1145/1640089.1640097 |
0.812 |
|
2009 |
Vakilian M, Dig D, Bocchino R, Overbey J, Adve V, Johnson R. Inferring method effect summaries for nested heap regions Ase2009 - 24th Ieee/Acm International Conference On Automated Software Engineering. 421-432. DOI: 10.1109/ASE.2009.68 |
0.325 |
|
2008 |
Bocchino RL, Adve VS, Chamberlain BL. Software transactional memory for large scale clusters Proceedings of the Acm Sigplan Symposium On Principles and Practice of Parallel Programming, Ppopp. 247-257. |
0.759 |
|
2007 |
Criswell J, Lenharth A, Dhurjati D, Adve V. Secure virtual architecture: A safe execution environment for commodity operating systems Operating Systems Review (Acm). 351-366. DOI: 10.1145/1294261.1294295 |
0.798 |
|
2006 |
Dhurjati D, Kowshik S, Adve V. SAFECode: Enforcing alias analysis for weakly typed languages Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 2006: 144-157. DOI: 10.1145/1133255.1133999 |
0.818 |
|
2006 |
Dhurjati D, Adve V. Efficiently detecting all dangling pointer uses in production servers Proceedings of the International Conference On Dependable Systems and Networks. 2006: 269-278. DOI: 10.1109/DSN.2006.31 |
0.809 |
|
2006 |
Bocchino RL, Adve VS. Vector LLVA: A virtual vector instruction set for media processing Vee 2006 - Proceedings of the Second International Conference On Virtual Execution Environments. 2006: 46-56. |
0.753 |
|
2006 |
Dhurjati D, Adve V. Backwards-compatible array bounds checking for C with very low overhead Proceedings - International Conference On Software Engineering. 2006: 162-171. |
0.797 |
|
2005 |
Lattner C, Adve V. Automatic pool allocation: Improving performance by controlling data structure layout in the heap Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 129-142. DOI: 10.1145/1064978.1065027 |
0.518 |
|
2005 |
Dhurjati D, Kowshik S, Adve V, Lattner C. Memory safety without garbage collection for embedded applications Acm Transactions in Embedded Computing Systems. 4: 73-111. DOI: 10.1145/1053271.1053275 |
0.707 |
|
2004 |
Adve VS, Vernon MK. Parallel program performance prediction using deterministic task graph analysis Acm Transactions On Computer Systems. 22: 94-136. DOI: 10.1145/966785.966788 |
0.412 |
|
2004 |
Lattner C, Adve V. LLVM: A compilation framework for lifelong program analysis & transformation International Symposium On Code Generation and Optimization, Cgo. 75-86. DOI: 10.1109/CGO.2004.1281665 |
0.421 |
|
2004 |
Yi Q, Kennedy K, Adve V. Transforming Complex Loop Nests for Locality Journal of Supercomputing. 27: 219-264. DOI: 10.1023/B:Supe.0000011386.69245.F5 |
0.41 |
|
2003 |
Lattner C, Adve V. Automatic pool allocation for disjoint data structures Acm Sigplan Notices. 38: 13-24. DOI: 10.1145/773039.773041 |
0.704 |
|
2003 |
Adve V, Lattner C, Brukman M, Shukla A, Gaeke B. LLVA: A low-level virtual instruction set architecture Proceedings of the Annual International Symposium On Microarchitecture, Micro. 2003: 205-216. DOI: 10.1109/MICRO.2003.1253196 |
0.341 |
|
2003 |
Ensink B, Stanley J, Adve V. Program Control Language: A programming language for adaptive distributed applications Journal of Parallel and Distributed Computing. 63: 1082-1104. DOI: 10.1016/S0743-7315(03)00117-5 |
0.462 |
|
2003 |
Dhurjati D, Kowshik S, Adve V, Lattner C. Memory safety without runtime checks or garbage collection Proceedings of the Acm Sigplan Conference On Languages, Compilers, and Tools For Embedded Systems (Lctes). 69-80. |
0.826 |
|
2002 |
Kowshik S, Dhurjati D, Adve V. Ensuring code safety without runtime checks for real-time control systems Proceedings of the 2002 International Conference On Compilers, Architecture, and Synthesis For Embedded Systems, Cases '02. 288-297. DOI: 10.1145/581630.581678 |
0.801 |
|
2002 |
Adve VS, Bagrodia R, Deelman E, Sakellariou R. Compiler-optimized simulation of large-scale applications on high performance architectures Journal of Parallel and Distributed Computing. 62: 393-426. DOI: 10.1006/Jpdc.2001.1800 |
0.329 |
|
2002 |
Mellor-Crummey J, Adve V, Broom B, Chavarría-Miranda D, Fowler R, Jin G, Kennedy K, Yi Q. Advanced optimization strategies in the Rice dHPF compiler Concurrency Computation Practice and Experience. 14: 741-767. DOI: 10.1002/Cpe.647 |
0.301 |
|
2001 |
Adve V, Lam VV, Ensink B. Language and compiler support for adaptive distributed applications Sigplan Notices (Acm Special Interest Group On Programming Languages). 36: 238-246. |
0.339 |
|
2000 |
Adve V, Sakellariou R. Application representations for multiparadigm performance modeling of large-scale parallel scientific codes International Journal of High Performance Computing Applications. 14: 304-316. DOI: 10.1177/109434200001400403 |
0.328 |
|
2000 |
Yi Q, Adve V, Kennedy K. Transforming loops to recursion for multi-level memory hierarchies Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 169-181. |
0.315 |
|
1998 |
Mellor-Crummey J, Adve V. Simplifying control flow in compiler-generated parallel code Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1366: 235-239. DOI: 10.1007/BFb0032695 |
0.3 |
|
1998 |
Adve V, Mellor-Crummey J. Using Integer Sets for Data-Parallel Program Analysis and Optimization Sigplan Notices (Acm Special Interest Group On Programming Languages). 33: 186-198. |
0.327 |
|
1997 |
Abdel-Shafi H, Hall J, Adve SV, Adve VS. Evaluation of fine-grain producer-initiated communication in cache-coherent multiprocessors Ieee High-Performance Computer Architecture Symposium Proceedings. 204-215. |
0.306 |
|
1994 |
Adve V, Tseng CW, Carle A, Granston E, Hiranandani S, Kennedy K, Koelbel C, Kremer U, Mellor-Crummey J, Warren S. Requirements for Data-Parallel Programming Environments Ieee Parallel and Distributed Technology. 2: 48-58. DOI: 10.1109/M-Pdt.1994.329801 |
0.5 |
|
Low-probability matches (unlikely to be authored by this person) |
2019 |
Kang M, Srivastava P, Adve V, Kim NS, Shanbhag NR. An Energy-Efficient Programmable Mixed-Signal Accelerator for Machine Learning Algorithms Ieee Micro. 39: 64-72. DOI: 10.1109/Mm.2019.2929502 |
0.297 |
|
2013 |
Sahoo SK, Criswell J, Geigle C, Adve V. Using likely invariants for automated software fault localization International Conference On Architectural Support For Programming Languages and Operating Systems - Asplos. 139-151. DOI: 10.1145/2451116.2451131 |
0.279 |
|
2000 |
Adve VS. POEMS: end-to-end performance design of large parallel adaptive computational systems Ieee Transactions On Software Engineering. 26: 1027-1048. DOI: 10.1109/32.881716 |
0.278 |
|
2010 |
Hoe JC, Adve VS. ACM SIGPLAN Notices: Foreword Acm Sigplan Notices. 45. |
0.272 |
|
2015 |
Komuravelli R, Sinclair MD, Alsop J, Huzaifa M, Kotsifakou M, Srivastava P, Adve SV, Adve VS. Stash: Have your scratchpad and cache it too Proceedings - International Symposium On Computer Architecture. 13: 707-719. DOI: 10.1145/2749469.2750374 |
0.269 |
|
2003 |
Adve V, Browne J, Ensink B, Rice J, Teller P, Vernon M, Wright S. An approach to optimizing adaptive parabolic PDE solvers for the Grid Proceedings - International Parallel and Distributed Processing Symposium, Ipdps 2003. DOI: 10.1109/IPDPS.2003.1213385 |
0.263 |
|
1991 |
Adve SV, Adve VS, Hill MD, Vernon MK. Comparison of hardware and software cache coherence schemes Conference Proceedings - Annual Symposium On Computer Architecture. 298-308. |
0.233 |
|
2001 |
Adve V, Sakellariou R. Compiler synthesis of task graphs for parallel program performance prediction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2017: 208-226. DOI: 10.1007/3-540-45574-4_14 |
0.23 |
|
2005 |
Lattner C, Adve V. The LLVM compiler framework and infrastructure tutorial Lecture Notes in Computer Science. 3602: 15-16. |
0.22 |
|
2011 |
Adve V. Session details: Singular topics Sigplan Notices. 46. DOI: 10.1145/3264053 |
0.218 |
|
2002 |
Adve V, Akinsanmi A, Browne JC, Buaklee D, Deng G, Lam VV, Morgan T, Rice JR, Rodin GJ, Teller PJ, Tracy G, Vernon M, Wright S. Model-based control of adaptive applications: An overview Proceedings - International Parallel and Distributed Processing Symposium, Ipdps 2002. 172-179. DOI: 10.1109/IPDPS.2002.1016573 |
0.207 |
|
2004 |
Ensink B, Adve V. Coordinating adaptations in distributed systems Proceedings - International Conference On Distributed Computing Systems. 24: 446-455. |
0.207 |
|
2001 |
Deelman E, Bagrodia R, Sakellariou R, Adve V. Improving lookahead in parallel discrete event simulations of large-scale applications using compiler analysis Proceedings of the Workshop On Parallel and Distributed Simulation, Pads. 5-13. |
0.19 |
|
2004 |
Adve V, Brukman M, Evlogimenos A, Gaeke B. Software implications of virtual instruction set computers Proceedings - International Parallel and Distributed Processing Symposium, Ipdps 2004 (Abstracts and Cd-Rom). 18: 2807-2814. |
0.184 |
|
1994 |
Adve VS, Vernon MK. Performance Analysis of Mesh Interconnection Networks with Deterministic Routing Ieee Transactions On Parallel and Distributed Systems. 5: 225-246. DOI: 10.1109/71.277793 |
0.169 |
|
2008 |
Li ML, Ramachandran P, Sahoo SK, Adve SV, Adve VS, Zhou Y. Understanding the propagation of hard errors to software and implications for resilient system design Operating Systems Review (Acm). 42: 265-276. DOI: 10.1145/1346281.1346315 |
0.154 |
|
2008 |
Sahoo SK, Li ML, Ramachandran P, Adve SV, Adve VS, Zhou Y. Using likely program invariants to detect hardware errors Proceedings of the International Conference On Dependable Systems and Networks. 70-79. DOI: 10.1109/DSN.2008.4630072 |
0.15 |
|
2005 |
Lattner C, Adve VS. Transparent pointer compression for linked data structures Proceedings of the 3rd 2005 Acm Sigplan Workshop On Memory Systems Performance, Msp 2005. 24-35. DOI: 10.1145/1111583.1111587 |
0.146 |
|
2015 |
Dautenhahn N, Kasampalis T, Dietz W, Criswell J, Adve V. Nested kernel: An operating system architecture for intra-kernel privilege separation International Conference On Architectural Support For Programming Languages and Operating Systems - Asplos. 2015: 191-206. DOI: 10.1145/2694344.2694386 |
0.144 |
|
2010 |
Sahoo SK, Criswell J, Adve V. An empirical study of reported bugs in server software with implications for automated bug diagnosis Proceedings - International Conference On Software Engineering. 1: 485-494. DOI: 10.1145/1806799.1806870 |
0.136 |
|
2005 |
Adve VS, Agbaria A, Hiltunen MA, Iyer RK, Joshi KR, Kalbarczyk Z, Lefever RM, Plante R, Sanders WH, Schlichting RD. A compiler-enabled model- And measurement-driven adaptation environment for dependability and performance Proceedings - 19th Ieee International Parallel and Distributed Processing Symposium, Ipdps 2005. 2005. DOI: 10.1109/IPDPS.2005.9 |
0.102 |
|
2007 |
Lattner C, Lenharth A, Adve V. Making context-sensitive points-to analysis with heap cloning practical for the real world Acm Sigplan Notices. 42: 278-289. DOI: 10.1145/1250734.1250766 |
0.092 |
|
2008 |
Adve V, Bersha B, Gregg D. VEE'08 - Proceedings of the 4th International Conference on Virtual Execution Environments: Foreword Vee'08 - Proceedings of the 4th International Conference On Virtual Execution Environments. |
0.089 |
|
2008 |
Adve V, Garzarán MJ, Petersen P. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5234. |
0.071 |
|
2009 |
Lenharth A, Adve V, King ST. Recovery domains: An organizing principle for recoverable operating systems? Acm Sigplan Notices. 44: 49-60. |
0.06 |
|
2008 |
Lenharth A, Adve V, King ST. Recovery domains: An organizing principle for recoverable operating systems International Conference On Architectural Support For Programming Languages and Operating Systems - Asplos. 49-60. DOI: 10.1145/1508244.1508251 |
0.06 |
|
2008 |
Li ML, Ramachandran P, Sahoo SK, Adve SV, Adve VS, Zhou Y. Trace-based microarchitecture-level diagnosis of permanent hardware faults Proceedings of the International Conference On Dependable Systems and Networks. 22-31. DOI: 10.1109/DSN.2008.4630067 |
0.05 |
|
Hide low-probability matches. |