default search action

combined dblp search
author search
venue search
publication search

ask others

PLDI 2010: Toronto, Ontario, Canada

> Home > Conferences and Workshops > PLDI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/2010
Benjamin G. Zorn, Alex Aiken:
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010. ACM 2010, ISBN 978-1-4503-0019-3

Dynamic analysis

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/RichardsLBV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/RichardsLBV10
Gregor Richards, Sylvain Lebresne, Brian Burg, Jan Vitek:
An analysis of the dynamic behavior of JavaScript programs. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BondBG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BondBG10
Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer:
Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. 13-24
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/RuwaseCGM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/RuwaseCGM10
Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons, Todd C. Mowry:
Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools. 25-35
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LeeWHGM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LeeWHGM10
Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley:
Jinn: synthesizing dynamic bug detectors for foreign language interfaces. 36-49

Improving parallelism 1

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/PrabhuRV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/PrabhuRV10
Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani:
Safe programmable speculative parallelism. 50-61
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/TianFG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/TianFG10
Chen Tian, Min Feng, Rajiv Gupta:
Supporting speculative parallelization in the presence of dynamic data structures. 62-73
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/KandemirYMSIZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/KandemirYMSIZ10
Mahmut T. Kandemir, Taylan Yemliha, Sai Prashanth Muralidhara, Shekhar Srikantaiah, Mary Jane Irwin, Yuanrui Zhang:
Cache topology aware computation mapping for multicores. 74-85
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/YangXKZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/YangXKZ10
Yi Yang, Ping Xiang, Jingfei Kong, Huiyang Zhou:
A GPGPU compiler for memory optimization and parallelism management. 86-97

Invited talk

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/Eggers10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/Eggers10
Susan J. Eggers:
2010 Athena lecture. 98

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/YangH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/YangH10
Jean Yang, Chris Hawblitzel:
Safe to the last instruction: automated verification of a type-safe operating system. 99-110
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/TatlockL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/TatlockL10
Zachary Tatlock, Sorin Lerner:
Bringing extensibility to verified compilers. 111-121
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/Chlipala10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/Chlipala10
Adam Chlipala:
Ur: statically-typed metaprogramming with type-level record computation. 122-133
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/EmmiMM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/EmmiMM10
Michael Emmi, Rupak Majumdar, Roman Manevich:
Parameterized verification of transactional memories. 134-145

Heap management

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/PizloZMHBV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/PizloZMHBV10
Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek:
Schism: fragmentation-tolerant real-time garbage collection. 146-159
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/XuR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/XuR10
Guoqing Xu, Atanas Rountev:
Detecting inefficiently-used containers to avoid bloat. 160-173
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/XuMARSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/XuMARSS10
Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, Gary Sevitsky:
Finding low-utility data structures. 174-186
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MytkowiczDHS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MytkowiczDHS10
Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney:
Evaluating the accuracy of Java profilers. 187-197

Singular topics

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BaekC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BaekC10
Woongki Baek, Trishul M. Chilimbi:
Green: a framework for supporting energy-conscious programming using controlled approximation. 198-209
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/RajanRY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/RajanRY10
Kaushik Rajan, Sriram K. Rajamani, Shashank Yaduvanshi:
GUESSTIMATE: a programming model for collaborative distributed systems. 210-220
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/XiW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/XiW10
Qian Xi, David Walker:
A context-free markup language for semi-structured text. 221-232
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/Loitsch10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/Loitsch10
Florian Loitsch:
Printing floating-point numbers quickly and accurately with integers. 233-243

Managing concurrency 1

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/FlanaganF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/FlanaganF10
Cormac Flanagan, Stephen N. Freund:
Adversarial memory for detecting destructive races. 244-254
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BondCM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BondCM10
Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley:
PACER: proportional detection of data races. 255-268
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/NakaikeM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/NakaikeM10
Takuya Nakaike, Maged M. Michael:
Lock elision for read-only critical sections in Java. 269-278

Static analysis and synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ChaudhuriS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ChaudhuriS10
Swarat Chaudhuri, Armando Solar-Lezama:
Smooth interpretation. 279-291
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/GulwaniZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/GulwaniZ10
Sumit Gulwani, Florian Zuleger:
The reachability-bound problem. 292-304
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MightSH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MightSH10
Matthew Might, Yannis Smaragdakis, David Van Horn:
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis. 305-315
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/KuncakMPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/KuncakMPS10
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Complete functional synthesis. 316-329

Managing concurrency 2

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BurckhardtDMT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BurckhardtDMT10
Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan:
Line-up: a complete and automatic linearizability checker. 330-340
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/TorlakVD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/TorlakVD10
Emina Torlak, Mandana Vaziri, Julian Dolby:
MemSAT: checking axiomatic specifications of memory models. 341-350
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MarinoSMMN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MarinoSMMN10
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy:
DRFX: a simple and efficient memory model for concurrent programming languages. 351-362

Improving parallelism 2

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ChambersRPAHBW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ChambersRPAHBW10
Craig Chambers, Ashish Raniwala, Frances Perry, Stephen Adams, Robert R. Henry, Robert Bradshaw, Nathan Weizenbaum:
FlumeJava: easy, efficient data-parallel pipelines. 363-375
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/PanHA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/PanHA10
Heidi Pan, Benjamin Hindman, Krste Asanovic:
Composing parallel software efficiently with lithe. 376-387
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ZhouD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ZhouD10
Jin Zhou, Brian Demsky:
Bamboo: a data-centric, object-oriented approach to many-core software. 388-399

Types

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/WestbrookRIYAT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/WestbrookRIYAT10
Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha:
Mint: Java multi-stage programming using weak separability. 400-411
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ChenCS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ChenCS10
Juan Chen, Ravi Chugh, Nikhil Swamy:
Type-preserving compilation of end-to-end verification of security enforcement. 412-423
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/TateCH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/TateCH10
Ross Tate, Juan Chen, Chris Hawblitzel:
Inferable object-oriented typed assembly language. 424-435
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/KhooCF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/KhooCF10
Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster:
Mixing type checking and symbolic execution. 436-447

Optimization

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ChenHEFPTW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ChenHEFPTW10
Yang Chen, Yuanjie Huang, Lieven Eeckhout, Grigori Fursin, Liang Peng, Olivier Temam, Chengyong Wu:
Evaluating iterative optimization across 1000 datasets. 448-459
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/KamruzzamanST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/KamruzzamanST10
Md. Kamruzzaman, Steven Swanson, Dean M. Tullsen:
Software data spreading: leveraging distributed caches to improve single thread performance. 460-470
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SartorBFHM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SartorBFHM10
Jennifer B. Sartor, Stephen M. Blackburn, Daniel Frampton, Martin Hirzel, Kathryn S. McKinley:
Z-rays: divide arrays and conquer speed and flexibility. 471-482
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/AcarBLTT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/AcarBLTT10
Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Türkoglu:
Traceable data types for self-adjusting computation. 483-496

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.