首页>外文会议>其他>Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Parametric Segmentation Functor for Fully Automatic and Scalable Array Content Analysis

机译：用于全自动和可扩展的数组内容分析的参数分段函子
- 作者：Patrick Cousot;Radhia Cousot;Francesco Logozzo
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
2.Points-To Analysis with Efficient Strong Updates

机译：具有有效强大更新的指向分析
- 作者：Ondrej Lhotak;Kwok-Chiang Andrew Chung
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- points-to analysis;
- flow sensitivity;
- strong updates;
- andersen's analysis;
- LLVM;
3.Relaxed-Memory Concurrency and Verified Compilation

机译：宽松内存并发和经过验证的编译
- 作者：Jaroslav Sevcik;Viktor Vafeiadis;Francesco Zappa Nardelli;Suresh Jagannathan;Peter Sewell
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- relaxed memory models;
- verifying compilation;
- semantics;
4.Mathematizing C++ Concurrency

机译：数学化C ++并发
- 作者：Mark Batty;Scott Owens;Susmit Sarkar;Peter Sewell;Tjark Weber
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- relaxed memory models;
- semantics;
5.Formal Verification of Object Layout for C++ Multiple Inheritance

机译：C ++多重继承的对象布局的形式验证
- 作者：Tahina Ramananandro;Gabriel Dos Reis;Xavier Leroy t
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- languages;
- verification;
6.Bisimulation for Quantum Processes

机译：量子过程的双仿真
- 作者：Yuan Feng;Runyao Duan;Mingsheng Ying
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- quantum communication;
- quantum computing;
- quantum process algebra;
- bisimulation;
- congruence;
7.Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types

机译：使用模式匹配代数数据类型验证高阶功能程序
- 作者：C.-H. Luke Ong;Steven J. Ramsay
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- languages;
- verification;
8.Decidable Logics Combining Heap Structures and Data

机译：结合堆结构和数据的可决定逻辑
- 作者：P. Madhusiidan;Gennaro Parlato;Xiaokang Qiu
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- heap analysis. SMT solvers;
- monadic second-orderlogic;
- combining decision procedures;
- automata;
- decidability;
9.Step-Indexed Kripke Models over Recursive Worlds

机译：递归世界上的逐步索引Kripke模型
- 作者：Lars Birkedal;Bernhard Reus;Jan Schwinghammer;Kristian Stoevring;Jacob Thamsborg;Hongseok Yang
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- kripke models;
- ultrametric spaces;
- step-indexed models;
- capability calculus;
- frame rales;
- indirection theory;
10.A Kripke Logical Relation Between ML and Assembly

机译：机器学习与装配体之间的Kripke逻辑关系
- 作者：Chung-Kil Hur;Derek Dreyer
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
11.A Shape Analysis for Optimizing Parallel Graph Programs

机译：优化并行图程序的形状分析
- 作者：Dimitrios Prountzos;Roman Manevich;Keshav Pingali;Kathryn S. McKinley
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
12.Precise Reasoning for Programs Using Containers

机译：使用容器的程序的精确推理
- 作者：Isil Dillig;Thomas Dillig;Alex Aiken
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- languages;
- verification;
- experimentation;
13.Blame for All

机译：人人应责
- 作者：Amal Ahmed;Robert Bruce Findler;Jeremy G. Siek;Philip Wadler
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- casts;
- coercions;
- blame tracking;
- lambda-calculus;
14.Calling Context Abstraction with Shapes

机译：使用形状调用上下文抽象
- 作者：Xavier Rival;Bor-Yuh Evan Chang
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- interprocedural analysis;
- context-sensitivity;
- calling context;
- shape analysis;
- inductive definitions;
- separation logic;
- symbolic abstract domain;
15.Generative Type Abstraction and Type-level Computation

机译：生成类型抽象和类型级别计算
- 作者：Stephanie Weirich;Dimitrios Vytiniotis;Simon Peyton Jones;Steve Zdancewic
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- haskell;
- newtype deriving;
- type functions;
16.A Separation Logic for Refining Concurrent Objects

机译：精炼并发对象的分离逻辑
- 作者：Aaron Turon;Mitchell Wand
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- algorithms;
- verification;
17.The Tree Width of Auxiliary Storage

机译：辅助存储的树宽
- 作者：P. Madhusudan;Gennaro Parlato
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- model checking;
- automata;
- decision procedures;
- boundedtree-width;
18.Fresh-Register Automata

机译：新鲜注册自动机
- 作者：Nikos Tzevelekos
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- theory;
- languages;
- verification;
19.Automating String Processing in Spreadsheets Using Input-Output Examples

机译：使用输入输出示例在电子表格中自动进行字符串处理
- 作者：Sumit Gulwani
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
20.Resourceable, Retargetable, Modular Instruction Selection Using a Machine-Independent, Type-Based Tiling of Low-Level Intermediate Code

机译：使用与机器无关的，基于类型的低级中间代码切片，实现资源丰富，可重定目标的模块化指令选择
- 作者：Norman Ramsey;Joao Dias
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- algorithms;
- theory;
21.Making Prophecies with Decision Predicates

机译：用决策谓词做预言
- 作者：Byron Cook;Eric Koskinen
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- li near temporal logic;
- formal verification;
- termination;
- program analysis;
- model checking;
22.Practical Affine Types

机译：实际仿射类型
- 作者：Jesse A. Tov;Riccardo Pucella
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- affine types;
- linear logic;
- type systems;
- polymorphism;
- modules;
23.The Essence of Compiling with Traces

机译：痕迹编译的本质
- 作者：Shu-yu Guo;Jens Palsberg
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- just-in-time compilation;
- compiler correctness;
- bisimulation;
24.Streaming Transducers for Algorithmic Verification of Single-pass List-processing Programs

机译：用于单遍列表处理程序的算法验证的流转换器
- 作者：Rajeev Alur;Pavol Cerny
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- transducers;
- algorithmic software verification;
- lists;
25.A Technique for the Effective and Automatic Reuse of Classical Compiler Optimizations on Multithreaded Code

机译：多线程代码上经典编译器优化的有效和自动重用技术
- 作者：Pramod G. Joisha;Robert S. Schreiber;Prithviraj Banerjee;Hans-J. Boehm;Dhruva R. Chakrabarti
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- data-flow analysis;
- parallel-program optimization;
26.Correct Blame for Contracts No More Scapegoating

机译：正确责备合同不再S亵
- 作者：Christos Dimoulas;Robert Bruce Findler;Cormac Flanagan;Matthias Felleisen
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- higher-order;
- programming;
- behavioral contracts;
- blame assignment;
27.The Design of Kodu: A Tiny Visual Programming Language for Children on the Xbox 360

机译：Kodu的设计：Xbox 360上的儿童微型可视编程语言
- 作者：Matthew MacLaurin
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- games;
- game programming;
- 3D user interface;
- enduser authoring;
- K12 programming;
- programming early education;
- kodu;
- boku;
28.Modular Reasoning for Deterministic Parallelism

机译：确定性并行的模块化推理
- 作者：Mike Dodds;Suresh Jagannathan;Matthew J. Parkinson
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- separation logic. concurrent abstract predicates;
- concurrency;
- futures;
29.Vector Addition System Reachability Problem

机译：向量加法系统可达性问题
- 作者：Jerome Leroux
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- VAS;
- petri;
- presburger. reachability;
30.Predicate Abstraction and Refinement for Verifying Multi-Threaded Programs

机译：谓词抽象和提炼，以验证多线程程序
- 作者：Ashutosh Gupta;Corneliu Popeea;Andrey Rybaichenko
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
31.Expressive Modular Fine-Grained Concurrency Specification

机译：表现式模块化细粒度并发规范
- 作者：Bart Jacobs;Frank Piessens
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- fine-grained concurrency;
- separation logic;
32.Geometry of Synthesis Ⅲ Resource Management Through Type Inference

机译：通过类型推断的综合Ⅲ资源管理的几何
- 作者：Dan R. Ghica;Alex Smith
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- automatic synthesis;
- event logic;
- syntactic controlof interference;
- game semantics;
33.Multivariate Amortized Resource Analysis

机译：多元摊销资源分析
- 作者：Jan Hoffmann;Klaus Aehlig;Martin Hofmann
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- functional programming;
- static analysis;
- amortizedanalysis;
- resource consumption;
- quantitative analysis;
34.Regular Expression Containment: Coinductive Axiomatization and Computational Interpretation

机译：正则表达式包含：归纳公理化和计算解释
- 作者：Fritz Henglein;Lasse Nielsen
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- axiomatization;
- coercion;
- coinduction;
- computational interpretation;
- containment;
- equivalence;
- regular expression;
- type;
35.Symmetric Lenses

机译：对称镜片
- 作者：Martin Hofmann;Benjamin Pierce;Daniel Wagner
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- lens;
- view-update;
- algebra;
- category theory;
36.Dynamic Multirole Session Types

机译：动态多角色会话类型
- 作者：Pierre-Malo Dentelou;Nobuko Yoshida
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- communications;
- roles;
- multiparty;
- session types;
- mobile processes;
- dynamic protocols;
- join-leave;
- peer-to-peer;
- auction.;
37.Delay-Bounded Scheduling

机译：时延有界调度
- 作者：Michael Emmi;Shaz Qadeer;Zvonimir Rakamaric
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- concurrency;
- asynchronous programs;
- delay;
- sequen-tiali/ation;
38.On Interference Abstractions

机译：关于干扰抽象
- 作者：Nishant Sinha;Chao Wang
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- algorithms;
- verification.;
39.Dynamic Inference of Static Types for Ruby

机译：Ruby静态类型的动态推断
- 作者：Jong-hoon (David) An;AvikChaudhuri;Jeffrey S.Foster;Michael Hicks
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- dynamic type inference;
- static types. ruby;
- dynamiclanguages;
40.Space Overhead Bounds for Dynamic Memory Management with Partial Compaction

机译：具有部分压缩的动态内存管理的空间开销界限
- 作者：Anna Bendersky;Erez Petrank
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- runtime systems;
- memory management;
- storage allocation;
- dynamic storage allocation;
- compaction;
- partial compaction.;
41.Complexity of Pattern-based Verification for Multithreaded Programs

机译：基于模式的多线程程序验证的复杂性
- 作者：Javier Esparza;Pierre Ganty
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- concurrent programming;
- safely;
- context-free languages.;
42.Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated

机译：顺序定律：无法消除并行算法中的昂贵同步
- 作者：Hagit Attiya;Rachid Guerraoui;Danny Hendler;Petr Kuznetsov;Maged M. Michael;Martin Vechev
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- concurrency;
- algorithms;
- lower bounds. memory fences;
- memory barriers;
43.EigenCFA: Accelerating Flow Analysis with GPUs

机译：EigenCFA：使用GPU加速流分析
- 作者：Tarun Prabhu;Shreyas Ramalingam;Matthew Might;Mary Hall
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- abstract interpretation;
- eigenCFA;
- program analysis;
- flow analysis;
- lambda calculus;
- GPU. CPS;
- matrix;
44.Loop Transformations: Convexity, Pruning and Optimization

机译：循环转换：凸性，修剪和优化
- 作者：Louis-Noeel Pouchet;Uday Bondhugula;Cedric Bastoul;Albert Cohen;J. Ramanujam;P. Sadayappan;Nicolas Vasilache
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- compilation;
- compiler optimization;
- parallelism;
- loop transformations;
- affine scheduling;
45.Safe Nondeterminism in a Deterministic-by-Default Parallel Language

机译：默认确定性并行语言中的安全非确定性
- 作者：Robert L. Bocchino Jr;Stephen Heumann;Nima Honarmand;Santa V. Adve;Vikram S. Adve;Adam Welc;Tatiana Shoeisman
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- languages;
- verification;
- performance;
46.Verified Squared: Does Critical Software Deserve Verified Tools?

机译：验证平方：关键软件应提供验证工具吗？
- 作者：Xavier Leroy
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- languages;
- verification;
47.Learning Minimal Abstractions

机译：学习最小抽象
- 作者：Percy Liang;Omer Tripp;Mayur Naik
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- heap abstractions;
- static analysis;
- concurrency;
- machine learning;
- randomization;
48.Pick Your Contexts Well: Understanding Object-Sensitivity

机译：很好地选择上下文：了解对象敏感度
- 作者：Yannis Smaragdakis;Martin Bravenboer;Ondrej Lhotak
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- algorithms;
- languages;
- performance;
49.Robin Milner 1934-2010

机译：罗宾·米尔纳（Robin Milner）1934-2010
- 作者：Andrew D. Gordon;Robert Harper;John Harrison;Alan Jeffrey;Peter Sewell
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
50.Static Analysis of Multi-Staged Programs via Unstaging Translation

机译：通过分段翻译对多阶段程序进行静态分析
- 作者：Wontae Choi;Baris Aktemur;Kwangkeun Yi;Makoto Tatsuta
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- multi-staged languages;
- static analysis;
- unstagingtranslation;
- semantics preservation;
- abstract interpretation;
- projection;
51.A Typed Store-Passing Translation for General References

机译：通用参考的类型化商店传递翻译
- 作者：Frangois Pottier
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- languages;
- theory;
52.Static Analysis of Interrupt-driven Programs Synchronized via the Priority Ceiling Protocol

机译：通过优先级天花板协议同步的中断驱动程序的静态分析
- 作者：Martin D. Schwarz;Helmut Seidl;Vesal Vojdani;Peter Lammich;Markus Mueller-Olm
- 会议名称：《Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》 | 2011年
- inter-procedural analysis;
- abstract domains;
- interrupt-driven concurrency;