停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

29.OOPSLA 2015：美国宾夕法尼亚州匹兹堡

>主页 >会议和研讨会 >OOPSLA公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/2015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/2015
乔纳森·奥尔德里奇，帕特里克·尤格斯特:
2015年ACM SIGPLAN面向对象编程、系统、语言和应用国际会议论文集，OOPSLA 2015，SPLASH 2015的一部分，匹兹堡，宾夕法尼亚州，美国，2015年10月25-30日。 ACM公司 2015，国际标准图书编号978-1-4503-3689-5

模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/HagueLO15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/HagueLO15
马修·黑格，安东尼·威贾贾·林，C.-H.卢克·翁:
检测HTML5应用程序中的冗余CSS规则：树重写方法。 1-19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/Demsky 15号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/DemskyL15
布莱恩·德姆斯基，林立信:
SATCheck：针对SC和TSO的SAT定向无状态模型检查。 20-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/KurajKJ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/KurajKJ15
伊万·库拉吉，维克托·昆卡，丹尼尔·杰克逊博士:
用可枚举的结构集编程。 37-56
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/JensenMRDV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/JensenMRDV15
卡斯珀·斯文宁·延森，安德斯·默勒，韦塞林·雷切夫，迪米塔尔·迪米特洛夫，马丁·T·韦切夫:
事件驱动应用程序的无状态模型检查。 57-73

领域特定语言

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/酒店B15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/HottelierB15
Thibaud Hottelier酒店，拉斯蒂斯拉夫·博迪克:
从关系约束合成布局引擎。第74页至第88页
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/ErdwegLW15文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/ErdwegLW15
塞巴斯蒂安·埃德韦格，莫里茨·利希特，曼纽尔·魏尔:
一个具有动态依赖性的可靠且最佳的增量构建系统。 89-106
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/PolozovG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/PolozovG15
奥列克桑德·波洛佐夫，苏米特·古尔瓦尼:
FlashMeta：归纳程序合成的框架。 107-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/ZhangCOS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/ZhangCOS15
张浩源，朱泽伟，布鲁诺·C·d·S·奥利维拉，蒂杰斯·范德·斯托姆:
用对象代数去掉样板。 127-146

验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/0001SCA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/0001SCA15
拉胡尔·夏尔马，埃里克·施库夫扎，伯克利·R·丘吉尔，亚历克斯·艾肯:
有条件地纠正超级优化。 147-162
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/BlachearCS15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/BlackshearCS15
萨姆·布莱克希尔，Bor-Yuh Evan Chang先生，马努·斯里德哈兰:
通过跳跃进行选择性控制流抽象。 163-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/MadhavanMGK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/MadhavanMGK15
拉维坎德兰·马德哈万，米卡·迈耶，苏米特·古尔瓦尼，维克托·昆卡:
自动进行语法比较。 183-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/NtzikG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/NtzikG15
吉安·恩茨克，菲利普·加德纳:
关于POSIX文件系统的推理：本地更新和全局路径名。 201-220

并发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/OuD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/OuD15
裴兆欧，布莱恩·德姆斯基:
AutoMO：自动推断C/C++11的内存顺序参数。 221-240
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/BiswasZBL15文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/BiswasZBL15
斯瓦南多·比斯瓦斯，张敏佳，迈克尔·D·邦德，布兰登·露西亚:
勇敢：高效、仅软件的区域冲突例外。 241-259
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/CohenP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/CohenP15
纳克肖恩·科恩，埃雷斯·彼得兰克:
无锁数据结构的自动内存回收。 260-279
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/LopezMMNSVY15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/LopezMMNSVY15
雨果·洛佩斯，爱德华多·马奎斯，弗朗西斯科·马丁斯，尼古拉斯·吴，塞萨尔·桑托斯，瓦斯科红花，吉田信子:
基于协议的消息传递并行程序验证。 280-298

流动性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/BastaniAA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/BastaniAA15
奥斯伯特·巴斯塔尼，萨斯瓦特·阿南德，亚历克斯·艾肯:
交互式验证Android应用程序中是否缺少明确的信息流。 299-315
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/BrutschyFTP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/BrutschyFTP15
卢卡斯·布鲁奇，彼得罗·费拉拉，Omer跳闸，马可·皮斯托亚:
ShamDroid：在资源访问受限的情况下，功能降级。 316-331
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/BielikRV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/BielikRV15
帕沃尔·比利克，韦塞林·雷切夫，马丁·T·韦切夫:
Android应用程序的可扩展竞争检测。 332-348
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/HuAN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/HuAN15
胡永健，坦齐鲁·阿齐姆，尤利安·尼姆图:
适用于Android的多功能、轻便的录制和回放。 349-366

编译和工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/BenderLP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/BenderLP15
约翰·班德，莫森·莱萨尼，延斯·帕尔斯伯格:
声明性围栏插入。 367-385
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/LeSS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/LeSS15
武乐，孙成年，苏振东:
通过引导随机程序变异发现深层编译器错误。 386-399
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/WangPW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/WangPW15
王海川，大卫·A·帕多瓦，吴鹏（音）:
矢量化应用程序以减少R的解释开销。 400-415
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/GveroK15文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/GveroK15
蒂霍米尔·格维罗，维克托·昆卡:
从自由格式查询中合成Java表达式。 416-432

运行时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/ZhengBB15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/ZhengBB15
郑宇迪，卢博米尔·布勒，沃尔特·宾德:
动态编译时的准确分析。 433-450
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/0003KLS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/0003KLS15
艾格纳，克里斯托夫·基尔希，迈克尔·利普茨（Michael Lippautz），安娜·索科洛娃:
通过大型虚拟内存和全局数据结构快速、多核可扩展、低碎片内存分配。 451-469
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/BostonSGC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/BostonSGC15
布雷特·波士顿，阿德里安·桑普森，丹·格罗斯曼，路易斯·塞兹:
柔性近似规划的概率类型推理。 470-487
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/JantzRKD15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/JantzRKD15
迈克尔·詹茨，福雷斯特·J·罗宾逊，普拉萨德·库尔卡尼，Kshitij A.Doshi公司:
托管语言应用程序的跨层内存管理。 488-504

静态分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/MadsenTL15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/MadsenTL15
马格努斯·马德森，弗兰克·蒂普，Ondrej Lhoták:
事件驱动Node.js JavaScript应用程序的静态分析。 505-519
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/FengWDL15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/FengWDL15
于峰，王新余，伊西尔·迪利格，卡尔文·林:
探索者：查询和需求驱动的过程间控制流属性探索。 520-534
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/DietrichHS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/DietrichHS15
延斯·迪特里希，尼古拉斯·霍林根，伯恩哈德·舒尔茨:
Giga-scale详尽无遗地介绍了Java在一分钟内的分析。 535-551
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/DaraisMH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/DaraisMH15
大卫·达赖，马修·米特，大卫·范·霍恩:
Galois变换器和模块化抽象解释器：程序分析的可重用元理论。 552-571
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/OhYY15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/OhYY15
Hakjoo噢，杨红seok，Kwangkeun Yi公司:
学习通过贝叶斯优化调整程序分析的策略。 572-588

编译和动态分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/AlvesGDLGRP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/AlvesGDLGRP15
佩里克斯·阿尔维斯，费边·格鲁伯，约翰内斯·多尔弗特，亚历山德罗斯·兰普林里亚斯（Alexandros Lamprineas），托比亚斯·格罗瑟，法布里斯·拉斯特罗，费尔南多·马格诺·昆托·佩雷拉:
运行时指针消除歧义。 589-606
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/ToffolaPG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/ToffolaPG15
卢卡·德尔拉·托福拉，迈克尔·普拉德尔，托马斯·R·格罗斯:
您可以修复的性能问题：动态分析记忆机会。 607-622
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/LeeBZZVG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/LeeBZZVG15
李文川，淘宝，郑云辉，张湘玉，凯瓦尔·沃拉，拉吉夫·古普塔:
RAIVE：通过矢量化对浮点不稳定性进行运行时评估。 623-638
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/FuBS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/FuBS15
周来福，白昭君，苏振东:
数字代码的自动反向错误分析。 639-654

实证研究和近似

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/VoelterDKE15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/VoelterDKE15
马库斯·沃尔特，阿里·范·德森，贝恩德·科尔布，斯蒂芬·埃伯勒:
使用C语言扩展开发嵌入式软件：案例研究。 655-674
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/LopesO15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/LopesO15
克里斯蒂娜·洛佩斯，乔尔·奥斯舍:
规模如何影响Java程序的结构。 675-694
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/MastrangeloPMLH15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/MastrangeloPMLH15
路易斯·马斯特兰杰罗，卢卡·蓬扎内利，安德烈亚·莫奇，米歇尔·兰扎，马蒂亚斯·豪斯沃思，纳撒尼尔·尼斯特罗姆:
使用Java不安全API的风险自负。 695-710
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/A小时R15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/AchourR15
萨拉·阿科尔，马丁·里纳德:
黄玉中带离群值检测的近似计算。 711-730

程序设计语言设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/Wickerson公司BBD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/WickersonBBD15
约翰·威克森，马克·巴蒂，布拉德福德·M·贝克曼，阿拉斯泰尔·唐纳森:
远程范围推广：澄清、纠正和验证。 731-747
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/HammerDHLFHH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/HammerDHLFHH15
马修·哈默，贾娜·邓菲尔德，凯尔·海德利，尼古拉斯·拉比奇，杰弗里·福斯特，迈克尔·W·希克斯，大卫·范·霍恩:
具有名称的增量计算。 748-766
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/FelgentreffMBH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/FelgentreffMBH15网站
蒂姆·费尔根特里夫，托德·D·米尔斯坦，阿兰·博宁，罗伯特·赫施菲尔德:
制衡：在对象约束编程语言中，无需意外地解决约束。 767-782
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/SteindorferV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/SteindorferV15
迈克尔·斯坦多夫，尤尔根·J·文朱:
为快速和精简的不可变JVM集合优化哈希数组映射尝试。 783-800

性能

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/UreceBSO15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/UrecheBSO15
Vlad尿素，阿格洛斯·比布迪斯，亚尼斯·斯马拉格达基斯，马丁·奥德斯基:
自动化即席数据表示转换。 801-820
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/MarrD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/MarrD15
斯特凡·马尔，圣埃芬·杜卡斯:
跟踪与部分评估：比较自我优化解释器的元编译方法。 821-839
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/UpadhyayaR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/UpadhyayaR15
Ganesha Upadhyaya公司，赫里德斯·拉詹:
有效地将消息传递并发的语言抽象映射到Java虚拟机上的线程。 840-859
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/SrinivasanR15文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/SrinivasanR15
文卡特斯·斯里尼瓦桑，Thomas W.代表:
机器代码的部分评估。 860-879

类型系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/ErdwegBKKM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/ErdwegBKKM15
塞巴斯蒂安·埃尔德维格，奥利弗·布拉切瓦克，埃德利拉·库奇，马蒂亚斯·克雷布斯，米拉·梅齐尼:
类型规则的联合上下文公式及其在增量类型检查中的应用。 880-897
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/BrandauerCW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/BrandauerCW15
斯蒂芬·布兰道尔，戴夫·克拉克，托比亚斯·箭牌:
细粒度别名的不相交域。 898-916
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/CrafaP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/CrafaP15
西尔维娅·克拉法，卢卡·帕多瓦尼:
面向类型状态编程的化学方法。 917-934
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/ToroT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/ToroT15
马蒂亚斯·托罗，埃里克·坦特:
Scala的可定制渐变多态效果。 935-953

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。