Search

Your search keyword '"Chang, Bor-Yuh Evan"' showing total 228 results
Start Over Author "Chang, Bor-Yuh Evan"

Refine your results

228 results on '"Chang, Bor-Yuh Evan"'

101. Analysis of Low-Level Code Using Cooperating Decompilers.

Author

Yi, Kwangkeun, Chang, Bor-Yuh Evan, Harren, Matthew, and Necula, George C.

Abstract

Analysis or verification of low-level code is useful for minimizing the disconnect between what is verified and what is actually executed and is necessary when source code is unavailable or is, say, intermingled with inline assembly. We present a modular framework for building pipelines of cooperating decompilers that gradually lift the level of the language to something appropriate for source-level tools. Each decompilation stage contains an abstract interpreter that encapsulates its findings about the program by translating the program into a higher-level intermediate language. We provide evidence for the modularity of this framework through the implementation of multiple decompilation pipelines for both x86 and MIPS assembly produced by gcc, gcj, and coolc (a compiler for a pedagogical Java-like language) that share several low-level components. Finally, we discuss our experimental results that apply the BLAST model checker for C and the Cqual analyzer to decompiled assembly. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

102. A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety.

Author

Emerson, E. Allen, Namjoshi, Kedar S., Chang, Bor-Yuh Evan, Chlipala, Adam, and Necula, George C.

Abstract

A certified program analysis is an analysis whose implementation is accompanied by a checkable proof of soundness. We present a framework whose purpose is to simplify the development of certified program analyses without compromising the run-time efficiency of the analyses. At the core of the framework is a novel technique for automatically extracting Coq proof-assistant specifications from ML implementations of program analyses, while preserving to a large extent the structure of the implementation. We show that this framework allows developers of mobile code to provide to the code receivers untrusted code verifiers in the form of certified program analyses. We demonstrate efficient implementations in this framework of bytecode verification, typed assembly language, and proof-carrying code. [ABSTRACT FROM AUTHOR]

Published
2005
Full Text
View/download PDF

103. Abstract Interpretation with Alien Expressions and Heap Structures.

Author

Cousot, Radhia, Chang, Bor-Yuh Evan, and Leino, K. Rustan M.

Abstract

The technique of abstract interpretation analyzes a computer program to infer various properties about the program. The particular properties inferred depend on the particular abstract domains used in the analysis. Roughly speaking, the properties representable by an abstract domain follow a domain-specific schema of relations among variables. This paper introduces the congruence-closure abstract domain, which in effect extends the properties representable by a given abstract domain to schemas over arbitrary terms, not just variables. Also, this paper introduces the heap succession abstract domain, which when used as a base domain for the congruence-closure domain, allows given abstract domains to infer properties in a program's heap. This combination of abstract domains has applications, for example, to the analysis of object-oriented programs. [ABSTRACT FROM AUTHOR]

Published
2005

108. Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets

Author

Ben-Amram, Amir M., Doménech, Jesús J., Genaim, Samir, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

109. Temporal Verification of Programs via First-Order Fixpoint Logic

Author

Kobayashi, Naoki, Nishikawa, Takeshi, Igarashi, Atsushi, Unno, Hiroshi, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

110. Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis

Author

Yan, Hua, Chen, Shiping, Sui, Yulei, Zhang, Yueqian, Zou, Changwei, Xue, Jingling, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

111. Robustness Verification of Support Vector Machines

Author

Ranzato, Francesco, Zanella, Marco, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

112. Abstract Semantic Dependency

Author

Cousot, Patrick, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

113. A Temporal Logic for Higher-Order Functional Programs

Author

Okuyama, Yuya, Tsukada, Takeshi, Kobayashi, Naoki, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

114. Responsibility Analysis by Abstract Interpretation

Author

Deng, Chaoqiang, Cousot, Patrick, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

115. Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants

Author

Neider, Daniel, Saha, Shambwaditya, Garg, Pranav, Madhusudan, P., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

116. Verifying Numerical Programs via Iterative Abstract Testing

Author

Yin, Banghu, Chen, Liqian, Liu, Jiangchao, Wang, Ji, Cousot, Patrick, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

117. Direct Manipulation for Imperative Programs

Author

Hu, Qinheping, Samanta, Roopsha, Singh, Rishabh, D’Antoni, Loris, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

118. Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

Author

Li, Jianlin, Liu, Jiangchao, Yang, Pengfei, Chen, Liqian, Huang, Xiaowei, Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

119. Analysis of Software Patches Using Numerical Abstract Interpretation

Author

Delmas, David, Miné, Antoine, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

120. Revisiting Polyhedral Analysis for Hybrid Systems

Author

Becchi, Anna, Zaffanella, Enea, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

121. Syntactic and Semantic Soundness of Structural Dataflow Analysis

Author

Cousot, Patrick, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

122. Language Inclusion Algorithms as Complete Abstract Interpretations

Author

Ganty, Pierre, Ranzato, Francesco, Valero, Pedro, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

125. Abstract Interpretation of Indexed Grammars

Author

Campion, Marco, Dalla Preda, Mila, Giacobazzi, Roberto, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

126. On the Monniaux Problem in Abstract Interpretation

Author

Fijalkow, Nathanaël, Lefaucheux, Engel, Ohlmann, Pierre, Ouaknine, Joël, Pouly, Amaury, Worrell, James, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

127. A Change-Based Heuristic for Static Analysis with Policy Iteration

Author

Völker, Marcus, Kowalewski, Stefan, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

128. Static Analysis of Data Science Software

Author

Urban, Caterina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

130. Programming and Proving with Classical Types

Author

Matache, Cristina, Gomes, Victor B. F., Mulligan, Dominic P., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

131. Verified Root-Balanced Trees

Author

Nipkow, Tobias, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

132. A Computational Interpretation of Context-Free Expressions

Author

Sulzmann, Martin, Thiemann, Peter, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

133. Counterexample-Guided Bit-Precision Selection

Author

He, Shaobo, Rakamarić, Zvonimir, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

134. A Nonstandard Functional Programming Language

Author

Nakamura, Hirofumi, Kojima, Kensuke, Suenaga, Kohei, Igarashi, Atsushi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

135. Sharper and Simpler Nonlinear Interpolants for Program Verification

Author

Okudono, Takamasa, Nishida, Yuki, Kojima, Kensuke, Suenaga, Kohei, Kido, Kengo, Hasuo, Ichiro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

136. Compact Difference Bound Matrices

Author

Chawdhary, Aziem, King, Andy, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

137. A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls

Author

Díaz-Caro, Alejandro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

138. The Negligible and Yet Subtle Cost of Pattern Matching

Author

Accattoli, Beniamino, Barras, Bruno, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

139. Implementing Algebraic Effects in C : 'Monads for Free in C'

Author

Leijen, Daan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

140. Sound and Efficient Language-Integrated Query : Maintaining the ORDER

Author

Kiselyov, Oleg, Katsushima, Tatsuya, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

141. Partiality and Container Monads

Author

Uustalu, Tarmo, Veltri, Niccolò, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

142. Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access

Author

Zhang, Yongzhe, Ko, Hsiang-Shang, Hu, Zhenjiang, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

143. Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous

Author

Pommellet, Adrien, Touili, Tayssir, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

144. Safety and Liveness of MCS Lock—Layer by Layer

Author

Kim, Jieung, Sjöberg, Vilhelm, Gu, Ronghui, Shao, Zhong, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

145. Efficient Functional Reactive Programming Through Incremental Behaviors

Author

Reynders, Bob, Devriese, Dominique, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

146. Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications

Author

van Ginkel, Neline, Strackx, Raoul, Piessens, Frank, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

147. Enforcing Programming Guidelines with Region Types and Effects

Author

Erbatur, Serdar, Hofmann, Martin, Zălinescu, Eugen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

148. Decision Procedure for Entailment of Symbolic Heaps with Arrays

Author

Kimura, Daisuke, Tatsuta, Makoto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

149. Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects

Author

Ko, Yoonseok, Rival, Xavier, Ryu, Sukyoung, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

150. Capabilities for Java: Secure Access to Resources

Author

Hayes, Ian J., Wu, Xi, Meinicke, Larissa A., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Chang, Bor-Yuh Evan, editor

Published
2017
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results