|
|
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 | Gene Novark, Emery D. Berger, Benjamin G. Zorn |
Efficiently and precisely locating memory leaks and bloat. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
heap profiling, hound, memory leak detection, virtual compaction, dynamic memory allocation |
1 | Michael Hind, Amer Diwan (eds.) |
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009 |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau |
Error propagation analysis for file systems. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
copy constant propagation, interprocedural dataflow analysis, weighted pushdown systems, binary decision diagrams, static program analysis |
1 | Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala |
Type-based data structure verification. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
hindley-milner, type inference, dependent types, predicate abstraction |
1 | Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David Mandelin, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Jesse Ruderman, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz |
Trace-based just-in-time type specialization for dynamic languages. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
trace-based compilation, dynamically typed languages |
1 | August Schwerdfeger, Eric Van Wyk |
Verifiable composition of deterministic grammars. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
context-aware scanning, grammar composition, language composition, lr parsing, extensible languages |
1 | Jason Ansel, Cy P. Chan, Yee Lok Wong, Marek Olszewski, Qin Zhao, Alan Edelman, Saman P. Amarasinghe |
PetaBricks: a language and compiler for algorithmic choice. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
algorithmic choice, implicitly parallel, adaptive, compiler, language, autotuning |
1 | Tillmann Rendel, Klaus Ostermann, Christian Hofer |
Typed self-representation. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
self interpretation, reflection, types, lambda calculus, language design |
1 | Iulian Neamtiu, Michael W. Hicks |
Safe and timely updates to multi-threaded programs. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
update safety, update timeliness, multi-threading, dynamic software updating |
1 | Edward Aftandilian, Samuel Z. Guyer |
GC assertions: using the garbage collector to check heap properties. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
heap properties, garbage collection, dynamic analysis |
1 | Jean-Baptiste Tristan, Xavier Leroy |
Verified validation of lazy code motion. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
lazy code motion, the coq proof assistant, redundancy elimination, translation validation, verified compilers |
1 | Tristan Ravitch, Steve Jackson 0002, Eric Aderhold, Ben Liblit |
Automatic generation of library bindings using static analysis. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces |
1 | Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman |
TAJ: effective taint analysis of web applications. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
security, java, static analysis, web application, program analysis, slicing, taint analysis |
1 | Karen Zee, Viktor Kuncak, Martin C. Rinard |
An integrated proof language for imperative programs. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
verification, theorem prover, proof system |
1 | Matthew A. Hammer, Umut A. Acar, Yan Chen 0001 |
CEAL: a C-based language for self-adjusting computation. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
control and data flow, tail calls, trampolines, performance, compilation, dominators, self-adjusting computation |
1 | Guoqing Xu 0001, Matthew Arnold, Nick Mitchell, Atanas Rountev, Gary Sevitsky |
Go with the flow: profiling copies to find runtime bloat. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
copy graph, memory bloat, profiling, heap analysis |
1 | Bratin Saha, Xiaocheng Zhou, Hu Chen, Ying Gao, Shoumeng Yan, Mohan Rajagopalan, Jesse Fang, Peinan Zhang, Ronny Ronen, Avi Mendelson |
Programming model for a heterogeneous x86 platform. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
programming model, heterogeneous platforms |
1 | V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee 0001 |
Merlin: specification inference for explicit information flow problems. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
security analysis tools, specification inference |
1 | Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner |
Staged information flow for javascript. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
integrity, web applications, confidentiality, flow analysis, set constraints |
1 | Pieter Hooimeijer, Westley Weimer |
A decision procedure for subset constraints over regular languages. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
decision procedure, regular language |
1 | Xin Qi 0012, Andrew C. Myers |
Sharing classes between families. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
family inheritance, masked types, views |
1 | Saurabh Srivastava 0001, Sumit Gulwani |
Program verification using templates over predicate abstraction. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers |
1 | Sudipta Kundu, Zachary Tatlock, Sorin Lerner |
Proving optimizations correct using parameterized program equivalence. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
compiler optimization, correctness, translation validation |
1 | Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan |
Semantics-aware trace analysis. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
semantic tracing, trace views, tracing, testing tools, automated debugging, debugging aids |
1 | Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikakis |
Type-preserving compilation for large-scale optimizing object-oriented compilers. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
object-oriented compilers, type-preserving compilation |
1 | Fernando Magno Quintão Pereira, Jens Palsberg |
Register allocation by puzzle solving. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
puzzle solving, register aliasing, register allocation |
1 | Xinyu Feng 0001, Zhong Shao, Yuan Dong, Yu Guo |
Certifying low-level programs with hardware interrupts and preemptive threads. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
certified system software, hardware interrupts, preemptive threads, concurrency, separation logic |
1 | Patrice Godefroid, Adam Kiezun, Michael Y. Levin |
Grammar-based whitebox fuzzing. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
software testing, program verification, grammars, automatic test generation |
1 | Uday Bondhugula, Albert Hartono, J. Ramanujam, P. Sadayappan |
A practical automatic polyhedral parallelizer and locality optimizer. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
tiling, automatic parallelization, loop transformations, affine transformations, locality optimization, polyhedral model |
1 | Hans-Juergen Boehm, Sarita V. Adve |
Foundations of the C++ concurrency memory model. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
trylock, c++, memory model, data race, sequential consistency, memory consistency |
1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Sound, complete and scalable path-sensitive analysis. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
path- and context-sensitive analysis, strongest necessary/weakest sufficient conditons, static analysis |
1 | Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen 0001, John Cavazos |
Iterative optimization in the polyhedral model: part ii, multidimensional time. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
genetic algorithm, loop transformation, iterative compilation, affine scheduling |
1 | Manjunath Kudlur, Scott A. Mahlke |
Orchestrating the execution of stream programs on multicore platforms. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
multicore, software pipelining, cell processor, stream programming, streamit |
1 | Cormac Flanagan, Stephen N. Freund, Jaeheon Yi |
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
dynamic analysis, atomicity, serializability |
1 | Koushik Sen |
Race directed random testing of concurrent programs. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
concurrency, dynamic analysis, random testing, race detection |
1 | Sebastian Hack, Gerhard Goos |
Copy coalescing by graph recoloring. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
graph coloring, register allocation, ssa form |
1 | Bin Xin 0001, William N. Sumner, Xiangyu Zhang 0001 |
Efficient program execution indexing. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
execution alignment, semantic augmentation, structural indexing, data race, control dependence, execution indexing |
1 | Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani |
Inferring locks for atomic sections. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
atomic sections, static lock inference, concurrency |
1 | Tachio Terauchi |
Checking race freedom via linear programming. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
fractional capabilities, linear programming |
1 | Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh |
Model checking transactional memories. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
model checking, transactional memories |
1 | Martin T. Vechev, Eran Yahav |
Deriving linearizable fine-grained concurrent objects. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
algorithms, model checking, data structures, concurrency, linearizability |
1 | Shan Shan Huang, Yannis Smaragdakis |
Expressive and safe static reflection with MorphJ. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
class morphing, structural abstraction, object-oriented programming, aspect-oriented programming, meta-programming, language extensions |
1 | Rajiv Gupta 0001, Saman P. Amarasinghe (eds.) |
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008 |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Halbwachs, Mathias Péron |
Discovering properties about arrays in simple programs. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
sentinel, invariant synthesis, abstract interpretation, program verification, arrays, sorting algorithms |
1 | Stephen M. Blackburn, Kathryn S. McKinley |
Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
free-list, immix, mark-region, semi-space, sweep-to-free-list, sweep-to-region, locality, fragmentation, compaction, mark-sweep |
1 | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
Liquid types. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
hindley-milner, type inference, dependent types, predicate abstraction |
1 | Madanlal Musuvathi, Shaz Qadeer |
Fair stateless model checking. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
model checking, concurrency, software testing, fairness, multi-threading, liveness, shared-memory programs |
1 | Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer |
SharC: checking data sharing strategies for multithreaded C. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
data-race |
1 | Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan |
Program analysis as constraint solving. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
most-general counterexamples, non-termination analysis, strongest postcondition, program verification, constraint solving, weakest precondition, bounds analysis |
1 | Filip Pizlo, Erez Petrank, Bjarne Steensgaard |
A study of concurrent real-time garbage collectors. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
lock-free computation, real-time, garbage collection, memory management, concurrent garbage collection |
1 | Vineet Kahlon |
Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
steensgaard partitioning, summarization, divide and conquer, context-sensitive analysis, demand-driven analysis |
1 | Stephen McCamant, Michael D. Ernst |
Quantitative information flow as network flow capacity. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
implicit flow, dynamic analysis, information-flow analysis |
1 | Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner |
Dataflow analysis for concurrent programs using datarace detection. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
locksets, interprocedural analysis, multithreaded programs, summaries |
1 | Karen Zee, Viktor Kuncak, Martin C. Rinard |
Full functional verification of linked data structures. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
java, verification, data structure, decision procedure, theorem prover |
1 | Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík |
Sketching concurrent data structures. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
concurrency, synthesis, sketching, sat, spin |
1 | Daniel von Dincklage, Amer Diwan |
Explaining failures of program analyses. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
analyses, reasons |
1 | Ahmed M. Amin, Mithuna Thottethodi, T. N. Vijaykumar, Steven Wereley, Stephen C. Jacobson |
Automatic volume management for programmable microfluidics. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
fluid volume management, programmable lab on a chip, microfluidics |
1 | Michal Wegiel, Chandra Krintz |
XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
class loading, managed runtimes, type-safe, parallel, synchronization, garbage collection, shared memory, transparent, interprocess communication |
1 | Xi Wang 0005, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang 0001 |
Conditional correlation analysis for safe region-based memory management. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
conditional correlation, program analysis, memory management, error detection, region |
1 | John Kodumal, Alex Aiken |
Regularly annotated set constraints. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
annotated inclusion constraints, pushdown model checking, flow analysis, set constraints, context-free language reachability |
1 | Adam Chlipala |
A certified type-preserving compiler from lambda calculus to assembly language. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
denotational semantics, dependent types, compiler verification, interactive proof assistants |
1 | Pierre Genevès, Nabil Layaïda, Alan Schmitt |
Efficient static analysis of XML paths and types. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
satisfiability, modal logic, XPath, type checking |
1 | Gary Wassermann, Zhendong Su 0001 |
Sound and precise analysis of web applications for injection vulnerabilities. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
string analysis, static analysis, web applications |
1 | Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li |
A general framework for certifying garbage collectors and their mutators. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
assembly code verification, garbage collection, abstract data type, separation logic, proof-carrying code |
1 | Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers |
Searching for type-error messages. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
seminal, type-inference, type-checking, objective Caml, error messages |
1 | Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg |
The ExoVM system for automatic VM and application reduction. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
VM design, VM modularity, pre-initialization, static compilation, embedded systems, static analysis, persistence, feature analysis, dead code elimination |
1 | Manu Sridharan, Stephen J. Fink, Rastislav Bodík |
Thin slicing. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
debugging, program understanding, slicing |
1 | Nathan Cooprider, John Regehr |
Offline compression for on-chip ram. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
sensor networks, static analysis, data compression, embedded software, TinyOS, memory optimization |
1 | Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder |
Automatically classifying benign and harmful data racesallusing replay analysis. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
benign data races, concurrency Bbugs, replay |
1 | Ajeet Shankar, Rastislav Bodík |
DITTO: automatic incrementalization of data structure invariant checks (in Java). |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
data structure invariants, optimistic memoization, program analysis, dynamic optimization, incrementalization, automatic |
1 | Feihui Li, Guangyu Chen, Mahmut T. Kandemir, Ibrahim Kolcu |
Profile-driven energy reduction in network-on-chips. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
routing, compiler, Network-on-Chip, power |
1 | Chen Ding 0001, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang, Chengliang Zhang |
Software behavior oriented parallelization. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
program behavior, speculative parallelization |
1 | Jeanne Ferrante, Kathryn S. McKinley (eds.) |
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007 |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan |
Static specification inference using predicate mining. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
predicate mining, program analysis, preconditions, specification inference |
1 | Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan |
Reliable and efficient programming abstractions for wireless sensor networks. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor networks, energy efficiency, deadlocks, serializability, macroprogramming |
1 | Weijia Li, Youtao Zhang, Jun Yang 0002, Jiang Zheng 0002 |
UCC: update-conscious compilation for energy efficiency in wireless sensor networks. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
sensor networks, register allocation, code dissemination |
1 | Milind Kulkarni 0001, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew |
Optimistic parallelism requires abstractions. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
abstractions, optimistic parallelism, irregular programs |
1 | Sigmund Cherem, Lonnie Princehouse, Radu Rugina |
Practical memory leak detection using guarded value-flow analysis. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
static error detection, value-flow analysis, memory management, memory leaks |
1 | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
Proving thread termination. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
model checking, concurrency, formal verification, program verification, threads, termination |
1 | Bolei Guo, Neil Vachharajani, David I. August |
Shape analysis with inductive recursion synthesis. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
inductive recursion synthesis, loop invariant inference, artificial intelligence, shape analysis, separation logic |
1 | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
CheckFence: checking consistency of concurrent data types on relaxed memory models. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
lock-free synchronization, shared-memory multiprocessors, multi-threading, software model checking, memory models, sequential consistency, concurrent data structures |
1 | Florian T. Schneider, Mathias Payer, Thomas R. Gross |
Online optimizations driven by hardware performance monitoring. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
Java, dynamic optimization, just-in-time compilation, hardware performance monitors |
1 | Hongxu Cai, Zhong Shao, Alexander Vaynberg |
Certified self-modifying code. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
assembly code verification, runtime code manipulation, self-modifying code, hoare logic, modular verification |
1 | Madanlal Musuvathi, Shaz Qadeer |
Iterative context bounding for systematic testing of multithreaded programs. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
context-bounding, model checking, concurrency, software testing, multithreading, partial-order reduction, shared-memory programs |
1 | Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat |
Mace: language support for building distributed systems. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
Mace, distributed systems, model checking, concurrency, debugging, domain specific languages, event driven programming |
1 | Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker 0001 |
Fault-tolerant typed assembly language. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
transient hardware faults, fault tolerance, typed assembly language, soft faults |
1 | Erika Rice Scherpelz, Sorin Lerner, Craig Chambers |
Automatic inference of optimizer flow functions from semantic meanings. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Nethercote, Julian Seward |
Valgrind: a framework for heavyweight dynamic binary instrumentation. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
Memcheck, Valgrind, dynamic binary analysis, dynamic binary instrumentation, shadow values |
1 | Ben Hardekopf, Calvin Lin |
The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
pointer analysis |
1 | Tatiana Shpeisman, Vijay Menon 0002, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha |
Enforcing isolation and ordering in STM. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
weak atomicity, virtual machines, code generation, transactional memory, compiler optimizations, isolation, ordering, escape analysis, strong atomicity |
1 | Gene Novark, Emery D. Berger, Benjamin G. Zorn |
Exterminator: automatically correcting memory errors with high probability. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
dieFast, exterminator, randomized algorithms, error correction, probabilistic algorithms, dynamic memory allocation, memory errors |
1 | Perry H. Wang, Jamison D. Collins, Gautham N. Chinya, Hong Jiang, Xinmin Tian, Milind Girkar, Nick Y. Yang, Guei-Yuan Lueh, Hong Wang 0003 |
EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
GPU, openMP, heterogeneous multi-cores |
1 | Dirk Beyer 0001, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko |
Path invariants. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
invariant synthesis, formal verification, software model checking, predicate abstraction, abstraction refinement |
1 | Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
Automatic inversion generates divide-and-conquer parallel programs. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
divide-and-conquer parallelism, third homomorphism theorem, program transformation, inversion |
1 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
Goldilocks: a race and transaction-aware java runtime. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
Java runtime, software transactions, runtime monitoring, data-race detection |
1 | Xiangyu Zhang 0001, Sriraman Tallam, Neelam Gupta, Rajiv Gupta 0001 |
Towards locating execution omission errors. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
execution omission, implicit dependence, potential dependence, predicate switching, relevant slicing, debugging |
1 | Jungwoo Ha, Christopher J. Rossbach, Jason V. Davis, Indrajit Roy 0001, Hany E. Ramadan, Donald E. Porter, David L. Chen, Emmett Witchel |
Improved error reporting for software that uses black-box components. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
software support, machine learning, classification, profiling, error report |
1 | Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv |
Thread-modular shape analysis. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, concurrent programming, shape analysis |
1 | Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky |
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
verification, synthesis, concurrent garbage collection, concurrent algorithms |
1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Static error detection using semantic inconsistency inference. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
static analysis, error detection, satisfiability, inconsistency |
Displaying result #801 - #900 of 1518 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|