OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-Program Specialization.
The article offers information on OCCAM-v2, a hybrid programming language that combines static analysis and dynamic analysis. The authors note that this tool is an extension of their earlier tool named OCCAM. Topics include the LLVM compiler, optimization of intrafunction analysis, and OCCAM-v2's de...
| Published in: | Communications of the ACM Vol. 66; no. 4; pp. 40 - 48 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Published: |
Association for Computing Machinery
Apr2023
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=162615640&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 162615640 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Apr2023 vid: 66 iid: 4 pid: 68 pub: Association for Computing Machinery artinfo: ui: 162615640 10.1145/3583112 ppf: 40 ppct: 8 formats: tig: atl: OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-Program Specialization. aug: au: NAVAS, JORGE A. GEHANI, ASHISH affil: Static-analysis researcher at Certora in Austin, TX, USA Senior principal computer scientist at SRI in Menlo Park, CA, USA su: occam (Computer program language) Software architecture Compilers (Computer programs) Modular programming Interpreters (Computer programs) sug: subj: occam (Computer program language) Software architecture Compilers (Computer programs) Modular programming Interpreters (Computer programs) ab: The article offers information on OCCAM-v2, a hybrid programming language that combines static analysis and dynamic analysis. The authors note that this tool is an extension of their earlier tool named OCCAM. Topics include the LLVM compiler, optimization of intrafunction analysis, and OCCAM-v2's deployment context analysis (DCA). Evaluating the effectiveness of the tool for software winnowing is also discussed. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2023 holdings: @attributes: islocal: N |
|---|