|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1256 occurrences of 615 keywords
|
|
|
Results
Found 1518 publication records. Showing 1518 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Peng Li, Steve Zdancewic |
Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
scalability, networking, concurrency, programming, implementation, haskell, event, thread, monad |
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 | Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia |
Sketching stencils. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
sketching, SAT, stencil |
1 | Lakshminarayanan Renganarayanan, DaeGon Kim, Sanjay V. Rajopadhye, Michelle Mills Strout |
Parameterized tiled loops for free. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
parameterized tiling, code generation, bounding box, Fourier-Motzkin elimination |
1 | Sriram Krishnamoorthy, Muthu Manikandan Baskaran, Uday Bondhugula, J. Ramanujam, Atanas Rountev, P. Sadayappan |
Effective automatic parallelization of stencil computations. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
tiling, automatic parallelization, load, stencil computations |
1 | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
Termination proofs for systems code. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
model checking, formal verification, program verification, program termination |
1 | Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan |
An experimental analysis of self-adjusting computation. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
performance, computational geometry, dynamic algorithms, self-adjusting computation, memorization, dynamic dependence graphs |
1 | Takuya Nakaike, Tatsushi Inagaki, Hideaki Komatsu, Toshio Nakatani |
Profile-based global live-range splitting. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
live-range splitting, graph coloring, register allocation |
1 | Gang Ren 0002, Peng Wu 0001, David A. Padua |
Optimizing data permutations for SIMD devices. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
SIMD compilation, data permutation, optimization |
1 | Olin Shivers, Matthew Might |
Continuations and transducer composition. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
lambda, program analysis, continuations, fusion, language design, functional languages, stream processing, calculus, flow analysis, continuation-passing style (CPS), coroutines |
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 | Tim Harris 0001, Mark Plesko, Avraham Shinnar, David Tarditi |
Optimizing memory transactions. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
critical regions, transactional memory, atomicity |
1 | Brian D. Carlstrom, Austen McDonald, Hassan Chafi, JaeWoong Chung, Chi Cao Minh, Christoforos E. Kozyrakis, Kunle Olukotun |
The Atomos transactional programming language. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
conditional synchronization, java, transactional memory, multiprocessor architecture |
1 | Manu Sridharan, Rastislav Bodík |
Refinement-based context-sensitive points-to analysis for Java. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
refinement, points-to analysis, context-sensitive analysis, demand-driven analysis |
1 | Troy A. Johnson, Rudolf Eigenmann |
Context-sensitive domain-independent algorithm composition and selection. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
bioinformatics, domain-specific languages, automated planning, algorithm selection, algorithm composition |
1 | Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni |
Modular verification of assembly code with stack-based control abstractions. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
assembly code verification, control abstractions, stack-based, modularity, proof-carrying code |
1 | Jeremy Lau, Matthew Arnold, Michael Hind, Brad Calder |
Online performance auditing: using hot optimizations without getting burned. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
feedback-directed optmizations, Java, virtual machines |
1 | David Ryan Koes, Seth Copen Goldstein |
A global progressive register allocator. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
progressive solver, register alocation |
1 | Iulian Neamtiu, Michael W. Hicks, Gareth Paul Stoyle, Manuel Oriol |
Practical dynamic software updating for C. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
function indirection, loop extraction, type wrapping, dynamic software updating |
1 | Guangyu Chen, Feihui Li, Mahmut T. Kandemir, Mary Jane Irwin |
Reducing NoC energy consumption through compiler-directed channel voltage scaling. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
compiler, network-on-chip, energy |
1 | Mayur Naik, Alex Aiken, John Whaley |
Effective static race detection for Java. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
static race detection, Java, concurrency, synchronization, multi-threading |
1 | Robert Grimm 0001 |
Better extensibility through modular syntax. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
extensible syntax, packrat parsing, parsing expression grammar, parser generator, module system |
1 | Haim Kermany, Erez Petrank |
The Compressor: concurrent, incremental, and parallel compaction. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
garbage collection, memory management, compaction, runtime systems, concurrent garbage collection |
1 | Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August |
A framework for unrestricted whole-program optimization. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
interprocedural optimization, procedure unification, region encapsulation, region formation, whole-program analysis, whole-program optimization, specialization, interprocedural analysis, inlining, path-sensitive analysis, superblock, region-based compilation |
1 | Xiangyu Zhang 0001, Neelam Gupta, Rajiv Gupta 0001 |
Pruning dynamic slices with confidence. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
data and control dependences, debugging, dynamic slicing |
1 | Martin T. Vechev, Eran Yahav, David F. Bacon |
Correctness-preserving derivation of concurrent garbage collection algorithms. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
verification, synthesis, concurrent garbage collection, concurrent algorithms |
1 | M. Anton Ertl, Kevin Casey, David Gregg |
Fast and flexible instruction selection with on-demand tree-parsing automata. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
tree parsing, dynamic programming, automaton, lazy, instruction selection |
1 | Christopher Barton, Calin Cascaval, George Almási 0001, Yili Zheng, Montse Farreras, Siddhartha Chatterjee, José Nelson Amaral |
Shared memory programming for large scale machines. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
BlueGene, PGAS programming model, UPC |
1 | Long Fei, Samuel P. Midkiff |
Artemis: practical runtime monitoring of applications for execution anomalies. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
context invariant, dynamic context, pointer-type table, selective monitoring, value invariant, debugging, runtime monitoring |
1 | Samuel Z. Guyer, Kathryn S. McKinley, Daniel Frampton |
Free-Me: a static analysis for automatic individual object reclamation. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
compiler-assisted, adaptive, locality, generational, liveness, pointer analysis, copying, mark-sweep |
1 | Ali-Reza Adl-Tabatabai, Brian T. Lewis, Vijay Menon 0002, Brian R. Murphy, Bratin Saha, Tatiana Shpeisman |
Compiler and runtime support for efficient software transactional memory. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
synchronization, virtual machines, code generation, transactional memory, compiler optimizations, locking |
1 | Wen-ke Chen, Sanjay Bhansali, Trishul M. Chilimbi, Xiaofeng Gao 0003, Weihaw Chuang |
Profile-guided proactive garbage collection for locality optimization. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
page optimization, data locality, memory optimization, cache optimization, garbage collectors |
1 | Michael I. Schwartzbach, Thomas Ball (eds.) |
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006 |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jaakko Järvi, Douglas P. Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek |
Algorithm specialization in generic programming: challenges of constrained generics in C++. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
constrained generics, generic programming, concepts, specialization, parametric polymorphism |
1 | Matthew J. Bridges, Neil Vachharajani, Guilherme Ottoni, David I. August |
Automatic instruction scheduler retargeting by reverse-engineering. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
automatic retargeting, structural hazard, compilers, reverse-engineering, instruction scheduling |
1 | Daniel Spoonhower, Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove |
Eventrons: a safe programming construct for high-frequency hard real-time applications. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
scheduling, real-time, allocation |
1 | Xiaotong Zhuang, Mauricio J. Serrano, Harold W. Cain, Jong-Deok Choi |
Accurate, efficient, and adaptive calling context profiling. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
adaptive, profiling, java virtual machine, call graph, calling context, calling context tree |
1 | Trishul M. Chilimbi, Ran Shaham |
Cache-conscious coallocation of hot data streams. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
data profiling, hot data streams, data locality, cache optimization, memory layout, dynamic allocation |
1 | Sumit Gulwani, Ashish Tiwari 0001 |
Combining abstract interpreters. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
Nelson-Oppen combination, logical product, reduced product, abstract interpreter |
1 | Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks |
LOCKSMITH: context-sensitive correlation analysis for race detection. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
locksmith, correlation, type inference, context-sensitivity, race detection, multi-threaded programming |
1 | Dorit Nuzman, Ira Rosen, Ayal Zaks |
Auto-vectorization of interleaved data for SIMD. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
SIMD, vectorization, data reuse, subword parallelism, Viterbi |
1 | Emery D. Berger, Benjamin G. Zorn |
DieHard: probabilistic memory safety for unsafe languages. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
DieHard, probabilistic memory safety, replication, randomization, dynamic memory allocation |
1 | Min Xu, Rastislav Bodík, Mark D. Hill |
A serializability violation detector for shared-memory server programs. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
multithreading, serializability, race conditions |
1 | Vivek Sarkar, Mary W. Hall (eds.) |
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005 |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy G. Siek, Andrew Lumsdaine |
Essential language support for generic programming. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
C++, Haskell, polymorphism, generic programming, standard ML |
1 | Xiaotong Zhuang, Santosh Pande |
Differential register allocation. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
architected register, differential dncoding, register allocation |
1 | Kathleen Fisher, Robert Gruber |
PADS: a domain-specific language for processing ad hoc data. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
domain-specific languages, data description language |
1 | Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu |
Programming by sketching for bit-streaming programs. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
domain specific compiler, domain specific language, sketching, synchronous dataflow, stream programming, StreamIt |
1 | Franz Franchetti, Yevgen Voronenko, Markus Püschel |
Formal loop merging for signal transforms. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
linear signal transform, domain-specific language, DFT, discrete Fourier transform, loop optimization, automatic performance tuning |
1 | Yang Ni, Ulrich Kremer, Adrian Stere, Liviu Iftode |
Programming ad-hoc networks of mobile and resource-constrained devices. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
quality of result, ad-hoc networks, MANET, service discovery, location-awareness |
1 | Tayfun Elmas, Serdar Tasiran, Shaz Qadeer |
VYRD: verifYing concurrent programs by runtime refinement-violation detection. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
refinement, runtime verification, concurrent data structures |
1 | Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan |
Scalable statistical bug isolation. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
bug isolation, feature selection, invariants, random sampling, statistical debugging |
1 | Andrew Ayers, Richard Schooler, Chris Metcalf, Anant Agarwal, Junghwan Rhee, Emmett Witchel |
TraceBack: first fault diagnosis by reconstruction of distributed control flow. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
fault diagnosis, instrumentation |
1 | Chi-Keung Luk, Robert S. Cohn, Robert Muth, Harish Patil, Artur Klauser, P. Geoffrey Lowney, Steven Wallace, Vijay Janapa Reddi, Kim M. Hazelwood |
Pin: building customized program analysis tools with dynamic instrumentation. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
program analysis tools, instrumentation, dynamic compilation |
1 | Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble |
Optimising aspectJ. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
around advice, aspect-oriented programming language, cflow pointcut, optimization, aspectJ |
1 | Brian Chin, Shane Markstrum, Todd D. Millstein |
Semantic type qualifiers. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
extensible typechecking, type qualifiers, type soundness |
1 | David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman |
Jungloid mining: helping to navigate the API jungle. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
reuse, program synthesis, mining |
1 | Matthew Hertz, Yi Feng, Emery D. Berger |
Garbage collection without paging. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
bookmarking collection, generational collection, memory pressure, garbage collection, virtual memory, paging |
1 | Neelakantan R. Krishnaswami, Jonathan Aldrich |
Permission-based ownership: encapsulating state in higher-order typed languages. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
modularity, lambda calculus, type theory, state, domains, ownership types, permissions, system f |
1 | Carlos García Quiñones, Carlos Madriles, F. Jesús Sánchez, Pedro Marcuello, Antonio González 0001, Dean M. Tullsen |
Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
pre-computation slices, automatic parallelization, thread-level parallelism, speculative multithreading |
1 | Alex Aletà, Josep M. Codina, Antonio González 0001, David R. Kaeli |
Demystifying on-the-fly spill code. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
register allocation, modulo scheduling, spill code |
1 | Hongbo Rong, Alban Douillet, Guang R. Gao |
Register allocation for software pipelined multi-dimensional loops. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
register allocation, software pipelining |
1 | Lujo Bauer, Jay Ligatti, David Walker 0001 |
Composing security policies with polymer. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
composable security policies, run-time enforcement, security automata, program monitors, edit automata |
1 | Michael Furr, Jeffrey S. Foster |
Checking type safety of foreign function calls. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
FFI, flow-sensitive type system, foreign function calls, multi-lingual type inference, multi-lingual type system, representational type, dataflow analysis, OCaml, foreign function interface |
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 | Maurice Herlihy |
The transactional manifesto: software engineering and non-blocking synchronization. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jinquan Dai, Bo Huang 0002, Long Li, Luddy Harrison |
Automatically partitioning packet processing applications for pipelined architectures. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
live-set transmission, pipelining transformation, parallel, network processor, program partition, packet processing |
1 | Patrice Godefroid, Nils Klarlund, Koushik Sen |
DART: directed automated random testing. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
software testing, interfaces, program verification, random testing, automated test generation |
1 | Ranjit Jhala, Rupak Majumdar |
Path slicing. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
counterexample analysis, program slicing |
1 | Hans-Juergen Boehm |
Threads cannot be implemented as a library. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
optimization, threads, data race, pthreads, register promotion |
1 | Michael K. Chen, Xiao-Feng Li, Ruiqi Lian, Jason H. Lin, Lixia Liu, Tao Liu, Roy Ju |
Shangri-La: achieving high performance from compiled network applications while enabling ease of programming. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
throughput-oriented computing, chip multiprocessors, network processors, program partitioning, packet processing, dataflow programming |
1 | Daniel A. Jiménez |
Code placement for improving dynamic branch prediction accuracy. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
compilers, branch prediction |
1 | William W. Pugh, Craig Chambers (eds.) |
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004 |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jianwen Zhu, Silvian Calman |
Symbolic pointer analysis revisited. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
binary decision diagrams, pointer analysis, call graph construction |
1 | Xiangyu Zhang 0001, Rajiv Gupta 0001 |
Cost effective dynamic program slicing. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
testing, debugging, dynamic dependence graph |
1 | Yutao Zhong 0001, Maksim Orlovich, Xipeng Shen, Chen Ding 0001 |
Array regrouping and structure splitting using whole-program reference affinity. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
array regrouping, reference affinity, reuse signature, structure splitting, volume distance, program transformation, program locality |
1 | John Whaley, Monica S. Lam |
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
inclusion-based, Java, scalable, logic programming, program analysis, Datalog, binary decision diagrams, cloning, pointer analysis, context-sensitive |
1 | John Kodumal, Alexander Aiken |
The set constraint/CFL reachability connection in practice. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
flow analysis, type qualifiers, set constraints, context-free language reachability |
1 | Matthew Flatt, Robert Bruce Findler |
Kill-safe synchronization abstractions. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | John Cavazos, J. Eliot B. Moss |
Inducing heuristics to decide whether to schedule. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
Jikes RVM, Java, machine learning, supervised learning, compiler optimization, instruction scheduling |
1 | Christian S. Collberg, Edward Carter, Saumya K. Debray, Andrew Huntwork, John D. Kececioglu, Cullen Linn, Michael Stepp |
Dynamic path-based software watermarking. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
watermarking, software protection, software piracy |
1 | Prasad A. Kulkarni, Stephen Hines, Jason Hiser, David B. Whalley, Jack W. Davidson, Douglas L. Jones |
Fast searches for effective optimization phase sequences. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
interactive compilation, genetic algorithms, phase ordering |
1 | Arnaud Venet, Guillaume P. Brat |
Precise and efficient static array bound checking for large embedded C programs. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
difference-bound matrices, abstract interpretation, program verification, pointer analysis, array-bound checking |
1 | Ondrej Lhoták, Laurie J. Hendren |
Jedd: a BDD-based relational extension of Java. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
boolean formula satisfiability, Java, program analysis, binary decision diagrams, language design, relations |
1 | Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard |
Region inference for an object-oriented language. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
downcasts, method overriding, region inference, type systems, memory management, object-oriented languages |
1 | Cheng Wang 0019, Zhiyuan Li 0001 |
Parametric analysis for adaptive computation offloading. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
program profiling, distributed system, program transformation, program analysis, handheld devices, program partitioning, adaptive optimization, computation offloading |
1 | Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu |
Parametric regular path queries. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
data tructures, graph query languages, optimization, algorithms, model checking, program analysis, regular expressions, memoization, precomputation, regular path queries |
1 | Andrew W. Appel |
Social processes and proofs of theorems and programs, revisited. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ali-Reza Adl-Tabatabai, Richard L. Hudson, Mauricio J. Serrano, Sreenivas Subramoney |
Prefetch inection based on hardware monitoring and object metadata. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
virtual machines, garbage collection, prefetching, compiler optimization, cache misses, profile-guided optimization |
1 | Xiaotong Zhuang, Santosh Pande |
Balancing register allocation across threads for a multithreaded network processor. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
register allocation, network processor, multithreaded processor |
1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Race checking by context inference. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
software model checking, race conditions |
1 | Alexandre E. Eichenberger, Peng Wu 0001, Kevin O'Brien |
Vectorization for SIMD architectures with alignment constraints. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
simdization, compiler, SIMD, vectorization, alignment, multimedia extensions |
1 | Maged M. Michael |
Scalable lock-free dynamic memory allocation. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
async-signal-safe, malloc, availability, lock-free |
1 | Eran Yahav, G. Ramalingam |
Verifying safety properties using separation and heterogeneous abstractions. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
typestate verification, verification, program analysis, abstract interpretation, safety properties |
1 | Michael D. Smith 0001, Norman Ramsey, Glenn H. Holloway |
A generalized algorithm for graph-coloring register allocation. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
graph coloring, register allocation |
1 | Shaz Qadeer, Dinghao Wu |
KISS: keep it simple and sequential. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
assertion checking, concurrent software, model checking, program analysis, race detection |
1 | Manish Vachharajani, Neil Vachharajani, David I. August |
The liberty structural specification language: a high-level modeling language for component reuse. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
Liberty Structural Specification (LSS), simulator construction, use-based specialization, type inference, component reuse, structural modeling, Liberty Simulation Environment (LSE) |
1 | Troy A. Johnson, Rudolf Eigenmann, T. N. Vijaykumar |
Min-cut program decomposition for thread-level speculation. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
partitioning, chip multiprocessor, thread-level speculation, min-cut, program decomposition |
1 | Zhao-Hui Du, Chu-Cheow Lim, Xiao-Feng Li, Chen Yang, Qingyu Zhao, Tin-Fook Ngai |
A cost-driven compilation framework for speculative parallelization of sequential programs. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
cost-driven compilation, speculative parallel threading, loop transformation, thread-level speculation, speculative multithreading, speculative parallelization |
1 | David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler |
The nesC language: A holistic approach to networked embedded systems. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
first-order, concurrency, components, C, programming languages, modules, TinyOS, data races, nesC |
Displaying result #901 - #1000 of 1518 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|