首页>外文会议>其他>Proceedings of the 2011 ACM conference on programming language design and implementation.

Proceedings of the 2011 ACM conference on programming language design and implementation.

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Languages as Libraries

机译：语言作为图书馆
- 作者：Sam Tobin-Hochstadt;Vincent St-Amour;Ryan Culpepper;Matthew Flatt;Matthias Felleisen
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- languages;
- design;
2.Caisson: A Hardware Description Language for Secure Information Flow

机译：Caisson：一种用于安全信息流的硬件描述语言
- 作者：Xun Li;Mohit Tiwari;Jason K. Oberg;Vineeth Kashyap;Frederic T. Chong;Timothy Sherwood;Ben Hardekopf
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- hardware description language;
- non-interference;
- state machine;
3.Automatic Compilation of MATLAB Programs for Synergistic Execution on Heterogeneous Processors

机译：用于在异构处理器上协同执行的MATLAB程序的自动编译
- 作者：Ashwin Prasad;Jayvant Anantpur;R. Govindarajan
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- algorithms;
- languages;
- performance;
4.Toward Generating Reducible Replay Logs

机译：致力于生成可简化的重播日志
- 作者：Kyu HyungLee;Yunhui Zheng;Nick Sumner;Xiangyu Zhang
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- software reliability;
- log reduction;
- debugging;
- replay;
- instrumentation;
5.LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks

机译：LeakChaser：帮助程序员缩小内存泄漏的原因
- 作者：Guoqing Xu;Michael D. Bond;Feng Qin;Atanas Rountev
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- leakchaser;
- memory leak detection;
- object lifetime assertions;
6.Finding and Understanding Bugs in C Compilers

机译：查找和理解C编译器中的错误
- 作者：Xuejun Yang;Yang Chen;Eric Eide;John Regehr
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- compiler testing;
- compiler defect;
- automated testing;
- random testing;
- random program generation;
7.Safe Optimisations for Shared-Memory Concurrent Programs

机译：共享内存并发程序的安全优化
- 作者：Jaroslav Sevcik
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- relaxed memory models;
- semantics;
- compiler optimizations;
8.A Security Policy Oracle: Detecting Security Holes Using Multiple API Implementations

机译：安全策略Oracle：使用多种API实现检测安全漏洞
- 作者：Vamn Srivastava;Michael D. Bond;Kathryn S. McKinley;Vitaly Shmatikov
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- security;
- authorization;
- access control;
- static analysis;
- java class libraries;
9.Language-Independent Sandboxing of Just-In-Time Compilation and Self-Modifying Code

机译：即时编译和自修改代码的独立于语言的沙箱
- 作者：Jason Ansel;Petr Marchenko;Ulfar Erlingsson;Elijah Taylor;Brad Chen;Derek L. Schuff;David Sehr;Cliff L. Biffle;Bennet Yee
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- sandboxing;
- security;
- software fault isolation;
- self-modifying code;
- just-in-time compilation;
10.Cruiser: Concurrent Heap Buffer Overflow Monitoring Using Lock-free Data Structures

机译：Cruiser：使用无锁数据结构的并发堆缓冲区溢出监视
- 作者：Qiang Zeng;Dinghao Wu;Peng Liu
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- software cruising;
- buffer overflow;
- program monitor;
- multicore;
- concurrency;
- lock-free;
- non-blocking algorithms;
11.Automated Atomicity-Violation Fixing

机译：自动化原子度违规修复
- 作者：Guoliang Jin;Linhai Song;Wei Zhang;Shan Lu;Ben Liblit
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- atomicity violations;
- automated debugging;
- concurrency;
- critical regions;
- deadlock;
- mutex locks;
- mutual exclusion;
- patching;
- static analysis;
12.Isolating and Understanding Concurrency Errors Using Reconstructed Execution Fragments

机译：使用重构的执行片段隔离和理解并发错误
- 作者：Brandon Lucia;Benjamin P. Wood;Luis Ceze
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- concurrency;
- statistical debugging;
- multithreading;
13.NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness

机译：NDSeq：并行正确性的不确定性顺序规范的运行时检查
- 作者：Jacob Burnim;Tayfun Elmas;George Necula;Koushik Sen
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- algorithms;
- reliability;
- verification;
14.Cause Clue Clauses: Error Localization using Maximum Satisfiability

机译：原因线索子句：使用最大满意度的错误定位
- 作者：Manu Jose;Rupak Majumdar
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- debugging;
- fault localization;
- maximum satisfiability;
15.Automatic Parallelization via Matrix Multiplication

机译：通过矩阵乘法自动并行化
- 作者：Shigeyuki Sato;Hideya Iwasaki
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- automatic parallelization;
- loop;
- reduction;
- scan;
- matrix multiplication;
- semiring;
- linear recurrence equation;
16.Path-based Inductive Synthesis for Program Inversion

机译：基于路径的归纳综合程序反演
- 作者：Saurabh Srivastava;Sumit Gulwani;Swarat Chaudhuri;Jeffrey S. Foster
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- pins;
- program inversion;
- inductive synthesis;
- symbolic execution;
- testing-inspired synthesis;
17.Verification of Semantic Commutativity Conditions and Inverse Operations on Linked Data Structures

机译：链接数据结构上语义可交换性条件的验证和逆运算
- 作者：Deokhwan Kim;Martin C. Rinard
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- commutativity condition;
- data structure;
- inverse operation;
- verification;
18.Exploiting the Commutativity Lattice

机译：利用可交换性格
- 作者：Milind Kulkami;Donald Nguyen;Dimitrios Prountzos;Xin Sui;Keshav Pingali
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- commutativity lattice;
- transactions;
- optimistic parallelism;
19.Mining Hot Calling Contexts in Small Space

机译：在小空间中挖掘热呼叫上下文
- 作者：Daniele Cono DElia;Camil Demetrescu;Irene Finocchi
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- performance profiling;
- dynamic program analysis;
- data streaming algorithms;
- frequent items;
- program instrumentation;
20.Synthesizing Geometry Constructions

机译：合成几何构造
- 作者：Sumit Gulwani;Vijay Anand Korthikanti;Ashish Tiwari
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- program synthesis;
- ruler-compass geometry constructions;
- abstraction;
- forward and backward analysis;
21.Synthesis of Loop-free Programs

机译：综合无循环程序
- 作者：Sumit Gulwani;Susmit Jha;Ashish Tiwari;Ramarathnam Venkatesan
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- program synthesis;
- component-based synthesis;
- SMT;
22.Parallelism Orchestration using DoPE: the Degree of Parallelism Executive

机译：使用DoPE进行并行编排：并行度执行
- 作者：Arun Raman;Hanjun Kim;Taewook Oh;Jae W. Lee;David I. August
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- parallelization. parallelism;
- dynamic;
- run-time;
- scheduling;
- task;
- loop-level;
- nested;
- loop nest;
- pipeline;
- parametric;
- optimization;
23.Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic

机译：计算分离逻辑中底层程序的最大自动化验证
- 作者：Adam Chlipala
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- interactive proof assistants;
- separation logic;
- low-level programming languages;
- functional programming;
24.A Case for an SC-Preserving Compiler

机译：保存SC的编译器的案例
- 作者：Daniel Marino;Abhayendra Singh;Todd Millstein;Madanlal Musuvathi;Satish Narayanasamy
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- memory consistency models;
- sequential consistency;
- SC preservation;
- interference checks;
25.Probabilistic, Modular and Scalable Inference of Typestate Specifications

机译：Typestate规范的概率，模块化和可扩展推断
- 作者：Nels E. Beckman;Aditya V. Nori
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- aliasing;
- inference;
- object protocol;
- ownership;
- permission;
- typestate;
- specification;
26.Composable Asynchronous Events

机译：可组合异步事件
- 作者：Lukasz Ziarek;KC Sivaramakrishnan;Suresh Jagannathan
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- asynchrony;
- concurrent ML;
- first-class events;
- composability;
- message-passing;
27.Synchronization via Scheduling Techniques For Efficiently Managing Shared State

机译：通过调度技术进行同步以有效管理共享状态
- 作者：Micah J Best;Shane Mottishaw;Craig Mustard;Mark Roth;Alexandra Fedorova;Andrew Brownsword
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- parallel programming;
- shared state management;
- synchronization via scheduling;
- dynamic reachability analysis;
28.ALTER: Exploiting Breakable Dependences for Parallelization

机译：ALTER：利用易碎的依赖关系进行并行化
- 作者：Abhishek Udupa;Kaushik Rajan;William Thies
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- performance;
- languages;
- experimentation;
29.Taming Wildcards in Java's Type System

机译：在Java类型系统中驯服通配符
- 作者：Ross Tate;Alan Leung;Sorin Lerner
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- wildcards;
- subtyping;
- existential types;
- parametric types;
- joins;
- type inference;
- single-instantiation inheritance;
30.Generalized Just-In-Time Trace Compilation using a Parallel Task Farm in a Dynamic Binary Translator

机译：使用动态二进制转换器中的并行任务场的广义即时跟踪编译
- 作者：Igor Boehm;Tobias J.K. Edler von Koch;Stephen Kyle;Bjoern Franke;Nigel Topham
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- dynamic binary translation;
- just-in-time compilation;
- parallelization;
- task farm;
- dynamic work scheduling;
31.Brainy: Effective Selection of Data Structures

机译：机智：有效选择数据结构
- 作者：Changhee Jung;Silvius Rus;Brian P. Railing;Nathan Clark;Santosh Pande
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- data structure selection;
- application generator;
- training framework;
- performance counters;
32.An SSA-based Algorithm for Optimal Speculative Code Motion under an Execution Profile

机译：执行配置文件下基于SSA的最佳推测代码运动算法
- 作者：Hucheng Zhou;Wenguang Chen;Fred Chow
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- code motion;
- flow network;
- minimum cut;
- partial redundancy elimination;
- profiling;
- speculation;
- static single assignment;
33.Steno: Automatic Optimization of Declarative Queries

机译：Steno：声明式查询的自动优化
- 作者：Derek G. Murray;Michael Isard;Yuan Yu
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- query optimization;
- abstract machines;
34.Automatic CPU-GPU Communication Management and Optimization

机译：自动CPU-GPU通讯管理和优化
- 作者：Thomas B. Jablin;Prakash Prabhu;James A. Jablin;Nick P. Johnson;Stephen R. Beard;David I. August
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- GPU;
- communication;
- management;
- optimization;
35.Higher-Order Test Generation

机译：高阶测试生成
- 作者：Patrice Godefroid
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- automatic test generation;
- software model checking;
- uninterpreted functions;
36.Evaluating Value-Graph Translation Validation for LLVM

机译：评估LLVM的价值图转换验证
- 作者：Jean-Baptiste Tristan;Paul Govereau;Greg Morrisett
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- translation validation;
- symbolic evaluation;
- LLVM;
- optimization;
37.Systematic Editing: Generating Program Transformations from an Example

机译：系统编辑：通过示例生成程序转换
- 作者：Na Meng;Miryung Kim;Kathryn S. McKinley
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- software evolution;
- program transformation;
- program differencing;
- empirical study;
38.Spreadsheet Table Transformations from Examples

机译：示例中的电子表格表格转换
- 作者：William R.Harris;Sumit Gulwani
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- program synthesis;
- end-user programming;
- programming by example;
- spreadsheet programming;
- table manipulation;
- user intent;
39.LL (*): The Foundation of the ANTLR Parser Generator

机译：LL（*）：ANTLR解析器生成器的基础
- 作者：Terence Parr;Kathleen Fisher
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
40.Garbage Collection for Monitoring Parametric Properties

机译：垃圾收集以监视参数属性
- 作者：Dongyun Jin;Patrick ONeil Meredith;Dennis Griffith;Grigore Rosu
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- runtime verification;
- runtime monitoring;
- testing;
- debugging;
- aspect-oriented programming;
- garbage collection;
41.Kremlin: Rethinking and Rebooting gprof for the Multicore Age

机译：克里姆林宫：为多核时代重新思考并重启gprof
- 作者：Saturnino Garcia;Donghwan Jeon;Chris Louie;Michael Bedford Taylor
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- hierarchical critical path analysis;
- self-parallelism;
- parallelism planner;
- parallel software engineering;
42.Directed Incremental Symbolic Execution

机译：定向增量符号执行
- 作者：Suzette Person;Guowei Yang;Neha Rungta;Sarfraz Khurshid
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- program differencing;
- symbolic execution;
- software evolution;
43.The Tao of Parallelism in Algorithms

机译：算法中的并行性
- 作者：Keshav Pingali;Donald Nguyen;Milind Kulkarni;Martin Burtscher;M. Amber Hassaan;Rashid Kaleem;Tsung-Hsien Lee;Andrew Lenharth;Roman Manevich;Mario Mendez-Lojo;Dimitrios Prountzos;Xin Sui
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- amorphous data-parallelism;
- galois system;
- irregular programs;
- operator formulation;
- tao-analysis;
44.Data Representation Synthesis

机译：数据表示综合
- 作者：Peter Hawkins;Alex Aiken;Kathleen Fisher;Martin Rinard;Mooly Sagiv
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- synthesis;
- composite data structures;
45.Partial-Coherence Abstractions for Relaxed Memory Models

机译：松弛记忆模型的部分相干抽象
- 作者：Michael Kuperstein;Martin Vechev;Eran Yahav
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- concurrency;
- synthesis;
- abstract interpretation;
- relaxed memory models;
- weak memory models;
46.Commutative Set: A Language Extension for Implicit Parallel Programming

机译：可交换集：用于隐式并行编程的语言扩展
- 作者：Prakash Prabhu;Soumyadeep Ghosh;Yun Zhang;Nick P. Johnson;David I. August
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- implicit parallelism;
- semantic commutativity;
- programming model;
- automatic parallelization;
- static analysis;
47.Predicate Abstraction and CEGAR for Higher-Order Model Checking

机译：谓词抽象和CEGAR用于高阶模型检查
- 作者：Naoki Kobayashi;Ryosuke Sato;Hiroshi Unno
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- predicate abstraction;
- CEGAR;
- higher-order model checking;
- dependent types;
48.Separation Logic + Superposition Calculus = Heap Theorem Prover

机译：分离逻辑+叠加微积分=堆定理证明
- 作者：Juan Antonio Navarro Perez;Andrey Rybalchenko
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- separation logic;
- superposition;
49.Precise and Compact Modular Procedure Summaries for Heap Manipulating Programs

机译：堆操作程序的精确而紧凑的模块化过程摘要
- 作者：Isil Dillig;Thomas Dillig;Alex Aiken;Mooly Sagiv
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- languages;
- verification;
- experimentation;
50.On Inter-Procedural Analysis of Programs with Lists and Data

机译：具有列表和数据的程序的过程间分析
- 作者：Ahmed Bouajjani;Cezara Dragoi;Constantin Enea;Mihaela Sighireanu
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- interprocedural analysis;
- abstract interpretation;
- pointer analysis;
- shape analysis;
- data constraints;
51.Scaling Abstraction Refinement via Pruning

机译：通过修剪扩展抽象提炼
- 作者：Percy Liang;Mayur Naik
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- heap abstraction;
- static analysis;
- concurrency;
- abstraction refinement;
- pruning;
- slicing;
52.Taming the Wildcards: Combining Definition- and Use-Site Variance

机译：驯服通配符：结合定义和使用站点的差异
- 作者：John Altidor;Shan Shan Huang;Yannis Smaragdakis
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- variance;
- definition-site variance;
- use-site variance;
- wildcards;
- language extensions;
53.EnerJ: Approximate Data Types for Safe and General Low-Power Computation

机译：EnerJ：用于安全和通用低功耗计算的近似数据类型
- 作者：Adrian Sampson;Werner Dietl;Emily Fortuna;Danushen Gnanapragasam;Luis Ceze;Dan Grossman
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- accuracy-aware computing;
- power-aware computing;
- energy;
- soft errors;
- critical data;
54.Understanding POWER Multiprocessors

机译：了解POWER多处理器
- 作者：Susmit Sarkar;Peter Sewell;Jade Alglave;Luc Maranget;Derek Williams
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- relaxed memory models;
- semantics;
55.kb-Anonymity: A Model for Anonymized Behavior-Preserving Test and Debugging Data

机译：kb-Anonymity：匿名行为保存测试和调试数据的模型
- 作者：Aditya Budi;David Lo;Lingxiao Jiang;Lucia
- 会议名称：《Proceedings of the 2011 ACM conference on programming language design and implementation.》 | 2011年
- k-anonymity;
- behavior preservation;
- privacy preservation;
- third-party testing and debugging;
- symbolic execution;