掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
ACM SIGPLAN Conference on Programming Language Design and Implementation
ACM SIGPLAN Conference on Programming Language Design and Implementation
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
The Implicit Calculus A New Foundation for Generic Programming
机译:
隐含微积分是通用编程的新基础
作者:
Bruno C. d. S. Oliveira
;
Tom Schrijvers
;
Wontae Choi
;
Wonchan Lee
;
Kwangkeun Yi
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Languages;
Implicit parameters;
Type classes;
C++ concepts;
Generic programming;
Haskell;
Scala;
2.
Diderot: A Parallel DSL for Image Analysis and Visualization
机译:
Diderot:用于图像分析和可视化的并行DSL
作者:
Charisee Chiw
;
Gordon Kindlmann
;
John Reppy
;
Lamont Samuels
;
Nick Seltzer
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Domain Specific Languages;
Image Analysis;
Scientific Visualization;
Parallelism;
3.
Automated Synthesis of Symbolic Instruction Encodings from I/O Samples
机译:
自动合成I / O样品的符号指令编码
作者:
Patrice Godefroid
;
Ankur Taly
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Languages;
Verification;
Program Synthesis;
Symbolic Execution;
X86;
4.
Parcae: A System for Flexible Parallel Execution
机译:
Parcae:一种灵活并行执行系统
作者:
Arun Raman
;
Ayal Zaks
;
Jae W. Lee
;
David I. August
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Design;
Performance;
Automatic parallelization;
Code generation;
Compiler;
Flexible;
Multicore;
Parallel;
Performance portability;
Run-time;
Adaptivity;
Tuning;
5.
Efficient State Merging in Symbolic Execution
机译:
符号执行中的高效状态合并
作者:
Volodymyr Kuznetsov
;
Johannes Kinder
;
Stefan Bucur
;
George Candea
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Testing;
Symbolic Execution;
Verification;
Bounded software Model Checking;
State Merging;
6.
Dynamic Synthesis for Relaxed Memory Models
机译:
放松内存模型的动态合成
作者:
Feng Liu
;
Nayden Nedev
;
Nedyalko Prisadnikov
;
Martin Vechev
;
Eran Yahav
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Algorithms;
Verification;
Concurrency;
Synthesis;
Relaxed Memory Models;
Weak Memory Models;
7.
JANUS: Exploiting Parallelism via Hindsight
机译:
Janus:通过后智开发并行
作者:
Omer Tripp
;
Roman Manevich
;
John Field
;
Mooly Sagiv
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Experimentation;
Measurement;
Performance;
Speculative execution;
Concurrency;
Conflict detection;
Transactional memory;
8.
Race Detection for Web Applications
机译:
Web应用程序的竞争检测
作者:
Boris Petrov
;
Martin Vechev
;
Manu Sridharan
;
Julian Dolby
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Concurrency;
Asynchrony;
Web;
Race detection;
Non-eterminism;
9.
SuperC: Parsing All of C by Taming the Preprocessor
机译:
superc:通过驯服预处理器来解析所有c
作者:
Paul Gazzillo
;
Robert Grimm
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Languages;
Algorithms;
C;
Preprocessor;
LR parsing;
Fork-Merge LR parsing;
SuperC;
10.
Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection
机译:
基于优先级的调度程序的多核加速度,用于并发错误检测
作者:
Santosh Nagarakatte
;
Sebastian Burckhardt
;
Milo M. K. Martin
;
Madanlal Musuvathi
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Algorithms;
Reliability;
Verification;
Concurrency;
Priority-based scheduling;
Multithreading;
Probabilistic concurrency testing;
Parallel testing;
11.
A Dynamic Program Analysis to find Floating-Point Accuracy Problems
机译:
动态程序分析,以寻找浮点精度问题
作者:
Florian Benz
;
Andreas Hildebrandt
;
Sebastian Hack
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Dynamic program analysis;
Program instrumentation;
Floating-point accuracy;
12.
Input-Sensitive Profiling
机译:
输入敏感的分析
作者:
Emilio Coppa
;
Camil Demetrescu
;
Irene Finocchi
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Algorithms;
Measurement;
Performance;
Performance profiling;
Asymptotic analysis;
Dynamic program analysis;
Instrumentation;
13.
Chimera: Hybrid Program Analysis for Determinism
机译:
Chimera:确定主义的混合计划分析
作者:
Dongyoon Lee
;
Peter M. Chen
;
Jason Flinn
;
Satish Narayanasamy
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Design;
Performance;
Reliability;
Determinism;
Replay;
Data-race detection;
Static analysis;
Profiling;
Symbolic range analysis;
14.
Speculative Linearizability
机译:
投机性的线性化
作者:
Rachid Guerraoui
;
Viktor Kuncak
;
Giuliano Losa
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Speculation;
Distributed Systems;
Modularity;
15.
Verifying GPU Kernels by Test Amplification
机译:
通过测试放大来验证GPU内核
作者:
Alan Leung
;
Manish Gupta
;
Yuvraj Agarwal
;
Rajesh Gupta
;
Ranjit Jhala
;
Sorin Lerner
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Languages;
Reliability;
Verification;
Test Amplification;
Determinism;
GPU;
16.
Automated Error Diagnosis Using Abductive Inference
机译:
使用绑架推理自动化错误诊断
作者:
Isil Dillig
;
Thomas Dillig
;
Alex Aiken
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Languages;
Verification;
Algorithms;
Experimentation;
Error diagnosis;
Abductive inference;
Static analysis;
17.
Type-Directed Completion of Partial Expressions
机译:
类型导向的部分表达式完成
作者:
Daniel Perelman
;
Sumit Gulwani
;
Thomas Ball
;
Dan Grossman
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Languages;
Experimentation;
Program synthesis;
Partial expressions;
Code completion;
Type-based analysis;
Ranking;
18.
Compiling a High-Level Language for GPUs
机译:
编制GPU的高级语言
作者:
Christophe Dubach
;
Perry Cheng
;
Rodric Rabbah
;
David F. Bacon
;
Stephen J. Fink
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Design;
Languages;
Performance;
GPU;
OpenCL;
Java;
Lime;
Streaming;
Map;
Reduce;
19.
A Compiler Framework for Extracting Superword Level Parallelism
机译:
用于提取卓遍级别并行性的编译器框架
作者:
Jun Liu
;
Yuanrui Zhang
;
Ohyoung Jang
;
Wei Ding
;
Mahmut Kandemir
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Design;
Algorithms;
Languages;
Experimentation;
Performance;
SLP;
SIMD;
Scheduling;
Data Layout;
Compiler;
20.
Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs
机译:
证明了轻松无限制的近似计划的可接受性质
作者:
Michael Carbin
;
Deokhwan Kim
;
Sasa Misailovic
;
Martin C. Rinard
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Languages;
Performance;
Theory;
Verification;
Coq;
Acceptability;
Relaxed Programs;
Relational oare Logic;
21.
Parallelizing Top-Down Interprocedural Analyses
机译:
平行化自上而下的进攻性分析
作者:
Aws Albarghouthi
;
Rahul Kumar
;
Aditya V. Nori
;
Sriram K. Rajamani
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Parallelism;
Testing;
Verification;
Abstraction refinement;
Interprocedural analysis;
Software model checking;
22.
Synchronising C/C++ and POWER
机译:
同步C / C ++和电源
作者:
Susmit Sarkar
;
Kayvan Memarian
;
Scott Owens
;
Mark Batty
;
Peter Sewell
;
Luc Maranget
;
Jade Alglave
;
Derek Williams
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Languages;
Reliability;
Standardisation;
Theory;
Verification;
Relaxed Memory Models;
Semantics;
23.
Scalable and Precise Dynamic Datarace Detection for Structured Parallelism
机译:
结构平行化的可扩展和精确的动态数据区检测
作者:
Raghavan Raman
;
Jisheng Zhao
;
Vivek Sarkar
;
Martin Vechev
;
Eran Yahav
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Algorithms;
Languages;
Verification;
Parallelism;
Program Analysis;
Data Races;
24.
Self-Stabilizing Java
机译:
自我稳定的Java
作者:
Yong hun Eom
;
Brian Demsky
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Languages;
Reliability;
Self-Stabilization;
Software Robustness;
25.
And Then There Were None: A Stall-Free Real-Time Garbage Collector for Reconfigurable Hardware
机译:
然后没有:无稳定的实时垃圾收集器,用于可重新配置硬件
作者:
David F. Bacon
;
Perry Cheng
;
Sunil Shukla
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Design;
Languages;
Experimentation;
Performance;
Block RAM;
FPGA;
High Level Synthesis;
Garbage Collection;
Real Time;
26.
RockSalt: Better, Faster, Stronger SFI for the x86
机译:
Rocksalt:更好,更快,SFI更强大的X86
作者:
Greg Morrisett
;
Gang Tan
;
Joseph Tassarotti
;
Jean-Baptiste Tristan
;
Edward Gan
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Security;
Verification;
Software fault isolation;
Domain-specific languages;
27.
Polyhedra Scanning Revisited
机译:
Polyhedra扫描重新审视
作者:
Chun Chen
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Performance;
Algorithms;
Polyhedra scanning;
Polyhedral transformations;
28.
Synthesising Graphics Card Programs from DSLs
机译:
从DSLS综合图形卡程序
作者:
Luke Cartey
;
Rune Lyngsoe
;
Oege de Moor
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Language;
Performance;
Gpu;
Scientific applications;
Program synthesis;
Dynamic programming;
29.
Speculative Separation for Privatization and Reductions
机译:
私有化和减少的投机分离
作者:
Nick P. Johnson
;
Hanjun Kim
;
Prakash Prabhu
;
Ayal Zaks
;
David I. August
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Languages;
Performance;
Design;
Experimentation;
Automatic parallelization;
Separation;
Speculation;
30.
Synthesizing Software Verifiers from Proof Rules
机译:
从证明规则综合软件验证者
作者:
Sergey Grebenshchikov
;
Nuno P. Lopes
;
Corneliu Popeea
;
Andrey Rybalchenko
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Proof rules;
Verification tool synthesis;
Software verification;
Software model checking;
31.
Deterministic Parallelism via Liquid Effects
机译:
通过液体效应确定不同的并行性
作者:
Ming Kawaguchi
;
Patrick Rondon
;
Alexander Bakst
;
Ranjit Jhala
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Languages;
Reliability;
Verification;
Liquid Types;
Type Inference;
Dependent Types;
C;
Safe Parallel Programming;
Determinism;
32.
Language-Based Control and Mitigation of Timing Channels
机译:
基于语言的控制与时序频道缓解
作者:
Danfeng Zhang
;
Aslan Askarov
;
Andrew C. Myers
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Languages;
Security;
Timing channels;
Mitigation;
Information flow;
33.
Fast and Precise Hybrid Type Inference for JavaScript
机译:
用于JavaScript的快速和精确的混合型推理
作者:
Brian Hackett
;
Shu-yu Guo
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Type inference;
Hybrid;
Just-in-time compilation;
34.
Dynamic Trace-Based Analysis of Vectorization Potential of Applications
机译:
基于动态轨迹的应用范围化潜力分析
作者:
Justin Holewinski
;
Ragavendar Ramamurthi
;
Mahesh Ravishankar
;
Naznin Fauzia
;
Louis-Noel Pouchet
;
Atanas Rountev
;
P. Sadayappan
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Performance;
Measurement;
Algorithms;
Performance analysis;
Dynamic analysis;
Vectorization;
35.
Concurrent Data Representation Synthesis
机译:
并发数据表示合成
作者:
Peter Hawkins
;
Alex Aiken
;
Kathleen Fisher
;
Martin Rinard
;
Mooly Sagiv
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Synthesis;
Lock Placement;
36.
Logical Inference Techniques for Loop Parallelization
机译:
循环并行化的逻辑推理技术
作者:
Cosmin E. Oancea
;
Lawrence Rauchwerger
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Performance;
Design;
Algorithms;
Auto-parallelization;
USR;
Independence predicates;
37.
Static Analysis and Compiler Design for Idempotent Processing
机译:
静态分析和编译器设计,用于幂等处理
作者:
Marc de Kruijf
;
Karthikeyan Sankaralingam
;
Somesh Jha
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Algorithms;
Design;
Performance;
Reliability;
Idempotent processing;
Idempotent regions;
38.
Sound and Precise Analysis of Parallel Programs through Schedule Specialization
机译:
通过安排专业化对并行程序的声音和精确分析
作者:
Jingyue Wu
;
Yang Tang
;
Gang Hu
;
Heming Cui
;
Junfeng Yang
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Algorithms;
Design;
Reliability;
Verification;
Specialization;
Parallel programs;
Multithreading;
Control-flow analysis;
Data-flow analysis;
Constraint solving;
39.
Adaptive Input-aware Compilation for Graphics Engines
机译:
图形引擎的自适应输入感知汇编
作者:
Mehrzad Samadi
;
Amir Hormati
;
Mojtaba Mehrara
;
Janghaeng Lee
;
Scott Mahlke
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Design;
Languages;
Performance;
Streaming;
Compiler;
GPU;
Optimization;
Portability;
40.
Understanding and Detecting Real-World Performance Bugs
机译:
了解和检测真实世界的性能错误
作者:
Guoliang Jin
;
Linhai Song
;
Xiaoming Shi
;
Joel Scherpelz
;
Shan Lu
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Languages;
Measurement;
Performance;
Reliability;
Performance bugs;
Characteristics study;
Rule-based bug detection;
41.
Effective Parallelization of Loops in the Presence of I/O Operations
机译:
在I / O操作的情况下,循环的有效并行化
作者:
Min Feng
;
Rajiv Gupta
;
Iulian Neamtiu
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Languages;
Performance;
DOALL Parallelization;
Speculative Parallelization;
Helper Threading;
I/O contention;
42.
Algorithmic Profiling
机译:
算法分析
作者:
Dmitrijs Zaparanuks
;
Matthias Hauswirth
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Performance;
Measurement;
Algorithmic Profiling;
Algorithmic Complexity;
43.
Type-Directed Automatic Incrementalization
机译:
类型定向自动增量化
作者:
Yan Chen
;
Joshua Dunfield
;
Umut A. Acar
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Self-adjusting computation;
Incrementalization;
Type annotations;
Compiler optimization;
Performance;
44.
Fully Automatic and Precise Detection of Thread Safety Violations
机译:
全自动和精确地检测线程安全违规
作者:
Michael Pradel
;
Thomas R. Gross
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Languages;
Reliability;
Algorithms;
Thread safety;
Testing;
Concurrent test generation;
45.
Design and Implementation of Sparse Global Analyses for C-like Languages
机译:
用于C样语言的稀疏全局分析的设计与实现
作者:
Hakjoo Oh
;
Kihong Heo
;
Wonchan Lee
;
Woosuk Lee
;
Kwangkeun Yi
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Static analysis;
Abstract interpretation;
Sparse analysis;
46.
Reagents: Expressing and Composing Fine-grained Concurrency
机译:
试剂:表达和编写细粒度并发性
作者:
Aaron Turon
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Design;
Algorithms;
Languages;
Performance;
Fine-grained concurrency;
Nonblocking algorithms;
Monads;
Arrows;
Compositional concurrency;
47.
Engage: A Deployment Management System
机译:
聘用:部署管理系统
作者:
Jeffrey Fischer
;
Rupak Majumdar
;
Shahram Esmaeilsabzali
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Design;
Languages;
Management;
Application deployment;
Declarative languages;
Cloud computing;
48.
Test-Case Reduction for C Compiler Bugs
机译:
C编译器错误的测试用例减少
作者:
John Regehr
;
Eric Eide
;
Yang Chen
;
Chucky Ellison
;
Pascal Cuoq
;
Xuejun Yang
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2012年
关键词:
Compiler testing;
Compiler defect;
Automated testing;
Random testing;
Bug reporting;
Test-case minimization;
49.
How to Combine Widening and Narrowing for Non-monotonic Systems of Equations
机译:
如何结合扩展和缩小的非单调系统的方程式
作者:
Kalmer Apinis
;
Helmut Seidl
;
Vesal Vojdani
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Static Program Analysis;
Fixpoint Iteration;
Constraint Solving;
50.
It's Alive! Continuous Feedback in UI Programming
机译:
它还活着! UI编程中的连续反馈
作者:
Sebastian Burckhardt
;
Peli de Halleux
;
Michal Moskal
;
Manuel Fahndrich
;
Sean McDirmid
;
Nikolai Tillmann
;
Jun Kato
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Live Programming;
Graphical User Interface;
Languages;
Human Factors;
51.
SMAT: An Input Adaptive Auto-Tuner for Sparse Matrix-Vector Multiplication
机译:
SMAT:用于稀疏矩阵矢量乘法的输入自适应自动调谐器
作者:
Jiajia Li
;
Guangming Tan
;
Mingyu Chen
;
Ninghui Sun
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Sparse matrix-vector multiplication;
SpMV;
Auto-tuning;
Data mining;
Algebraic multi-grid;
Algorithms;
Performance;
52.
Finding Optimum Abstractions in Parametric Dataflow Analysis
机译:
在参数数据流分析中找到最佳抽象
作者:
Xin Zhang
;
Mayur Naik
;
Hongseok Yang
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Dataflow analysis;
CEGAR;
Abstraction refinement;
Optimum abstraction;
Impossibility;
Under-approximation;
Languages;
Verification;
53.
Translation Validation for a Verified OS Kernel
机译:
验证OS内核的翻译验证
作者:
Thomas Sewell
;
Magnus Myreen
;
Gerwin Klein
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Binary Verification;
SeL4;
Microkernel;
Verification;
Languages;
54.
Dynamic Determinacy Analysis
机译:
动态确定分析
作者:
Max Schafer
;
Manu Sridharan
;
Julian Dolby
;
Frank Tip
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Static analysis;
Dynamic analysis;
JavaScript;
55.
Asynchronous Functional Reactive Programming for GUIs
机译:
基于异步功能反应性编程
作者:
Evan Czaplicki
;
Stephen Chong
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Functional Reactive Programming;
Graphical User Interfaces;
Languages;
Design;
56.
Optimizing Database-Backed Applications with Query Synthesis
机译:
优化具有查询综合的数据库备份应用程序
作者:
Alvin Cheung
;
Armando Solar-Lezama
;
Samuel Madden
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Program optimization;
Program synthesis;
Performance;
57.
Taming Compiler Fuzzers
机译:
驯服编译器fuzzers.
作者:
Yang Chen
;
Alex Groce
;
Chaoqiang Zhang
;
Weng-Keen Wong
;
Xiaoli Fern
;
Eric Eide
;
John Regehr
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Compiler testing;
Compiler defect;
Automated testing;
Fuzz testing;
Random testing;
Bug reporting;
Test-case reduction;
58.
Rely-Guarantee References for Refinement Types Over Aliased Mutable Data
机译:
依靠别名可变数据对细化类型的引用
作者:
Colin S. Gordon
;
Michael D. Ernst
;
Dan Grossman
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Reference immutability;
Rely-guarantee;
Refinement types;
59.
Reasoning about Nondeterminism in Programs
机译:
关于方案中非季度的推理
作者:
Byron Cook
;
Eric Koskinen
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
CTL;
Temporal logic;
Formal verification;
Termination;
Program analysis;
Model checking;
Verification;
Theory;
Reliability;
60.
CONCURRIT: A Domain Specific Language for Reproducing Concurrency Bugs
机译:
Concurrit:用于再现并发错误的域特定语言
作者:
Tayfun Elmas
;
Jacob Burnim
;
George Necula
;
Koushik Sen
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Concurrency Errors;
Domain-Specific Languages;
Software Testing;
61.
Thresher: Precise Refutations for Heap Reachability
机译:
Threesher:堆可达性的精确反驳
作者:
Sam Blackshear
;
Bor-Yuh Evan Chang
;
Manu Sridharan
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Heap reachability;
Path-sensitive analysis;
Symbolic execution;
62.
P: Safe Asynchronous Event-Driven Programming
机译:
P:安全异步事件驱动的编程
作者:
Ankush Desai
;
Vivek Gupta
;
Ethan Jackson
;
Shaz Qadeer
;
Sriram Rajamani
;
Damien Zufferey
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Domain-specific language;
Device driver;
Event-driven programming;
State machine;
Verification;
Systematic testing;
63.
Fast RMWs for TSO: Semantics and Implementation
机译:
TSO的快速RMWS:语义和实施
作者:
Bharghava Rajaram
;
Vijay Nagarajan
;
Susmit Sarkar
;
Marco Elver
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Read-Modify-Write (RMW);
Total-Store-Order (TSO);
Atomics;
Design;
Performance;
Experimentation;
64.
Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model
机译:
编译器测试通过C11 / C ++ 11内存模型中的声音优化理论进行测试
作者:
Robin Morisset
;
Pankaj Pawan
;
Francesco Zappa Nardelli
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
C11/C++11 memory model;
Compiler testing;
65.
Scalable Variable and Data Type Detection in a Binary Rewriter
机译:
二进制重写器中的可扩展变量和数据类型检测
作者:
Khaled ElWazeer
;
Kapil Anand
;
Aparna Kotha
;
Matthew Smithson
;
Rajeev Barua
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Reverse engineering;
Binary rewriting;
Variable recovery;
Type recovery;
66.
Using Managed Runtime Systems to Tolerate Holes in Wearable Memories
机译:
使用托管运行时系统将孔洞放在可穿戴存储器中的孔
作者:
Tiejun Gao
;
Karin Strauss
;
Stephen M. Blackburn
;
Kathryn S. McKinley
;
Doug Burger
;
James Larus
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Failure tolerance;
Memory management;
Phase-change memory;
Reliability;
67.
Terra: A Multi-Stage Language for High-Performance Computing
机译:
Terra:高性能计算的多阶段语言
作者:
Zachary DeVito
;
James Hegarty
;
Alex Aiken
;
Pat Hanrahan
;
Jan Vitek
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Lua;
Staged computation;
DSL;
Design;
Performance;
68.
Natural Proofs for Structure, Data, and Separation
机译:
结构,数据和分离的自然证明
作者:
Xiaokang Qiu
;
Pranav Garg
;
Andrei Stefanescu
;
P. Madhusudan
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Heap analysis;
Data structures;
Natural proofs;
Separation logic;
SMT solvers;
69.
Quipper: A Scalable Quantum Programming Language
机译:
Quipper:可扩展的量子编程语言
作者:
Alexander S. Green
;
Peter LeFanu Lumsdaine
;
Neil J. Ross
;
Peter Selinger
;
Benoit Valiron
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Quipper;
Quantum Programming Languages;
70.
Concurrent Libraries with Foresight
机译:
与前瞻性的并发库
作者:
Guy Golan-Gueta
;
G. Ramalingam
;
Mooly Sagiv
;
Eran Yahav
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Concurrency;
Composition;
Transactions;
Data Structures;
Automatic Synchronization;
71.
Machine-Verified Network Controllers
机译:
机器验证的网络控制器
作者:
Arjun Guha
;
Mark Reitblatt
;
Nate Foster
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Software-defined networking;
OpenFlow;
Formal verification;
Coq;
Domain-specific languages;
NetCore;
Frenetic;
72.
AutoSynch: An Automatic-Signal Monitor Based on Predicate Tagging
机译:
AutoSynch:基于谓词标记的自动信号监视器
作者:
Wei-Lun Hung
;
Vijay K. Garg
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Automatic signal;
Explicit signal;
Implicit signal;
Monitor;
Concurrency;
Parallel;
Algorithms;
Languages;
Performance;
73.
Reconciling Exhaustive Pattern Matching with Objects
机译:
协调与对象匹配的详尽模式
作者:
Chinawat Isradisaikul
;
Andrew C. Myers
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
JMatch;
Pattern matching;
Named constructor;
Equality constructor;
Matching specification;
Exhaustiveness;
Redundancy;
Modal abstraction;
Java;
Data abstraction;
Subtyping;
Design;
Verification;
Languages;
74.
SPL~(LIFT) - Statically Analyzing Software Product Lines in Minutes Instead of Years
机译:
SPL〜(提升) - 在几分钟而不是几年内静态分析软件产品线
作者:
Eric Bodden
;
Tarsis Toledo
;
Marcio Ribeiro
;
Claus Brabrand
;
Paulo Borba
;
Mira Mezini
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Software product lines;
Inter-procedural static analysis;
Context sensitive;
Flow sensitive;
Design;
Languages;
Performance;
75.
Monadic Abstract Interpreters
机译:
Monadic抽象口译员
作者:
Ilya Sergey
;
Jan Midtgaard
;
Dominique Devriese
;
David Darais
;
Matthew Might
;
Dave Clarke
;
Frank Piessens
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Abstract machines;
Abstract interpretation;
Monads;
Operational semantics;
Collecting semantics;
Abstract garbage collection;
Interpreters;
Languages;
Theory;
76.
General Data Structure Expansion for Multi-threading
机译:
多线程的一般数据结构扩展
作者:
Hongtao Yu
;
Hou-Jen Ko
;
Zhiyuan Li
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Parallelization;
Privatization;
Multithreading;
Algorithms;
Languages;
Performance;
77.
Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines
机译:
卤化物:用于优化图像处理管道中的并行性,地点和重新计算的语言和编译器
作者:
Jonathan Ragan-Kelley
;
Connelly Barnes
;
Andrew Adams
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Domain specific language;
Compiler;
Image processing;
Locality;
Parallelism;
Redundant computation;
Optimization;
GPU;
Vectorization;
78.
Verifying Higher-order Programs with the Dijkstra Monad
机译:
使用Dijkstra Monad验证高阶节目
作者:
Nikhil Swamy
;
Joel Weinberger
;
Cole Schlesinger
;
Juan Chen
;
Benjamin Livshits
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Predicate transformer;
Hoare monad;
Refinement types;
Dynamic languages;
Verification;
79.
Complete Completion using Types and Weights
机译:
使用类型和权重完成完成完成
作者:
Tihomir Gvero
;
Viktor Kuncak
;
Ivan Kuraj
;
Ruzica Piskac
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Program synthesis;
Type inhabitation;
Code completion;
Type-driven synthesis;
Ranking;
Languages;
Algorithms;
80.
When Polyhedral Transformations Meet SIMD Code Generation
机译:
当多面体转换符合SIMD代码时
作者:
Martin Kong
;
Franz Franchetti
;
Richard Veras
;
Louis-Noel Pouchet
;
Kevin Stock
;
P. Sadayappan
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Compiler Optimization;
Loop Transformations;
Affine Scheduling;
Program synthesis;
Autotuning;
Algorithms;
Performance;
81.
CLAP: Recording Local Executions to Reproduce Concurrency Failures
机译:
拍手:录制本地执行以重现并发失败
作者:
Jeff Huang
;
Charles Zhang
;
Julian Dolby
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Concurrency;
Bug Reproduction;
Local Execution;
Constraint Solving;
Algorithms;
Design;
Performance;
Theory;
82.
Steal Tree: Low-Overhead Tracing of Work Stealing Schedulers
机译:
偷树:工作窃取调度员的低开销追踪
作者:
Jonathan Lifflander
;
Sriram Krishnamoorthy
;
Laxmikant V. Kale
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Work-stealing schedulers;
Tracing;
Async-finish parallelism;
83.
Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths
机译:
概率计划的静态分析:从有限的许多路径推断整个程序性质
作者:
Sriram Sankaranarayanan
;
Aleksandar Chakarov
;
Sumit Gulwani
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Probabilistic Programming;
Program Verification;
Volume Bounding;
Symbolic Execution;
Monte-Carlo Sampling;
84.
Modular Verification of Linearizability with Non-Fixed Linearization Points
机译:
模块化验证具有非固定线性化点的线性化性
作者:
Hongjin Liang
;
Xinyu Feng
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Concurrency;
Rely-Guarantee Reasoning;
Linearizability;
Refinement;
Simulation;
Theory;
Verification;
85.
Automated Feedback Generation for Introductory Programming Assignments
机译:
用于介绍编程分配的自动反馈生成
作者:
Rishabh Singh
;
Sumit Gulwani
;
Armando Solar-Lezama
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Automated Grading;
Computer-Aided Education;
Program Synthesis;
86.
A General Constraint-centric Scheduling Framework for Spatial Architectures
机译:
一种用于空间架构的一般约束调度框架
作者:
Tony Nowatzki
;
Michael Sartin-Tarm
;
Lorenzo De Carli
;
Karthikeyan Sankaralingam
;
Cristian Estan
;
Behnam Robatmili
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Spatial Architectures;
Spatial Architecture Scheduling;
Integer Linear Programming;
87.
Limitations of Partial Compaction: Towards Practical Bounds
机译:
部分压缩的限制:走向实际界限
作者:
Nachshon Cohen
;
Erez Petrank
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Memory management;
Compaction;
Fragmentation;
Theory;
Lower bounds;
Algorithms;
Theory;
Languages;
88.
Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings
机译:
几乎正确的规格:用于为警告分配信心的模块化语义框架
作者:
Sam Blackshear
;
Shuvendu K. Lahiri
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Program verifiers;
False alarms;
Predicate abstraction;
89.
Fast Condensation of the Program Dependence Graph
机译:
节目依赖性图的快速凝结
作者:
Nick P. Johnson
;
Taewook Oh
;
Ayal Zaks
;
David I. August
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Demand-driven analysis;
Dependence analysis;
Program Dependence Graph;
Strongly connected components;
90.
Harmonizing Classes, Functions, Tuples, and Type Parameters in Virgil III
机译:
在Virgil III中协调类,功能,元组和类型参数
作者:
Ben L. Titzer
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Multi-paradigm languages;
Parametric types;
Object-oriented programming;
Functional programming;
Monomorphization;
Variance;
Closures;
Tuples;
Flattening;
Unboxing;
Static compilation;
91.
Formal Verification of SSA-Based Optimizations for LLVM
机译:
基于SSA的SSA优化的正式验证LLVM
作者:
Jianzhou Zhao
;
Santosh Nagarakatte
;
Milo M. K. Martin
;
Steve Zdancewic
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
LLVM;
Coq;
Single static assignment;
Languages;
Verification;
Reliability;
92.
Fast Algorithms for Dyck-CFL-Reachability with Applications to Alias Analysis
机译:
Dyck-CFL可达性的快速算法与应用到别名分析
作者:
Qirun Zhang
;
Michael R. Lyu
;
Hao Yuan
;
Zhendong Su
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Dyck-CFL-reachability;
Alias analysis;
Algorithms;
Design;
Experimentation;
Languages;
93.
TRANSIT: Specifying Protocols with Concolic Snippets
机译:
传输:使用Condolic Sippet指定协议
作者:
Abhishek Udupa
;
Sela Mador-Haim
;
Arun Raghavan
;
Milo M. K. Martin
;
Jyotirmoy V. Deshmukh
;
Rajeev Alur
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Program Synthesis;
Distributed Protocol Synthesis;
Cache Coherence Protocols;
Programming by Example;
94.
Hybrid Context-Sensitivity for Points-To Analysis
机译:
杂交上下文敏感性点分析
作者:
George Kastrinis
;
Yannis Smaragdakis
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2013年
关键词:
Points-to analysis;
Context-sensitivity;
Object-sensitivity;
Type-sensitivity;
Algorithms;
Languages;
Performance;
95.
Lock Elision for Read-Only Critical Sections in Java
机译:
锁定java中的只读关键部分
作者:
Takuya Nakaike
;
Maged M. Michael
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2010年
关键词:
Algorithms;
Languages;
Performance;
Java;
Just-In-Time compiler;
Synchronization;
Monitor;
Lock;
Optimization;
Lock elision;
96.
MemSAT: Checking Axiomatic Specifications of Memory Models
机译:
Memsat:检查内存模型的公理规格
作者:
Emina Torlak
;
Mandana Vaziri
;
Julian Dolby
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2010年
关键词:
Algorithms;
Design;
Languages;
Verification;
Memory Models;
Axiomatic Specifications;
Bounded Model Checking;
SAT;
97.
Adversarial Memory for Detecting Destructive Races
机译:
用于检测破坏性比赛的对抗记忆
作者:
Cormac Flanagan
;
Stephen N. Freund
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2010年
关键词:
Languages;
Algorithms;
Verification;
Race conditions;
Concurrency;
Dynamic analysis;
Relaxed memory models;
98.
Evaluating the Accuracy of Java Profilers
机译:
评估Java分析器的准确性
作者:
Todd Mytkowicz
;
Amer Diwan
;
Matthias Hauswirth
;
Peter F. Sweeney
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2010年
关键词:
Experimentation;
Performance;
Bias;
Profiling;
Observer effect;
99.
Decoupled Lifeguards: Enabling Path Optimizations for Dynamic Correctness Checking Tools
机译:
解耦的救生员:为动态正确检查工具提供路径优化
作者:
Olatunji Ruwase
;
Shimin Chen
;
Phillip B. Gibbons
;
Todd C. Mowry
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2010年
关键词:
Design;
Performance;
Reliability;
Security;
Dynamic code optimizations;
Dynamic correctness checking;
Dynamic program analysis;
100.
Printing Floating-Point Numbers Quickly and Accurately with Integers
机译:
用整数快速准确地打印浮点数
作者:
Florian Loitsch
会议名称:
《ACM SIGPLAN Conference on Programming Language Design and Implementation》
|
2010年
关键词:
Algorithms;
Floating-point printing;
Dtoa;
意见反馈
回到顶部
回到首页