文件名称：OOPSLA 2011-Object oriented programming systems languages and applications 2011
文件大小：52.13MB
文件格式：RAR
更新时间：2015-03-11 04:54:03
论文集 ACM OOPSLA SIGPLAN 2011
（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。） 面向对象程序设计语言及应用方面的*会议——ACM international conference on Object oriented programming systems languages and applications 2011年的论文集，关于该会议，可参看以下简介： OOPSLA是一个年度会议，此年度会议为面向对象编程系统，语言以及应用程序举办，主办方是计算机协会(ACM)的SIGPLAN以及SIGSOFT团体。第一届OOPSLA会议是在1986年在俄勒冈州波特兰市召开的。OOPSLA组织者们将这个会议描述成为“面向对象技术的高峰会议”。 该会议2011年共收录62篇论文，共分为18个session。
【文件预览】：
OOPSLA 2011
----Synthesis and analysis()
--------Kind analysis for MATLAB.pdf(747KB)
--------Data-driven synthesis for object-oriented frameworks.pdf(1.12MB)
--------Tool-supported refactoring for JavaScript.pdf(734KB)
--------Synthesis of first-order dynamic programming algorithms.pdf(687KB)
----Specification and verification tools()
--------JET _ exception checking in the Java native interface.pdf(1.44MB)
--------Immutable specifications for more concise and precise verification.pdf(454KB)
--------Trustworthy numerical computation in Scala.pdf(785KB)
----Program analysis()
--------RoleCast _ finding missing security checks when you do not know what checks are.pdf(742KB)
--------Null dereference verification via over-approximated weakest pre-conditions analysis.pdf(974KB)
--------F4F _ taint analysis of framework-based web applications.pdf(655KB)
----Language design()
--------First-class state change in plaid.pdf(934KB)
--------Declaratively programming the mobile web with Mobl.pdf(1.16MB)
--------Self-adjusting stack machines.pdf(513KB)
--------Cedalion _ a language for language oriented programming.pdf(1.61MB)
----Type systems I()
--------Gradual typing for generics.pdf(509KB)
--------Product lines of theorems.pdf(511KB)
--------A theory of substructural types and control.pdf(829KB)
----Tools for reliability and testing()
--------Catch me if you can _ performance bug detection in the wild.pdf(1.34MB)
--------PREFAIL _ a programmable tool for multiple-failure injection.pdf(628KB)
--------Synthesizing method sequences for high-coverage testing.pdf(508KB)
--------Integrated language definition testing _ enabling test-driven language development.pdf(703KB)
----Reflection and meta-programming()
--------Backstage Java _ making a difference in metaprogramming.pdf(773KB)
--------Flexible object layouts_ enabling lightweight language extensions by intercepting slot access.pdf(858KB)
--------Virtual values for language extension.pdf(753KB)
----Type systems II()
--------Freedom before commitment _ a lightweight type system for object initialisation.pdf(533KB)
--------Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance.pdf(636KB)
--------A syntactic type system for recursive modules.pdf(557KB)
----Empirical results()
--------Automated construction of JavaScript benchmarks.pdf(2.13MB)
--------Benefits and barriers of user evaluation in software engineering research.pdf(7.76MB)
--------Da capo con scala _ design and analysis of a scala benchmark suite for the java virtual machine.pdf(1.83MB)
----Parallel concurrent programming II()
--------Delegated isolation.pdf(1.62MB)
--------Composable, nestable, pessimistic atomic statements.pdf(631KB)
--------A simple abstraction for complex concurrent indexes.pdf(917KB)
--------AC _ composable asynchronous IO for native languages.pdf(645KB)
----Language implementation I()
--------Oracle scheduling _ controlling granularity in implicitly parallel languages.pdf(791KB)
--------Flow-sensitive type recovery in linear-log time.pdf(547KB)
--------A step towards transparent integration of input-consciousness into dynamic program optimizations.pdf(633KB)
--------Enhancing locality for recursive traversals of recursive structures.pdf(1.08MB)
----Keynote()
--------The sequential *.pdf(356KB)
----Language implementation II()
--------Reducing trace selection footprint for large-scale Java applications without performance loss.pdf(1.08MB)
--------Variability-aware parsing in the presence of lexical macros and conditional compilation.pdf(777KB)
--------Safe and atomic run-time code evolution for Java and its application to dynamic AOP.pdf(917KB)
--------JIT compilation policy for modern machines.pdf(717KB)
----Award papers()
--------Hybrid partial evaluation.pdf(486KB)
--------SugarJ _ library-based syntactic language extensibility.pdf(647KB)
--------Reactive imperative programming with dataflow constraints.pdf(626KB)
--------Two for the price of one _ a model for parallel and incremental computation.pdf(1010KB)
----Parallel concurrent programming I()
--------Scalable join patterns.pdf(786KB)
--------Exploiting coarse-grain speculative parallelism.pdf(857KB)
--------Efficiently speeding up sequential computation through the n-way programming model.pdf(710KB)
--------Kismet _ parallel speedup estimates for serial programs.pdf(543KB)
----Memory management()
--------Ribbons _ a partially shared memory programming model.pdf(1.18MB)
--------Why nothing matters _ the impact of zeroing.pdf(859KB)
--------Asynchronous assertions.pdf(476KB)
----Catching concurrency bugs()
--------SHERIFF _ precise detection and automatic mitigation of false sharing.pdf(1012KB)
--------Testing atomicity of composed concurrent operations.pdf(998KB)
--------Accentuating the positive _ atomicity inference and enforcement using correct executions.pdf(707KB)
--------SOS _ saving time in dynamic race detection with stationary analysis.pdf(1.19MB)
----Parallelizing compilers()
--------HAWKEYE _ effective discovery of dataflow impediments to parallelization.pdf(699KB)
--------Safe parallel programming using dynamic dependence hints.pdf(728KB)
--------Sprint _ speculative prefetching of remote data.pdf(513KB)
--------Automatic fine-grain locking using shape properties.pdf(993KB)