Filters








88 Hits in 1.9 sec

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
2002 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02  
This paper introduces the Extended Static Checker for Java (ESC/Java), an experimental compile-time program checker that finds common programming errors.  ...  This paper gives an overview of the checker architecture and annotation language and describes our experience applying the checker to tens of thousands of lines of Java programs.  ...  PLDI'02, June 17-19, 2002 static checking (ESC): "static" because the checking is performed without running the program, and "extended" because ESC catches more errors than are caught by conventional  ... 
doi:10.1145/512557.512558 fatcat:egv2rroddzh2zcwag5toqslhna

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
2002 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02  
This paper introduces the Extended Static Checker for Java (ESC/Java), an experimental compile-time program checker that finds common programming errors.  ...  This paper gives an overview of the checker architecture and annotation language and describes our experience applying the checker to tens of thousands of lines of Java programs.  ...  PLDI'02, June 17-19, 2002 static checking (ESC): "static" because the checking is performed without running the program, and "extended" because ESC catches more errors than are caught by conventional  ... 
doi:10.1145/512529.512558 dblp:conf/pldi/FlanaganLLNSS02 fatcat:dgwlt7zsjzcjxjmhrmsbj4ifp4

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
2002 SIGPLAN notices  
This paper introduces the Extended Static Checker for Java (ESC/Java), an experimental compile-time program checker that finds common programming errors.  ...  This paper gives an overview of the checker architecture and annotation language and describes our experience applying the checker to tens of thousands of lines of Java programs.  ...  PLDI'02, June 17-19, 2002 static checking (ESC): "static" because the checking is performed without running the program, and "extended" because ESC catches more errors than are caught by conventional  ... 
doi:10.1145/543552.512558 fatcat:jh4hydylnbg25gurtfd4knfzmi

Extended Static Checking for Java [chapter]

Greg Nelson
2004 Lecture Notes in Computer Science  
This paper introduces the Extended Static Checker for Java (ESC/Java), an experimental compile-time program checker that finds common programming errors.  ...  This paper gives an overview of the checker architecture and annotation language and describes our experience applying the checker to tens of thousands of lines of Java programs.  ...  PLDI'02, June 17-19, 2002 static checking (ESC): "static" because the checking is performed without running the program, and "extended" because ESC catches more errors than are caught by conventional  ... 
doi:10.1007/978-3-540-27764-4_1 fatcat:sdg3rrjmrrgjtcsu6logzswj3e

Efficient and precise datarace detection for multithreaded object-oriented programs

Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan
2002 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02  
This performance improvement is the result of a unique combination of complementary static and dynamic optimization techniques.  ...  Past techniques for onthe-fly datarace detection either sacrificed precision for performance, leading to many false positive datarace reports, or maintained precision but incurred significant overheads  ...  Watson Research Center for their help with the Jikes RVM system. We also thank the referees and the committee members of PLDI for their insightful comments.  ... 
doi:10.1145/512557.512560 fatcat:jkiygkfzvfgelheaebd6znyiie

Deriving specialized program analyses for certifying component-client conformance

G. Ramalingam, Alex Warshavsky, John Field, Deepak Goyal, Mooly Sagiv
2002 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02  
Abstract interpretation, model checking, software components, predicate abstraction, static analysis class Make { private Worklist worklist; public static void main (String[] args) { Make m = new Make(  ...  We will use "CMP" to refer to the problem of statically determining whether a JCF client may cause CME to be thrown. Consider the Java code fragment in Fig. 1 .  ...  Acknowledgments We thank Sean McDirmid for introducing us to the Concurrent Modification Problem, the SOOT team and Roman Manevich for the assistance they provided with the implementation, and Robert O'Callahan  ... 
doi:10.1145/512537.512540 fatcat:tm3hsbj3jzfdloi63lv7n5qs64

Dynamic hot data stream prefetching for general-purpose programs

Trishul M. Chilimbi, Martin Hirzel
2002 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02  
At the end of the hibernation phase, the program is deoptimized to remove the inserted checks and prefetch instructions, and control returns to the profiling phase.  ...  For long-running programs, this profile, analyze and optimize, hibernate, cycle will repeat multiple times.  ...  The bursty tracing sampling rate was set at 0.5% during the active profiling period, with profiling bursts extending through 60 dynamic checks (i.e., nCheck 0 =11,940 and nInstr 0 = 60).  ... 
doi:10.1145/512553.512554 fatcat:d6bhksewxnfprjjsu563qi2msm

Beltway

Stephen M Blackburn, Richard Jones, Kathryn S McKinley, J Eliot B Moss
2002 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02  
The increasing reliance on garbage collected languages such as Java requires that the collector perform well.  ...  new collectors that are robust to variations in heap size and improve total execution time over the best generational copying collectors of which we are aware by up to 40%, and on average by 5 to 10%, for  ...  Thanks to Darko Stefanović who modified SPEC JBB to produce pseudojbb, and to Emery Berger, Matthew Hertz, Tony Hosking, and Zhenlin Wang for their contributions to this paper.  ... 
doi:10.1145/512545.512548 fatcat:grcuzrzowref3ewscz3cfdbsda

Using data groups to specify and check side effects

K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou
2002 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02  
This paper introduces a technique for specifying and statically checking the side effects of methods in an object-oriented language.  ...  Other work along these lines includes LCLint [7] , which goes beyond the (admittedly weak) type system of C to find various common programming errors; extended static checking [5, 8] , which provides  ...  We have implemented our formal system in a static checker for oolong, based on Simplify, the automatic theorem prover that powers the program checkers ESC/Modula-3 [5] and ESC/Java [8] .  ... 
doi:10.1145/512557.512559 fatcat:g5psgghjebeg7c6724d5ddesgm

Denali

Rajeev Joshi, Greg Nelson, Keith Randall
2002 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02  
The code generator is not intended for use in an ordinary compiler, but is intended to be used for inner loops and critical subroutines in those cases where peak performance is required, no available compiler  ...  preliminary report on a new research project that aims to construct a code generator that uses an automatic theorem prover to produce very high-quality (in fact, nearly mathematically optimal) machine code for  ...  This approach has been used by the Extended Static Checking research project [3, 13, 6] .  ... 
doi:10.1145/512565.512566 fatcat:xf5eo4igrjh5zjf62ytmi6tu7u

Flow-sensitive type qualifiers

Jeffrey S. Foster, Tachio Terauchi, Alex Aiken
2002 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02  
We present a system for extending standard type systems with flow-sensitive type qualifiers. Users annotate their programs with type qualifiers, and inference checks that the annotations are correct.  ...  ESC/Java [14] is a tool for finding errors in Java programs.  ...  Thus, our approach can introduce dynamic type checking in situations where we cannot prove safety statically.  ... 
doi:10.1145/512529.512531 dblp:conf/pldi/FosterTA02 fatcat:bh3ig4tscbcpjdtpfbgaoeyoyy

Efficient and precise datarace detection for multithreaded object-oriented programs

Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan
2002 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02  
This performance improvement is the result of a unique combination of complementary static and dynamic optimization techniques.  ...  Past techniques for onthe-fly datarace detection either sacrificed precision for performance, leading to many false positive datarace reports, or maintained precision but incurred significant overheads  ...  Watson Research Center for their help with the Jikes RVM system. We also thank the referees and the committee members of PLDI for their insightful comments.  ... 
doi:10.1145/512529.512560 dblp:conf/pldi/ChoiLLOSS02 fatcat:ayuyzsb5w5go3oypwmihpbueiy

Deriving specialized program analyses for certifying component-client conformance

G. Ramalingam, Alex Warshavsky, John Field, Deepak Goyal, Mooly Sagiv
2002 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02  
Abstract interpretation, model checking, software components, predicate abstraction, static analysis class Make { private Worklist worklist; public static void main (String[] args) { Make m = new Make(  ...  We will use "CMP" to refer to the problem of statically determining whether a JCF client may cause CME to be thrown. Consider the Java code fragment in Fig. 1 .  ...  Acknowledgments We thank Sean McDirmid for introducing us to the Concurrent Modification Problem, the SOOT team and Roman Manevich for the assistance they provided with the implementation, and Robert O'Callahan  ... 
doi:10.1145/512529.512540 dblp:conf/pldi/RamalingamWFGS02 fatcat:c7cg26fgy5cbjkdnivgg464kcm

Dynamic hot data stream prefetching for general-purpose programs

Trishul M. Chilimbi, Martin Hirzel
2002 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02  
At the end of the hibernation phase, the program is deoptimized to remove the inserted checks and prefetch instructions, and control returns to the profiling phase.  ...  For long-running programs, this profile, analyze and optimize, hibernate, cycle will repeat multiple times.  ...  The bursty tracing sampling rate was set at 0.5% during the active profiling period, with profiling bursts extending through 60 dynamic checks (i.e., nCheck 0 =11,940 and nInstr 0 = 60).  ... 
doi:10.1145/512529.512554 dblp:conf/pldi/ChilimbiH02 fatcat:l7ki2agdhnhhlpwl3uxpkzp2wi

Using data groups to specify and check side effects

K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou
2002 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02  
This paper introduces a technique for specifying and statically checking the side effects of methods in an object-oriented language.  ...  Other work along these lines includes LCLint [7] , which goes beyond the (admittedly weak) type system of C to find various common programming errors; extended static checking [5, 8] , which provides  ...  We have implemented our formal system in a static checker for oolong, based on Simplify, the automatic theorem prover that powers the program checkers ESC/Modula-3 [5] and ESC/Java [8] .  ... 
doi:10.1145/512529.512559 dblp:conf/pldi/LeinoPZ02 fatcat:z3p3vqzwn5cbxfjapxqb77bp6i
« Previous Showing results 1 — 15 out of 88 results