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 |
|
Show low-probability matches. |