Filters








1,779 Hits in 0.81 sec

Practices of PLDI

Hans Boehm, Jan Vitek, Philip Wadler, Jack Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary Hall, Graham Hutton, David Padua, Frank Tip
2014 SIGPLAN notices  
Previous PLDI program chairs also reported incidents of this practice, which is sometimes referred to as blackballing).  ...  This practice was successfully adopted at PLDI 2013. The PC chair may find it useful to identify another PC member to handle papers for which the chair is in conflict.  ...  The goal is to help attendees decide which session to attend, and to provide a view of PLDI that can be attended by all in spite of parallel sessions.  ... 
doi:10.1145/2641638.2641649 fatcat:aktqumolpngobiqugczpfonym4

A practical flow-sensitive and context-sensitive C and C++ memory leak detector

David L. Heine, Monica S. Lam
2003 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03  
We have developed a type system to formalize a practical ownership model of memory management.  ...  It is also practical and useful as it identifies those warnings likely to correspond to errors and helps the user understand the reported errors by showing them the assumed method interfaces.  ...  The algorithm is practical; it analyzed over 50K lines of C++ code in about 9 minutes on a 2 GHz PC. APPENDIX A.  ... 
doi:10.1145/781147.781150 fatcat:r4xp7g3vgjcpjbouxxcfwm7mrq

Practical dependence testing

Gina Goff, Ken Kennedy, Chau-Wen Tseng
1991 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation - PLDI '91  
Since most coupled subscripts in scientific Fortran codes are simple, in practice the Delta test is an exact yet fast multiple subscript test.  ...  Most of the 8449 coupled groups found were of size two; 19 cou- pled groups of size three were encountered in n asa 7.  ... 
doi:10.1145/113445.113448 dblp:conf/pldi/GoffKT91 fatcat:ltgaxv2z2vcxhodj4xzpjroykm

Practicing JUDO

Michał Cierniak, Guei-Yuan Lueh, James M. Stichnoth
2000 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation - PLDI '00  
A high-performance implementation of a Java 1 Virtual Machine (JVM) consists of efficient implementation of Just-In-Time (JIT) compilation, exception handling, synchronization mechanism, and garbage collection  ...  In this paper, we present some static and dynamic techniques implemented in the JIT compilation and exception handling of the Microprocessor Research Lab Virtual Machine (MRL VM), i.e., lazy exceptions  ...  In practice however, the complete instruction sequence is usually in the same basic block and its analysis is possible in an optimizing compiler.  ... 
doi:10.1145/349299.349306 dblp:conf/pldi/CierniakLS00 fatcat:ubexpns3gbbldkpnrtxd3edlza

Practical dynamic software updating for C

Iulian Neamtiu, Michael Hicks, Gareth Stoyle, Manuel Oriol
2006 Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation - PLDI '06  
The challenge is in making DSU practical: it should be flexible, and yet safe, efficient, and easy to use. In this paper, we present a DSU implementation for C that aims to meet this challenge.  ...  In total, we dynamically patched each program with three years' worth of releases. Though the programs changed substantially, the majority of updates were easy to generate.  ...  Many do not support all of the changes needed to make dynamic updates in practice.  ... 
doi:10.1145/1133981.1133991 dblp:conf/pldi/NeamtiuHSO06 fatcat:6w77pg6fg5dx3e435qcjpq3uve

The set constraint/CFL reachability connection in practice

John Kodumal, Alex Aiken
2004 Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation - PLDI '04  
We show a new reduction from Dyck-CFL reachability to set constraints that can be used in practice to solve these problems.  ...  Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability.  ...  Acknowledgments We would like to thank Robert Johnson for providing us with his implementation of CFL reachability, and David Melski, Tom Reps, and the anonymous reviewers for their helpful comments and  ... 
doi:10.1145/996841.996867 dblp:conf/pldi/KodumalA04 fatcat:ma4v5c62hval7e4lnyimil5ehe

A practical automatic polyhedral parallelizer and locality optimizer

Uday Bondhugula, Albert Hartono, J. Ramanujam, P. Sadayappan
2008 Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08  
Through this work, we show the practicality of analytical model-driven automatic transformation in the polyhedral model.Unlike previous polyhedral frameworks, our approach is an end-to-end fully automatic  ...  one driven by an integer linear optimization framework that takes an explicit view of finding good ways of tiling for parallelism and locality using affine transformations.  ...  We thank the reviewers of the submission for detailed comments. In addition, we thank Alain Darte for useful feedback that has helped us improve the presentation.  ... 
doi:10.1145/1375581.1375595 dblp:conf/pldi/BondhugulaHRS08 fatcat:oxeykavud5fqffeswz3o7k5ote

Practical memory leak detection using guarded value-flow analysis

Sigmund Cherem, Lonnie Princehouse, Radu Rugina
2007 Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07  
The sparse program representation makes the tool efficient in practice, and allows it to report concise error messages. be consumed by) exactly one occurrence of another event B.  ...  This paper presents a practical inter-procedural analysis algorithm for detecting memory leaks in C programs.  ...  In spite of the unsoundness due loop approximations and dynamic test instances, in practice this never cause our analysis to miss bugs.  ... 
doi:10.1145/1250734.1250789 dblp:conf/pldi/CheremPR07 fatcat:wp64dsooyrgzdgmh27b2dpkl2y

DOC: a practical approach to source-level debugging of globally optimized code

D. S. Coutant, S. Meloy, M. Ruscetta
1988 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation - PLDI '88  
As optimizing compilers become more sophisticated, the problem of debugging the source code of an application becomes more difficult.  ...  Hennessy [ll] provides algorithms for recovering the values of non-current variables from 125  ...  Goals The overall design constraint placed on the DOC team was to implement a practical solution to the problem.  ... 
doi:10.1145/53990.54003 dblp:conf/pldi/CoutantMR88 fatcat:nye2tod2x5h3ljrichsvws4abu

Making context-sensitive points-to analysis with heap cloning practical for the real world

Chris Lattner, Andrew Lenharth, Vikram Adve
2007 Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07  
analysis), and scales well across five orders of magnitude of code size.  ...  This paper shows, for the first time, that a context-sensitive, field-sensitive algorithm with full heap cloning (by acyclic call paths) can indeed be both scalable and extremely fast in practice.  ...  been shown to be important in practice [15] ).  ... 
doi:10.1145/1250734.1250766 dblp:conf/pldi/LattnerLA07 fatcat:auwbmjtl2vb4llzyxw7oeyezum

A practical flow-sensitive and context-sensitive C and C++ memory leak detector

David L. Heine, Monica S. Lam
2003 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03  
We have developed a type system to formalize a practical ownership model of memory management.  ...  It is also practical and useful as it identifies those warnings likely to correspond to errors and helps the user understand the reported errors by showing them the assumed method interfaces.  ...  The main contributions of this paper include the formalization of a practical memory management scheme based on object ownership, a fully automatic ownership inference algorithm, and validation of the  ... 
doi:10.1145/781131.781150 dblp:conf/pldi/HeineL03 fatcat:qiwfgeqggvcyvn5cyf3hoy6wni

A practical data flow framework for array reference analysis and its use in optimizations

Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa
1993 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation - PLDI '93  
Analyses phrased in this framework are capable of discovering recurrent access patterns among array references that evolve during the execut;on of a loop.  ...  Data flow analysis tecluiques have traditionally been restricted to the analysis of scalar variables.  ...  Analyses phrased in this framework are practical in that they require only a small number of passes over a loop body.  ... 
doi:10.1145/155090.155097 dblp:conf/pldi/DuesterwaldGS93 fatcat:gthnm75s5fdenksopep7elpkoe

Practical partial evaluation for high-performance dynamic language runtimes

Thomas Würthinger, Christian Wimmer, Christian Humer, Andreas Wöß, Lukas Stadler, Chris Seaton, Gilles Duboscq, Doug Simon, Matthias Grimmer
2017 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017  
This makes partial evaluation practical in the context of dynamic languages: It reduces the size of the compiled code while still compiling all parts of an operation that are relevant for a particular  ...  For our set of benchmarks, our speedup relative to the V8 JavaScript VM is 0.83x, relative to JRuby is 3.8x, and relative to GNU R is 5x.  ...  Oracle and Java are registered trademarks of Oracle and/or its affiliates. Other names may be trademarks of their respective owners.  ... 
doi:10.1145/3062341.3062381 dblp:conf/pldi/WurthingerWHWSS17 fatcat:zp3yn5lk5nhftn4idv75gvk64m

The Effectiveness of Commitment to Change Statements on Improving Practice Behaviors Following Continuing Pharmacy Education

Nancy Fjortoft
2007 American Journal of Pharmaceutical Education  
To determine the effectiveness of commitment to change (CTC) statements on behavior or practice change after a continuing pharmacy education (CPE) program, and to assess the percentage of CTC statements  ...  Seventy percent of the 56 changes described by the 21 participants had been fully implemented. The majority of the changes (88%) matched program objectives. Conclusion.  ...  Twenty-one of the pharmacists returned the CTC form following completion of the PLDI for a response rate of 70%.  ... 
doi:10.5688/aj7106112 pmid:19503696 pmcid:PMC2690921 fatcat:uuxavcf7ivdpxksfkazd7yaxeu

Higher-order test generation

Patrice Godefroid
2011 Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11  
June 2011 PLDI"2011 Implementability Issues • June 2011 PLDI"2011  ...  June 2011 PLDI"2011 How?  ... 
doi:10.1145/1993498.1993529 dblp:conf/pldi/Godefroid11 fatcat:pu662vfl2rdsbjfl3uoxs7n25i
« Previous Showing results 1 — 15 out of 1,779 results