Search results for "PLDI"

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

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