The SCEAS System
Navigation Menu

Conferences in DBLP

SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (pldi)
2007 (conf/pldi/2007)

  1. Gene Novark, Emery D. Berger, Benjamin G. Zorn
    Exterminator: automatically correcting memory errors with high probability. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:1-11 [Conf]
  2. Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
    CheckFence: checking consistency of concurrent data types on relaxed memory models. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:12-21 [Conf]
  3. Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder
    Automatically classifying benign and harmful data racesallusing replay analysis. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:22-31 [Conf]
  4. Gary Wassermann, Zhendong Su
    Sound and precise analysis of web applications for injection vulnerabilities. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:32-41 [Conf]
  5. Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker
    Fault-tolerant typed assembly language. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:42-53 [Conf]
  6. Adam J. Chlipala
    A certified type-preserving compiler from lambda calculus to assembly language. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:54-65 [Conf]
  7. Hongxu Cai, Zhong Shao, Alexander Vaynberg
    Certified self-modifying code. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:66-77 [Conf]
  8. Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha
    Enforcing isolation and ordering in STM. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:78-88 [Conf]
  9. Nicholas Nethercote, Julian Seward
    Valgrind: a framework for heavyweight dynamic binary instrumentation. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:89-100 [Conf]
  10. Jungwoo Ha, Christopher J. Rossbach, Jason V. Davis, Indrajit Roy, Hany E. Ramadan, Donald E. Porter, David L. Chen, Emmett Witchel
    Improved error reporting for software that uses black-box components. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:101-111 [Conf]
  11. Manu Sridharan, Stephen J. Fink, Rastislav Bodík
    Thin slicing. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:112-122 [Conf]
  12. Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan
    Static specification inference using predicate mining. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:123-134 [Conf]
  13. Erika Rice Scherpelz, Sorin Lerner, Craig Chambers
    Automatic inference of optimizer flow functions from semantic meanings. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:135-145 [Conf]
  14. Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Automatic inversion generates divide-and-conquer parallel programs. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:146-155 [Conf]
  15. Perry H. Wang, Jamison D. Collins, Gautham N. Chinya, Hong Jiang, Xinmin Tian, Milind Girkar, Nick Y. Yang, Guei-Yuan Lueh, Hong Wang
    EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:156-166 [Conf]
  16. Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia
    Sketching stencils. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:167-178 [Conf]
  17. Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat
    Mace: language support for building distributed systems. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:179-188 [Conf]
  18. Peng Li, Steve Zdancewic
    Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:189-199 [Conf]
  19. Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan
    Reliable and efficient programming abstractions for wireless sensor networks. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:200-210 [Conf]
  20. Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew
    Optimistic parallelism requires abstractions. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:211-222 [Conf]
  21. Chen Ding, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang, Chengliang Zhang
    Software behavior oriented parallelization. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:223-234 [Conf]
  22. Sriram Krishnamoorthy, Muthu Baskaran, Uday Bondhugula, J. Ramanujam, Atanas Rountev, P. Sadayappan
    Effective automatic parallelization of stencil computations. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:235-244 [Conf]
  23. Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
    Goldilocks: a race and transaction-aware java runtime. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:245-255 [Conf]
  24. Bolei Guo, Neil Vachharajani, David I. August
    Shape analysis with inductive recursion synthesis. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:256-265 [Conf]
  25. Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv
    Thread-modular shape analysis. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:266-277 [Conf]
  26. Chris Lattner, Andrew Lenharth, Vikram S. Adve
    Making context-sensitive points-to analysis with heap cloning practical for the real world. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:278-289 [Conf]
  27. Ben Hardekopf, Calvin Lin
    The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:290-299 [Conf]
  28. Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko
    Path invariants. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:300-309 [Conf]
  29. Ajeet Shankar, Rastislav Bodík
    DITTO: automatic incrementalization of data structure invariant checks (in Java). [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:310-319 [Conf]
  30. Byron Cook, Andreas Podelski, Andrey Rybalchenko
    Proving thread termination. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:320-330 [Conf]
  31. John Kodumal, Alex Aiken
    Regularly annotated set constraints. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:331-341 [Conf]
  32. Pierre Genevès, Nabil Layaïda, Alan Schmitt
    Efficient static analysis of XML paths and types. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:342-351 [Conf]
  33. Ben Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg
    The ExoVM system for automatic VM and application reduction. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:352-362 [Conf]
  34. Nathan Cooprider, John Regehr
    Offline compression for on-chip ram. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:363-372 [Conf]
  35. Florian Schneider, Mathias Payer, Thomas R. Gross
    Online optimizations driven by hardware performance monitoring. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:373-382 [Conf]
  36. Weijia Li, Youtao Zhang, Jun Yang, Jiang Zheng
    UCC: update-conscious compilation for energy efficiency in wireless sensor networks. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:383-393 [Conf]
  37. Feihui Li, Guangyu Chen, Mahmut T. Kandemir, Ibrahim Kolcu
    Profile-driven energy reduction in network-on-chips. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:394-404 [Conf]
  38. Lakshminarayanan Renganarayanan, DaeGon Kim, Sanjay V. Rajopadhye, Michelle Mills Strout
    Parameterized tiled loops for free. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:405-414 [Conf]
  39. Xiangyu Zhang, Sriraman Tallam, Neelam Gupta, Rajiv Gupta
    Towards locating execution omission errors. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:415-424 [Conf]
  40. Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers
    Searching for type-error messages. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:425-434 [Conf]
  41. Isil Dillig, Thomas Dillig, Alex Aiken
    Static error detection using semantic inconsistency inference. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:435-445 [Conf]
  42. Madanlal Musuvathi, Shaz Qadeer
    Iterative context bounding for systematic testing of multithreaded programs. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:446-455 [Conf]
  43. Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky
    CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:456-467 [Conf]
  44. Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li
    A general framework for certifying garbage collectors and their mutators. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:468-479 [Conf]
  45. Sigmund Cherem, Lonnie Princehouse, Radu Rugina
    Practical memory leak detection using guarded value-flow analysis. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:480-491 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002