首页>外文会议>其他>ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA

ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Optimizing Indirect Branch Prediction Accuracy in Virtual Machine Interpreters

机译：优化虚拟机解释器中的间接分支预测准确性
- 作者：M. Anton Ertl;David Gregg
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- interpreter;
- branch target buffer;
- branch prediction;
- code replication;
- superinstruction;
2.Meta Optimization: Improving Compiler Heuristics with Machine Learning

机译：元优化：通过机器学习改善编译器启发式
- 作者：Mark Stephenson;Martin Martin;Una-May OReilly
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- machine learning;
- priority functions;
- genetic programming;
- compiler heuristics;
3.Region-based Hierarchical Operation Partitioning for Multicluster Processors

机译：多集群处理器的基于区域的分层操作分区
- 作者：Michael Chu;Kevin Fan;Scott Mahlke
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
4.Ownership Types for Safe Region-Based Memory Management in Real-Time Java

机译：实时Java中基于安全区域的安全内存管理的所有权类型
- 作者：Chandrasekhar Boyapati;Alexandru Salcianu;William Beebee;Jr.;Martin Rinard
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- ownership types;
- regions;
- encapsulation;
- real-time;
5.Predicting Whole-Program Locality through Reuse Distance Analysis

机译：通过重用距离分析预测整个程序的局部性
- 作者：Chen Ding;Yutao Zhong
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- program locality;
- reuse distance;
- stack distance;
- data locality;
- training;
- sampling;
- profiling;
- pattern recognition and prediction;
6.Linear Analysis and Optimization of Stream Programs

机译：流程序的线性分析和优化
- 作者：Andrew A. Lamb;William Thies;Saman Amarasinghe
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- stream programming;
- streamlt;
- optimization;
- embedded;
- linear systems;
- algebraic simplfication;
- DSP;
- FFT;
7.The nesC Language: A Holistic Approach to Networked Embedded Systems

机译：nesC语言：网络嵌入式系统的整体方法
- 作者：David Gay;Philip Levis;Robert von Behren;Matt Welsh;Eric Brewer;David Culler
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- programming languages;
- C;
- concurrency;
- data races;
- components;
- modules;
- first-order;
- nesC;
- tinyOS;
8.Stride Prefetching by Dynamically Inspecting Objects

机译：通过动态检查对象来大步进行预取
- 作者：Tatsushi Inagaki;Tamiya Onodera;Hideaki Komatsu;Toshio Nakatani
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- java just-in-time compiler;
- object inspection;
- stride prefetching;
9.Automatically Proving the Correctness of Compiler Optimizations

机译：自动证明编译器优化的正确性
- 作者：Sorin Lerner;Todd Millstein;Craig Chambers
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- compiler optimization;
- automated correctness proofs;
10.A Type and Effect System for Atomicity

机译：原子性的类型和效果系统
- 作者：Cormac Flanagan;Shaz Qadeer
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- multithreading;
- race conditions;
- static checking;
- atomicity;
11.A Static Analyzer for Large Safety-Critical Software

机译：大型安全关键软件的静态分析仪
- 作者：Bruno Blanchet;Patrick Cousot;Radhia Cousot;Jerome Feret;Laurent Mauborgne;Antoine Mine;David Monniaux;Xavier Rival
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- abstract interpretation;
- abstract domains;
- static analysis;
- verification;
- floating point;
- embedded;
- reactive;
- real-time;
- safety-critical software;
12.A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector

机译：实用的流量敏感和上下文敏感的C和C ++内存泄漏检测器
- 作者：David L. Heine;Monica S. Lam
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- program analysis;
- type systems;
- memory management;
- error detection;
- memory leaks;
13.A Comparison of Empirical and Model-driven Optimization

机译：经验优化与模型驱动优化的比较
- 作者：Kamen Yotov;Xiaoming Li;Gang Ren;Michael Cibulskis;Gerald DeJong;Maria Garzaran;David Padua;Keshav Pingali;Paul Stpdghill;Peng Wu
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- compilers;
- memory hierarchy;
- tiling;
- blocking;
- unrolling;
- program transformation;
- code generation;
- empirical optimization;
- model-driven optimization;
- BLAS;
14.Points-to Analysis using BDDs

机译：使用BDD的指向分析
- 作者：Marc Berndl;Ondrej Lhotak;Feng Qian;Laurie Hendren;Navindra Umanee
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- points-to analysis;
- binary decision diagrams;
15.The Design, Implementation, and Evaluation of a Compiler Algorithm for CPU Energy Reduction

机译：降低CPU能耗的编译器算法的设计，实现和评估
- 作者：Chung-Hsing Hsu;Ulrich Kremer
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- dynamic voltage scaling;
- energy savings;
16.Taming the IXP Network Processor

机译：驯服IXP网络处理器
- 作者：LaI George;Matthias Blume
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- network processors;
- intel IXA;
- integer linear programming;
- register allocation;
- bank assignment;
- programming languages;
- code generation;
17.Static Array Storage Optimization in MATLAB

机译：MATLAB中的静态数组存储优化
- 作者：Pramod G. Joisha;Prithviraj Banerjee
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
18.Static Conflict Analysis for Multi-Threaded Object-Oriented Programs

机译：多线程面向对象程序的静态冲突分析
- 作者：Christoph von Praun;Thomas R. Gross
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- race detection;
- heap shape graph;
- object use graph;
19.Debugging Temporal Specifications with Concept Analysis

机译：使用概念分析调试时间规范
- 作者：Glenn Ammons;David Mandelin;James R. Larus;Rastislav Bodlk
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- temporal specifications;
- specification debuggers;
- concept analysis;
- hierarchical clustering;
20.CSSV: Towards a Realistic Tool for Statically Detecting All Buffer Overflows in C

机译：CSSV：迈向静态检测C中所有缓冲区溢出的实用工具
- 作者：Nurit Dor;Michael Rodeh;Mooly Sagiv
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- error detection;
- abstract interpretation;
- static analysis;
- buffer overflow;
- contracts;
21.CCured in the Real World

机译：在现实世界中被治愈
- 作者：Jeremy Condit;Matthew Harren;Scott McPeak;George C. Necula;Westley Weimer
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- type safety;
- memory safety;
- C;
- run-time type information;
- compatibility with library code;
22.Bug Isolation via Remote Program Sampling

机译：通过远程程序采样隔离错误
- 作者：Ben Liblit;Alex Aiken;Alice X. Zheng;Michael I. Jordan
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- bug isolation;
- random sampling;
- assertions;
- feature selection;
- statistical debugging;
- logistic regression;
23.Checking and Inferring Local Non-Aliasing

机译：检查和推断本地非锯齿
- 作者：Alex Aiken;Jeffrey S. Foster;John Kodumal;Tachio Terauchi
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- restrict;
- confine;
- types;
- type qualifiers;
- alias analysis;
- effect inference;
- flow-sensitivity;
- constraints;
- locking;
- linux kernel;
24.Compile-time Composition of Run-time Data and lteration Reorderings

机译：运行时数据的编译时组成和过滤重排序
- 作者：Michelle Mills Strout;Larry Carter;Jeanne Ferrante
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- optimization;
- run-time transformations;
- data remapping;
- iteration reordering;
- inspector/executor;
- sparse tiling;
25.Compile-Time Dynamic Voltage Scaling Settings: Opportunities and Limits

机译：编译时动态电压缩放设置：机会和限制
- 作者：Fen Xie;Margaret Martonosi;Sharad Malik
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- low power;
- compiler;
- dynamic voltage scaling;
- mixed-integer linear programming;
- analytical model;
26.A Region-Based Compilation Technique for a Java Just-In-Time Compiler

机译：Java即时编译器的基于区域的编译技术
- 作者：Toshio Suganuma;Toshiaki Yasue;Toshio Nakatani
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- region-based compilation;
- dynamic compilers;
- partial inlining;
- on-stack replacement;
27.A Provably Sound TAL for Back-end Optimization

机译：合理的TAL用于后端优化
- 作者：Juan Chen;Dinghao Wu;Andrew W. Appel;Hai Fang
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- typed assembly language;
- proof- carrying code;
28.A Compiler Framework for Speculative Analysis and Optimizations

机译：用于推测性分析和优化的编译器框架
- 作者：Jin Lin;Tong Chen;Wei-Chung Hsu;Roy Dz-Ching Ju;Tin-Fook Ngai;Pen-Chung Yew;Sun Chan
- 会议名称：《ACM (Association for Computing Machinery) SIGPLAN (Special Interest Group on Programming Languages) 2003 Conference Jun 9-11, 2003 San Diego, California, USA》 | 2003年
- speculative SSA form;
- speculative weak update;
- data speculation;
- partial redundancy elimination;
- register promotion;