Search results for "PLDI"

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

Publications at "PLDI"( http://dblp.L3S.de/Venues/PLDI )