Search results for "PLDI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	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	Milind Kulkarni, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali	Exploiting the commutativity lattice.	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	Brandon Lucia, Benjamin P. Wood, Luis Ceze	Isolating and understanding concurrency errors using reconstructed execution fragments.	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	Terence Parr, Kathleen Fisher	LL(*): the foundation of the ANTLR parser generator.	PLDI	2011	DBLP DOI BibTeX RDF
1	Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov	A security policy oracle: detecting security holes using multiple API implementations.	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	Kyu Hyung Lee, Yunhui Zheng, Nick Sumner, Xiangyu Zhang	Toward generating reducible replay logs.	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	Prakash Prabhu, Soumyadeep Ghosh, Yun Zhang, Nick P. Johnson, David I. August	Commutative set: a language extension for implicit parallel programming.	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	Keshav Pingali, Donald Nguyen, Milind Kulkarni, 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	Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno	Predicate abstraction and CEGAR for higher-order model checking.	PLDI	2011	DBLP DOI BibTeX RDF
1	Na Meng, Miryung Kim, Kathryn S. McKinley	Systematic editing: generating program transformations from an example.	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	Guoliang Jin, Linhai Song, Wei Zhang 0022, Shan Lu, Ben Liblit	Automated atomicity-violation fixing.	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	William R. Harris, Sumit Gulwani	Spreadsheet table transformations from examples.	PLDI	2011	DBLP DOI BibTeX RDF
1	Igor Böhm, Tobias J. K. Edler von Koch, Stephen C. Kyle, Björn Franke, Nigel P. Topham	Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator.	PLDI	2011	DBLP DOI BibTeX RDF
1	Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan	Composable asynchronous events.	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	Mary W. Hall, David A. Padua (eds.)	Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011	PLDI	2011	DBLP BibTeX RDF
1	Sumit Gulwani, Susmit Jha, Ashish Tiwari, 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	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	Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi	Mining hot calling contexts in small space.	PLDI	2011	DBLP DOI BibTeX RDF
1	Jaroslav Sevcík	Safe optimisations for shared-memory concurrent programs.	PLDI	2011	DBLP DOI BibTeX RDF
1	Percy Liang, Mayur Naik	Scaling abstraction refinement via pruning.	PLDI	2011	DBLP DOI BibTeX RDF
1	Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen	Languages as libraries.	PLDI	2011	DBLP DOI BibTeX RDF
1	Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman	EnerJ: approximate data types for safe and general low-power computation.	PLDI	2011	DBLP DOI BibTeX RDF
1	Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy	A case for an SC-preserving compiler.	PLDI	2011	DBLP DOI BibTeX RDF
1	Abhishek Udupa, Kaushik Rajan, William Thies	ALTER: exploiting breakable dependences for parallelization.	PLDI	2011	DBLP DOI BibTeX RDF
1	Michael Kuperstein, Martin T. Vechev, Eran Yahav	Partial-coherence abstractions for relaxed memory models.	PLDI	2011	DBLP DOI BibTeX RDF
1	Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid	Directed incremental symbolic execution.	PLDI	2011	DBLP DOI BibTeX RDF
1	Aditya Budi, David Lo, Lingxiao Jiang, Lucia	kb-anonymity: a model for anonymized behaviour-preserving test and debugging data.	PLDI	2011	DBLP DOI BibTeX RDF
1	Shigeyuki Sato, Hideya Iwasaki	Automatic parallelization via matrix multiplication.	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	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	Adam Chlipala	Mostly-automated verification of low-level programs in computational separation logic.	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, Dinghao Wu, Peng Liu	Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures.	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	Changhee Jung, Silvius Rus, Brian P. Railing, Nathan Clark, Santosh Pande	Brainy: effective selection of data structures.	PLDI	2011	DBLP DOI BibTeX RDF
1	Derek Gordon Murray, Michael Isard, Yuan Yu	Steno: automatic optimization of declarative queries.	PLDI	2011	DBLP DOI BibTeX RDF
1	Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster	Path-based inductive synthesis for program inversion.	PLDI	2011	DBLP DOI BibTeX RDF
1	Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari	Synthesizing geometry constructions.	PLDI	2011	DBLP DOI BibTeX RDF
1	Guoqing (Harry) Xu, Michael D. Bond, Feng Qin, Atanas Rountev	LeakChaser: helping programmers narrow down causes of memory leaks.	PLDI	2011	DBLP DOI BibTeX RDF
1	Xuejun Yang, Yang Chen, 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	Arun Raman, Hanjun Kim, Taewook Oh, Jae W. Lee, David I. August	Parallelism orchestration using DoPE: the degree of parallelism executive.	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	Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu	Garbage collection for monitoring parametric properties.	PLDI	2011	DBLP DOI BibTeX RDF
1	Patrice Godefroid	Higher-order test generation.	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	Susan Eggers	2010 Athena lecture.	PLDI	2010	DBLP DOI BibTeX RDF	invited talk
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	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	Guoqing (Harry) Xu, 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	Chen Tian, Min Feng, Rajiv Gupta	Supporting speculative parallelization in the presence of dynamic data structures.	PLDI	2010	DBLP DOI BibTeX RDF	multicore processors, speculative parallelization
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	Yi Yang, Ping Xiang, Jingfei Kong, Huiyang Zhou	A GPGPU compiler for memory optimization and parallelism management.	PLDI	2010	DBLP DOI BibTeX RDF	compiler, gpgpu
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	Adam Chlipala	Ur: statically-typed metaprogramming with type-level record computation.	PLDI	2010	DBLP DOI BibTeX RDF	dependent types, metaprogramming
1	Juan Chen, 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	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	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	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 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	Swarat Chaudhuri, Armando Solar-Lezama	Smooth interpretation.	PLDI	2010	DBLP DOI BibTeX RDF	parameter synthesis, program smoothing, continuity
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	Jean Yang, 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	Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, 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	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	Qian Xi, David Walker	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	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	Zachary Tatlock, Sorin Lerner	Bringing extensibility to verified compilers.	PLDI	2010	DBLP DOI BibTeX RDF	compiler optimization, correctness, extensibility
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	Guoqing (Harry) Xu, Atanas Rountev	Detecting inefficiently-used containers to avoid bloat.	PLDI	2010	DBLP DOI BibTeX RDF	cfl reachability, container bloat, points-to 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	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	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	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	Michael Emmi, Rupak Majumdar, Roman Manevich	Parameterized verification of transactional memories.	PLDI	2010	DBLP DOI BibTeX RDF	parameterized verification, transactional memory
1	Edwin M. Westbrook, Mathias Ricken, Jun Inoue, 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	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	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 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	Florian Loitsch	Printing floating-point numbers quickly and accurately with integers.	PLDI	2010	DBLP DOI BibTeX RDF	dtoa, floating-point printing
1	Craig Chambers, Ashish Raniwala, Frances Perry, Stephen Adams, Robert R. Henry, Robert Bradshaw, Nathan Weizenbaum	FlumeJava: easy, efficient data-parallel pipelines.	PLDI	2010	DBLP DOI BibTeX RDF	java, mapreduce, data-parallel programming
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	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	Md Kamruzzaman, 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	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	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	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	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	Sudipta Kundu, Zachary Tatlock, Sorin Lerner	Proving optimizations correct using parameterized program equivalence.	PLDI	2009	DBLP DOI BibTeX RDF	compiler optimization, correctness, translation validation

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