Search results for "PLDI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen	Languages as libraries.	PLDI	2011	DBLP DOI BibTeX RDF
1	Xun Li 0001, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf	Caisson: a hardware description language for secure information flow.	PLDI	2011	DBLP DOI BibTeX RDF
1	Shigeyuki Sato 0001, Hideya Iwasaki	Automatic parallelization via matrix multiplication.	PLDI	2011	DBLP DOI BibTeX RDF
1	Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett	Evaluating value-graph translation validation for LLVM.	PLDI	2011	DBLP DOI BibTeX RDF
1	Manu Jose, Rupak Majumdar	Cause clue clauses: error localization using maximum satisfiability.	PLDI	2011	DBLP DOI BibTeX RDF
1	Na Meng 0001, Miryung Kim, Kathryn S. McKinley	Systematic editing: generating program transformations from an example.	PLDI	2011	DBLP DOI BibTeX RDF
1	Xuejun Yang, Yang Chen 0024, Eric Eide, John Regehr	Finding and understanding bugs in C compilers.	PLDI	2011	DBLP DOI BibTeX RDF
1	Juan Antonio Navarro Pérez, Andrey Rybalchenko	Separation logic + superposition calculus = heap theorem prover.	PLDI	2011	DBLP DOI BibTeX RDF
1	Naoki Kobayashi 0001, Ryosuke Sato 0001, Hiroshi Unno 0001	Predicate abstraction and CEGAR for higher-order model checking.	PLDI	2011	DBLP DOI BibTeX RDF
1	Sumit Gulwani, Susmit Jha, Ashish Tiwari 0001, Ramarathnam Venkatesan	Synthesis of loop-free programs.	PLDI	2011	DBLP DOI BibTeX RDF
1	Ashwin Prasad, Jayvant Anantpur, R. Govindarajan	Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors.	PLDI	2011	DBLP DOI BibTeX RDF
1	Brandon Lucia, Benjamin P. Wood, Luis Ceze	Isolating and understanding concurrency errors using reconstructed execution fragments.	PLDI	2011	DBLP DOI BibTeX RDF
1	John Altidor, Shan Shan Huang, Yannis Smaragdakis	Taming the wildcards: combining definition- and use-site variance.	PLDI	2011	DBLP DOI BibTeX RDF
1	Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari 0001	Synthesizing geometry constructions.	PLDI	2011	DBLP DOI BibTeX RDF
1	Michael Kuperstein 0001, Martin T. Vechev, Eran Yahav	Partial-coherence abstractions for relaxed memory models.	PLDI	2011	DBLP DOI BibTeX RDF
1	Prakash Prabhu, Soumyadeep Ghosh, Yun Zhang 0005, Nick P. Johnson, David I. August	Commutative set: a language extension for implicit parallel programming.	PLDI	2011	DBLP DOI BibTeX RDF
1	Jaroslav Sevcík	Safe optimisations for shared-memory concurrent programs.	PLDI	2011	DBLP DOI BibTeX RDF
1	Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv	Precise and compact modular procedure summaries for heap manipulating programs.	PLDI	2011	DBLP DOI BibTeX RDF
1	Micah J. Best, Shane Mottishaw, Craig Mustard, Mark Roth, Alexandra Fedorova, Andrew Brownsword	Synchronization via scheduling: techniques for efficiently managing shared state.	PLDI	2011	DBLP DOI BibTeX RDF
1	Guoliang Jin, Linhai Song, Wei Zhang 0022, Shan Lu 0001, Ben Liblit	Automated atomicity-violation fixing.	PLDI	2011	DBLP DOI BibTeX RDF
1	Keshav Pingali, Donald Nguyen, Milind Kulkarni 0001, Martin Burtscher, Muhammad Amber Hassaan, Rashid Kaleem, Tsung-Hsien Lee, Andrew Lenharth, Roman Manevich, Mario Méndez-Lojo, Dimitrios Prountzos, Xin Sui	The tao of parallelism in algorithms.	PLDI	2011	DBLP DOI BibTeX RDF
1	Jason Ansel, Petr Marchenko, Úlfar Erlingsson, Elijah Taylor, Brad Chen, Derek L. Schuff, David Sehr, Cliff Biffle, Bennet Yee	Language-independent sandboxing of just-in-time compilation and self-modifying code.	PLDI	2011	DBLP DOI BibTeX RDF
1	Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu	Garbage collection for monitoring parametric properties.	PLDI	2011	DBLP DOI BibTeX RDF
1	Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu	On inter-procedural analysis of programs with lists and data.	PLDI	2011	DBLP DOI BibTeX RDF
1	Ross Tate, Alan Leung, Sorin Lerner	Taming wildcards in Java's type system.	PLDI	2011	DBLP DOI BibTeX RDF
1	Saturnino Garcia, Donghwan Jeon, Christopher M. Louie, Michael Bedford Taylor	Kremlin: rethinking and rebooting gprof for the multicore age.	PLDI	2011	DBLP DOI BibTeX RDF
1	Arun Raman, Hanjun Kim 0001, Taewook Oh, Jae W. Lee, David I. August	Parallelism orchestration using DoPE: the degree of parallelism executive.	PLDI	2011	DBLP DOI BibTeX RDF
1	Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams	Understanding POWER multiprocessors.	PLDI	2011	DBLP DOI BibTeX RDF
1	Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi	Mining hot calling contexts in small space.	PLDI	2011	DBLP DOI BibTeX RDF
1	Changhee Jung, Silvius Rus, Brian P. Railing, Nathan Clark, Santosh Pande	Brainy: effective selection of data structures.	PLDI	2011	DBLP DOI BibTeX RDF
1	Nels E. Beckman, Aditya V. Nori	Probabilistic, modular and scalable inference of typestate specifications.	PLDI	2011	DBLP DOI BibTeX RDF
1	Qiang Zeng 0001, Dinghao Wu, Peng Liu 0005	Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures.	PLDI	2011	DBLP DOI BibTeX RDF
1	Aditya Budi, David Lo 0001, Lingxiao Jiang, Lucia	kb-anonymity: a model for anonymized behaviour-preserving test and debugging data.	PLDI	2011	DBLP DOI BibTeX RDF
1	Hucheng Zhou, Wenguang Chen, Fred C. Chow	An SSA-based algorithm for optimal speculative code motion under an execution profile.	PLDI	2011	DBLP DOI BibTeX RDF
1	Deokhwan Kim, Martin C. Rinard	Verification of semantic commutativity conditions and inverse operations on linked data structures.	PLDI	2011	DBLP DOI BibTeX RDF
1	Thomas B. Jablin, Prakash Prabhu, James A. Jablin, Nick P. Johnson, Stephen R. Beard, David I. August	Automatic CPU-GPU communication management and optimization.	PLDI	2011	DBLP DOI BibTeX RDF
1	Patrice Godefroid	Higher-order test generation.	PLDI	2011	DBLP DOI BibTeX RDF
1	Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv	Data representation synthesis.	PLDI	2011	DBLP DOI BibTeX RDF
1	Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen	NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.	PLDI	2011	DBLP DOI BibTeX RDF
1	Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer	Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses.	PLDI	2010	DBLP DOI BibTeX RDF	dynamic analysis, context sensitivity, bug detection
1	Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter	Complete functional synthesis.	PLDI	2010	DBLP DOI BibTeX RDF	bapa, synthesis procedure, decision procedure, presburger arithmetic
1	Guoqing Xu 0001, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, Gary Sevitsky	Finding low-utility data structures.	PLDI	2010	DBLP DOI BibTeX RDF	abstract dynamic thin slicing, memory bloat, cost benefit analysis
1	Emina Torlak, Mandana Vaziri, Julian Dolby	MemSAT: checking axiomatic specifications of memory models.	PLDI	2010	DBLP DOI BibTeX RDF	sat, bounded model checking, memory models, axiomatic specifications
1	Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons, Todd C. Mowry	Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools.	PLDI	2010	DBLP DOI BibTeX RDF	dynamic code optimization, dynamic correctness checking, dynamic program analysis
1	Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy	DRFX: a simple and efficient memory model for concurrent programming languages.	PLDI	2010	DBLP DOI BibTeX RDF	memory model exception, soft fences, memory models, data races, sequential consistency
1	Jean Yang 0001, Chris Hawblitzel	Safe to the last instruction: automated verification of a type-safe operating system.	PLDI	2010	DBLP DOI BibTeX RDF	verification, operating system, type safety, run-time system
1	Jennifer B. Sartor, Stephen M. Blackburn, Daniel Frampton, Martin Hirzel, Kathryn S. McKinley	Z-rays: divide arrays and conquer speed and flexibility.	PLDI	2010	DBLP DOI BibTeX RDF	arraylets, z-rays, compression, arrays, heap
1	Juan Chen 0002, Ravi Chugh, Nikhil Swamy	Type-preserving compilation of end-to-end verification of security enforcement.	PLDI	2010	DBLP DOI BibTeX RDF	bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security
1	Yang Chen, Yuanjie Huang, Lieven Eeckhout, Grigori Fursin, Liang Peng, Olivier Temam, Chengyong Wu	Evaluating iterative optimization across 1000 datasets.	PLDI	2010	DBLP DOI BibTeX RDF	benchmarking, compiler optimization, iterative optimization
1	Chen Tian 0002, Min Feng 0001, Rajiv Gupta 0001	Supporting speculative parallelization in the presence of dynamic data structures.	PLDI	2010	DBLP DOI BibTeX RDF	multicore processors, speculative parallelization
1	Heidi Pan, Benjamin Hindman, Krste Asanovic	Composing parallel software efficiently with lithe.	PLDI	2010	DBLP DOI BibTeX RDF	cooperative scheduling, oversubscription, user-level scheduling, parallelism, resource management, composability, hierarchical scheduling
1	Yi Yang 0018, Ping Xiang, Jingfei Kong, Huiyang Zhou	A GPGPU compiler for memory optimization and parallelism management.	PLDI	2010	DBLP DOI BibTeX RDF	compiler, gpgpu
1	Edwin M. Westbrook, Mathias Ricken, Jun Inoue 0001, Yilong Yao, Tamer Abdelatif, Walid Taha	Mint: Java multi-stage programming using weak separability.	PLDI	2010	DBLP DOI BibTeX RDF	multi-staged languages, java, type systems, multi-stage programming
1	Qian Xi, David Walker 0001	A context-free markup language for semi-structured text.	PLDI	2010	DBLP DOI BibTeX RDF	ANNE, ad hoc data, domain-specific languages, PADS, tool generation
1	Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster	Mixing type checking and symbolic execution.	PLDI	2010	DBLP DOI BibTeX RDF	mix rules, mixed off-the-shelf analysis, symbolic execution, precision, type checking, mix, false alarms
1	Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek	Schism: fragmentation-tolerant real-time garbage collection.	PLDI	2010	DBLP DOI BibTeX RDF	mark-region, replication-copying, real-time, fragmentation, mark-sweep
1	Mahmut T. Kandemir, Taylan Yemliha, Sai Prashanth Muralidhara, Shekhar Srikantaiah, Mary Jane Irwin, Yuanrui Zhang	Cache topology aware computation mapping for multicores.	PLDI	2010	DBLP DOI BibTeX RDF	compiler, cache, multicore, topology-aware, multi-level
1	Matthew Might, Yannis Smaragdakis, David Van Horn	Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis.	PLDI	2010	DBLP DOI BibTeX RDF	k-cfa, m-cfa, object-oriented, static analysis, functional, pointer analysis, control-flow analysis
1	Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm 0001, Kathryn S. McKinley	Jinn: synthesizing dynamic bug detectors for foreign language interfaces.	PLDI	2010	DBLP DOI BibTeX RDF	ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis
1	Gregor Richards, Sylvain Lebresne, Brian Burg, Jan Vitek	An analysis of the dynamic behavior of JavaScript programs.	PLDI	2010	DBLP DOI BibTeX RDF	program analysis, javascript, execution tracing, dynamic behavior, dynamic metrics
1	Md. Kamruzzaman 0001, Steven Swanson, Dean M. Tullsen	Software data spreading: leveraging distributed caches to improve single thread performance.	PLDI	2010	DBLP DOI BibTeX RDF	single-thread performance, compilers, chip multiprocessors
1	Takuya Nakaike, Maged M. Michael	Lock elision for read-only critical sections in Java.	PLDI	2010	DBLP DOI BibTeX RDF	lock elision, java, optimization, synchronization, monitor, lock, just-in-time compiler
1	Guoqing Xu 0001, Atanas Rountev	Detecting inefficiently-used containers to avoid bloat.	PLDI	2010	DBLP DOI BibTeX RDF	cfl reachability, container bloat, points-to analysis
1	Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley	PACER: proportional detection of data races.	PLDI	2010	DBLP DOI BibTeX RDF	concurrency, sampling, data races, bugs
1	Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney	Evaluating the accuracy of Java profilers.	PLDI	2010	DBLP DOI BibTeX RDF	observer effect, profiling, bias
1	Susan J. Eggers	2010 Athena lecture.	PLDI	2010	DBLP DOI BibTeX RDF	invited talk
1	Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani	Safe programmable speculative parallelism.	PLDI	2010	DBLP DOI BibTeX RDF	purity, rollback freedom, safety, speculative parallelism, value speculation
1	Michael Emmi, Rupak Majumdar, Roman Manevich	Parameterized verification of transactional memories.	PLDI	2010	DBLP DOI BibTeX RDF	parameterized verification, transactional memory
1	Adam Chlipala	Ur: statically-typed metaprogramming with type-level record computation.	PLDI	2010	DBLP DOI BibTeX RDF	dependent types, metaprogramming
1	Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Türkoglu	Traceable data types for self-adjusting computation.	PLDI	2010	DBLP DOI BibTeX RDF	traceable data types, self-adjusting computation
1	Swarat Chaudhuri, Armando Solar-Lezama	Smooth interpretation.	PLDI	2010	DBLP DOI BibTeX RDF	parameter synthesis, program smoothing, continuity
1	Cormac Flanagan, Stephen N. Freund	Adversarial memory for detecting destructive races.	PLDI	2010	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, race conditions, relaxed memory models
1	Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan	Line-up: a complete and automatic linearizability checker.	PLDI	2010	DBLP DOI BibTeX RDF	thread safety, atomicity, linearizability
1	Zachary Tatlock, Sorin Lerner	Bringing extensibility to verified compilers.	PLDI	2010	DBLP DOI BibTeX RDF	compiler optimization, correctness, extensibility
1	Kaushik Rajan, Sriram K. Rajamani, Shashank Yaduvanshi	GUESSTIMATE: a programming model for collaborative distributed systems.	PLDI	2010	DBLP DOI BibTeX RDF	distributed systems, concurrency, collaborative applications, language extensions
1	Woongki Baek, Trishul M. Chilimbi	Green: a framework for supporting energy-conscious programming using controlled approximation.	PLDI	2010	DBLP DOI BibTeX RDF	controlled approximation, energy-conscious programming
1	Florian Loitsch	Printing floating-point numbers quickly and accurately with integers.	PLDI	2010	DBLP DOI BibTeX RDF	dtoa, floating-point printing
1	Jin Zhou, Brian Demsky	Bamboo: a data-centric, object-oriented approach to many-core software.	PLDI	2010	DBLP DOI BibTeX RDF	data-centric languages, many-core programming
1	Craig Chambers, Ashish Raniwala, Frances Perry, Stephen Adams 0001, Robert R. Henry 0001, Robert Bradshaw, Nathan Weizenbaum	FlumeJava: easy, efficient data-parallel pipelines.	PLDI	2010	DBLP DOI BibTeX RDF	java, mapreduce, data-parallel programming
1	Sumit Gulwani, Florian Zuleger	The reachability-bound problem.	PLDI	2010	DBLP DOI BibTeX RDF	disjunctive invariants, resource bound analysis, pattern matching, transitive closure, ranking functions
1	Ross Tate, Juan Chen, Chris Hawblitzel	Inferable object-oriented typed assembly language.	PLDI	2010	DBLP DOI BibTeX RDF	existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler
1	Benjamin G. Zorn, Alexander Aiken (eds.)	Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010	PLDI	2010	DBLP DOI BibTeX RDF
1	Satish Chandra 0001, Stephen J. Fink, Manu Sridharan	Snugglebug: a powerful approach to weakest preconditions.	PLDI	2009	DBLP DOI BibTeX RDF	interprocedural analysis, weakest preconditions, symbolic analysis
1	Yutaka Oiwa	Implementation of the memory-safe full ANSI-C compiler.	PLDI	2009	DBLP DOI BibTeX RDF	c language, memory safety
1	Sumit Gulwani, Sagar Jain, Eric Koskinen	Control-flow refinement and progress invariants for bound analysis.	PLDI	2009	DBLP DOI BibTeX RDF	control-flow refinement, progress invariants, formal verification, program verification, termination, bound analysis
1	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	SoftBound: highly compatible and complete spatial memory safety for c.	PLDI	2009	DBLP DOI BibTeX RDF	spatial memory safety, c, buffer overflows
1	Hiroshi Inoue, Hideaki Komatsu, Toshio Nakatani	A study of memory management for web-based applications on multicore processors.	PLDI	2009	DBLP DOI BibTeX RDF	scripting language, web-based applications, dynamic memory management, region-based memory management
1	Zachary R. Anderson, David Gay, Mayur Naik	Lightweight annotations for controlling sharing in concurrent data structures.	PLDI	2009	DBLP DOI BibTeX RDF	concurrent programming, data races, multithreaded programming
1	Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy	LiteRace: effective sampling for lightweight data-race detection.	PLDI	2009	DBLP DOI BibTeX RDF	dynamic data race detection, sampling, concurrency bugs
1	Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard	Progress guarantee for parallel programs via bounded lock-freedom.	PLDI	2009	DBLP DOI BibTeX RDF	bounded lock-freedom, lock-freedom, progress guarantees, model checking, parallel computation
1	Georgios Tournavitis, Zheng Wang 0001, Björn Franke, Michael F. P. O'Boyle	Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping.	PLDI	2009	DBLP DOI BibTeX RDF	auto-parallelization, machine-learning based parallelism mapping, profile-driven parallelism detection, openmp
1	Mojtaba Mehrara, Jeff Hao, Po-Chun Hsu, Scott A. Mahlke	Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory.	PLDI	2009	DBLP DOI BibTeX RDF	automatic parallelization, software transactional memory, thread-level speculation, profile-guided optimization, loop level parallelism
1	Indrajit Roy 0001, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel	Laminar: practical fine-grained decentralized information flow control.	PLDI	2009	DBLP DOI BibTeX RDF	security region, operating systems, java virtual machine, information flow control
1	Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik	A randomized dynamic program analysis technique for detecting real deadlocks.	PLDI	2009	DBLP DOI BibTeX RDF	active testing, concurrency, deadlock detection, dynamic program analysis
1	Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato	Analyzing recursive programs using a fixed-point calculus.	PLDI	2009	DBLP DOI BibTeX RDF	recursive systems, model-checking, abstraction, logic, software verification, mu-calculus
1	Nathan R. Tallent, John M. Mellor-Crummey, Michael W. Fagan	Binary analysis for measurement and attribution of program performance.	PLDI	2009	DBLP DOI BibTeX RDF	call path profiling, static analysis, performance tools, binary analysis, hpctoolkit
1	Ohad Shacham, Martin T. Vechev, Eran Yahav	Chameleon: adaptive selection of collections.	PLDI	2009	DBLP DOI BibTeX RDF	semantic profiler, java, collections, bloat
1	Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka	Stretching transactional memory.	PLDI	2009	DBLP DOI BibTeX RDF	benchmarks, software transactional memories
1	Cormac Flanagan, Stephen N. Freund	FastTrack: efficient and precise dynamic race detection.	PLDI	2009	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, race conditions
1	Suriya Subramanian, Michael W. Hicks, Kathryn S. McKinley	Dynamic software updates: a VM-centric approach.	PLDI	2009	DBLP DOI BibTeX RDF	virtual machine technology, garbage collection, dynamic software updating

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