|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 96 occurrences of 69 keywords
|
|
|
|
|
Results
Found 57 publication records. Showing 57 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Byn Choi, Rakesh Komuravelli, Hyojin Sung, Robert Smolinski, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Nicholas P. Carter, Ching-Tsun Chou |
DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert L. Bocchino Jr., Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman |
Safe nondeterminism in a deterministic-by-default parallel language.  |
POPL  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert L. Bocchino Jr., Vikram S. Adve |
Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks.  |
ECOOP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James C. Hoe, Vikram S. Adve (eds.) |
Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010  |
ASPLOS  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ryan M. Lefever, Vikram S. Adve, William H. Sanders |
Diverse Partial Memory Replication.  |
DSN  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarup Kumar Sahoo, John Criswell, Vikram S. Adve |
An empirical study of reported bugs in server software with implications for automated bug diagnosis.  |
ICSE  |
2010 |
DBLP DOI BibTeX RDF |
bug characteristics, testing, network servers, bug reports |
| 1 | Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr., Jeffrey Overbey, Vikram S. Adve, Ralph E. Johnson |
Inferring Method Effect Summaries for Nested Heap Regions.  |
ASE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Lenharth, Vikram S. Adve, Samuel T. King |
Recovery domains: an organizing principle for recoverable operating systems.  |
ASPLOS  |
2009 |
DBLP DOI BibTeX RDF |
akeso, automatic fault recovery, recovery domains |
| 1 | John Criswell, Nicolas Geoffray, Vikram S. Adve |
Memory Safety for Low-Level Software/Hardware Interactions.  |
USENIX Security Symposium  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian |
A type and effect system for deterministic parallel Java.  |
OOPSLA  |
2009 |
DBLP DOI BibTeX RDF |
deterministic parallelism, determinism, effects, commutativity, effect systems |
| 1 | Man-Lap Li, Pradeep Ramachandran, Swarup Kumar Sahoo, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou |
Understanding the propagation of hard errors to software and implications for resilient system design.  |
ASPLOS  |
2008 |
DBLP DOI BibTeX RDF |
architecture, error detection, fault injection, permanent fault |
| 1 | Swarup Kumar Sahoo, Man-Lap Li, Pradeep Ramachandran, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou |
Using likely program invariants to detect hardware errors.  |
DSN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Man-Lap Li, Pradeep Ramachandran, Swarup Kumar Sahoo, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou |
Trace-based microarchitecture-level diagnosis of permanent hardware faults.  |
DSN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gregg, Vikram S. Adve, Brian N. Bershad (eds.) |
Proceedings of the 4th International Conference on Virtual Execution Environments, VEE 2008, Seattle, WA, USA, March 5-7, 2008  |
VEE  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Vikram S. Adve, María Jesús Garzarán, Paul Petersen (eds.) |
Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers  |
LCPC  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Robert L. Bocchino Jr., Vikram S. Adve, Bradford L. Chamberlain |
Software transactional memory for large scale clusters.  |
PPOPP  |
2008 |
DBLP DOI BibTeX RDF |
clusters, scalability, software transactional memory (stm), distributed memory architectures |
| 1 | Chris Lattner, Andrew Lenharth, Vikram S. Adve |
Making context-sensitive points-to analysis with heap cloning practical for the real world.  |
PLDI  |
2007 |
DBLP DOI BibTeX RDF |
field-sensitive, static analysis, pointer analysis, context-sensitive, recursive data structure, interprocedural |
| 1 | John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve |
Secure virtual architecture: a safe execution environment for commodity operating systems.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
security, compiler, virtual machine, operating systems, type safety, memory safety, typed assembly language |
| 1 | Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve |
SAFECode: enforcing alias analysis for weakly typed languages.  |
PLDI  |
2006 |
DBLP DOI BibTeX RDF |
automatic pool allocation, compilers, programming languages, alias analysis, region management |
| 1 | Dinakar Dhurjati, Vikram S. Adve |
Efficiently Detecting All Dangling Pointer Uses in Production Servers.  |
DSN  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert L. Bocchino Jr., Vikram S. Adve |
Vector LLVA: a virtual vector instruction set for media processing.  |
VEE  |
2006 |
DBLP DOI BibTeX RDF |
virtual instruction sets, multimedia, SIMD, vector |
| 1 | Dinakar Dhurjati, Vikram S. Adve |
Backwards-compatible array bounds checking for C with very low overhead.  |
ICSE  |
2006 |
DBLP DOI BibTeX RDF |
automatic pool allocation, compilers, programming languages, array bounds checking, region management |
| 1 | Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner |
Memory safety without garbage collection for embedded applications.  |
ACM Trans. Embedded Comput. Syst.  |
2005 |
DBLP DOI BibTeX RDF |
automatic pool allocation, security, Embedded systems, compilers, static analysis, programming languages, region management |
| 1 | Chris Lattner, Vikram S. Adve |
Automatic pool allocation: improving performance by controlling data structure layout in the heap.  |
PLDI  |
2005 |
DBLP DOI BibTeX RDF |
pool allocation, cache, static analysis, data layout, recursive data structure |
| 1 | Chris Lattner, Vikram S. Adve |
Transparent pointer compression for linked data structures.  |
Memory System Performance  |
2005 |
DBLP DOI BibTeX RDF |
pointer compression, cache, static analysis, data layout, recursive data structure |
| 1 | Vikram S. Adve, Adnan Agbaria, Matti A. Hiltunen, Ravishankar K. Iyer, Kaustubh R. Joshi, Zbigniew Kalbarczyk, Ryan M. Lefever, Raymond Plante, William H. Sanders, Richard D. Schlichting |
A Compiler-Enabled Model- and Measurement-Driven Adaptation Environment for Dependability and Performance.  |
IPDPS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Qing Yi, Ken Kennedy, Vikram S. Adve |
Transforming Complex Loop Nests for Locality.  |
The Journal of Supercomputing  |
2004 |
DBLP DOI BibTeX RDF |
complex loop structure, linear algebra kernels, compiler optimization, loop transformation |
| 1 | Vikram S. Adve, Mary K. Vernon |
Parallel program performance prediction using deterministic task graph analysis.  |
ACM Trans. Comput. Syst.  |
2004 |
DBLP DOI BibTeX RDF |
parallel program performance prediction, shared memory, Analytical model, task scheduling, queueing network, task graph, deterministic model |
| 1 | Chris Lattner, Vikram S. Adve |
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation.  |
CGO  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vikram S. Adve, Michael Brukman, Alkis Evlogimenos, Brian Gaeke |
Software Implications of Virtual Instruction Set Computers.  |
IPDPS Next Generation Software Program - NSFNGS - PI Workshop  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Ensink, Vikram S. Adve |
Coordinating Adaptations in Distributed Systems.  |
ICDCS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Lattner, Vikram S. Adve |
The LLVM Compiler Framework and Infrastructure Tutorial.  |
LCPC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Ensink, Joel Stanley, Vikram S. Adve |
Program Control Language: a programming language for adaptive distributed applications.  |
J. Parallel Distrib. Comput.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vikram S. Adve, James C. Browne, Brian Ensink, John R. Rice, Patricia J. Teller, Mary K. Vernon, Stephen J. Wright |
An Approach to Optimizing Adaptive Parabolic PDE Solvers for the Grid.  |
IPDPS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vikram S. Adve, Chris Lattner, Michael Brukman, Anand Shukla, Brian Gaeke |
LLVA: A Low-level Virtual Instruction Set Architecture.  |
MICRO  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner |
Memory safety without runtime checks or garbage collection.  |
LCTES  |
2003 |
DBLP DOI BibTeX RDF |
automatic pool allocation, security, embedded systems, compilers, static analysis, programming languages, region management |
| 1 | John M. Mellor-Crummey, Vikram S. Adve, Bradley Broom, Daniel G. Chavarría-Miranda, Robert J. Fowler, Guohua Jin, Ken Kennedy, Qing Yi |
Advanced optimization strategies in the Rice dHPF compiler.  |
Concurrency and Computation: Practice and Experience  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vikram S. Adve, Rajive Bagrodia, Ewa Deelman, Rizos Sakellariou |
Compiler-Optimized Simulation of Large-Scale Applications on High Performance Architectures.  |
J. Parallel Distrib. Comput.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vikram S. Adve, Afolami Akinsanmi, James C. Browne, Det Buaklee, Guoshen Deng, Vinh Vi Lam, Trevor Morgan, John R. Rice, Gregory J. Rodin, Patricia J. Teller, Gregory F. Tracy, Mary K. Vernon, Stephen J. Wright |
Model-Based Control of Adaptive Applications: An Overview. (PDF / PS)  |
IPDPS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Lattner, Shashank Shekhar, Anand Shukla, Vikram S. Adve |
Addressing Fundamental Bottlenecks in Link-Time and Dynamic Optimization. (PDF / PS)  |
IPDPS  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Chris Lattner, Vikram S. Adve |
Automatic pool allocation for disjoint data structures.  |
MSP/ISMM  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve |
Ensuring code safety without runtime checks for real-time control systems.  |
CASES  |
2002 |
DBLP DOI BibTeX RDF |
security, real-time, compiler, static analysis, control, programming language |
| 1 | Vikram S. Adve, John M. Mellor-Crummey |
Advanced Code Generation for High Performance Fortran.  |
Compiler Optimizations for Scalable Parallel Systems Languages  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewa Deelman, Rajive Bagrodia, Rizos Sakellariou, Vikram S. Adve |
Improving lookahead in parallel discrete event simulations of large-scale applications using compiler analysis.  |
Workshop on Parallel and Distributed Simulation  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vikram S. Adve, Vinh Vi Lam, Brian Ensink |
Language and Compiler Support for Adaptive Distributed Applications.  |
LCTES/OM  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vikram S. Adve, Rajive Bagrodia, James C. Browne, Ewa Deelman, Aditya Dube, Elias N. Houstis, John R. Rice, Rizos Sakellariou, David Sundaram-Stukel, Patricia J. Teller, Mary K. Vernon |
POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems.  |
IEEE Trans. Software Eng.  |
2000 |
DBLP DOI BibTeX RDF |
recommender system, message passing, Performance modeling, analytical modeling, parallelizing compiler, parallel system, parallel simulation, task graph, compositional modeling, processor simulation |
| 1 | Qing Yi, Vikram S. Adve, Ken Kennedy |
Transforming loops to recursion for multi-level memory hierarchies.  |
PLDI  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Vikram S. Adve, Rizos Sakellariou |
Compiler Synthesis of Task Graphs for Parallel Program Performance Prediction.  |
LCPC  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John M. Mellor-Crummey, Vikram S. Adve |
Simplifying Control Flow in Compiler-Generated Parallel Code.  |
International Journal of Parallel Programming  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Vikram S. Adve, John M. Mellor-Crummey |
Using Integer Sets for Data-Parallel Program Analysis and Optimization.  |
PLDI  |
1998 |
DBLP DOI BibTeX RDF |
FORTRAN |
| 1 | Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo, Richard L. Oliver, David Sundaram-Stukel, Harvey J. Wasserman, Vikram S. Adve, Rajive Bagrodia, James C. Browne, Elias N. Houstis, Olaf M. Lubeck, John R. Rice, Patricia J. Teller, Mary K. Vernon |
Poems: end-to-end performance design of large parallel adaptive computational systems.  |
WOSP  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John M. Mellor-Crummey, Vikram S. Adve |
Simplifying Control Flow in Compiler-Generated Parallel Code.  |
LCPC  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hazim Abdel-Shafi, Jonathan Hall, Sarita V. Adve, Vikram S. Adve |
An Evaluation of Fine-Grain Producer-Initiated Communication in Cache-Coherent Multiprocessors.  |
HPCA  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Vikram S. Adve, John M. Mellor-Crummey, Mark Anderson, Ken Kennedy, Jhy-Chun Wang, Daniel A. Reed |
An Integrated Compilation and Performance Analysis Environment for Data Parallel Programs.  |
SC  |
1995 |
DBLP BibTeX RDF |
|
| 1 | Vikram S. Adve, Mary K. Vernon |
Performance Analysis of Mesh Interconnection Networks with Deterministic Routing.  |
IEEE Trans. Parallel Distrib. Syst.  |
1994 |
DBLP DOI BibTeX RDF |
mesh interconnection networks, single-hit buffers, infinite buffers, nonadaptive deadlock-free routing scheme, closedqueueing network, message blocking, message pipelining, arbitrary source-destinationprobability distribution, 2D networks, shared-memory traffic, two dimensional network, performance evaluation, performance analysis, concurrency control, probability, multiprocessor interconnection networks, queueing theory, wormhole routing, network routing, virtual channels, deterministic routing, k-ary n-cube networks, deadlock-free routing algorithm, performance issues |
| 1 | Vikram S. Adve, Mary K. Vernon |
The Influence of Random Delays on Parallel Execution Times.  |
SIGMETRICS  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarita V. Adve, Vikram S. Adve, Mark D. Hill, Mary K. Vernon |
Comparison of Hardware and Software Cache Coherence Schemes.  |
ISCA  |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #57 of 57 (100 per page; Change: )
|
|