Tomas Petricek - Data exploration through dot-driven development ECOOPLDI 2017 190 подписчиков Скачать
Weixin Zhang - EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse Скачать
Daco Harkes - IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition Скачать
Alceste Scalas - A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming Скачать
Baptiste Saleil - Interprocedural Specialization of Higher-Order Dynamic Languages Without Static... Скачать
Jan-Oliver Kaiser - Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in... Скачать
Jeff Huang - What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy... Скачать
David Menendez - ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM Скачать
Konstantinos Mamouras - StreamQRE: Modular Specification and Efficient Evaluation of Quantitative... Скачать
Stefan K. Muller - Responsive Parallel Computation: Bridging Competitive and Cooperative Threading Скачать
Thomas Wuerthinger - Practical Partial Evaluation for High-Performance Dynamic Language Runtimes Скачать
Scott Schneider - Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes Скачать
Frank Wood - Probabilistic Programming and Inference Compilation, or, How I Learned to Stop... Скачать
Yu Feng - Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples Скачать
Phi-Diep Bui - Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) Скачать
Paul Gazzillo - Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels Скачать
Tian Tan - Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent... Скачать