As Low-Level as Possible, But No Lower - WebAssembly's Evolution and Future
Explore WebAssembly's evolution, adoption across ecosystems, and its foundation in programming language research. Gain insights into its formal specification and upcoming features.
TypeScript: Static Types for JavaScript - Keynote
Explore TypeScript's origins, unique type system, and benefits, even for dynamic language enthusiasts, with Anders Hejlsberg, the project's lead architect.
Programming Language as Language
Explore programming languages as human languages, examining their structural elements, cognitive impacts, and role in shaping developer communities and mental models.
Scaling Up Machine Learning Without Tears - Programming Languages' Role
Explore techniques for scaling machine learning workloads across accelerators, focusing on partitioning, parallelism, and programming language concepts to optimize performance and hardware utilization.
Hydroflow: A Compiler Target for Fast, Correct Distributed Programs
Explore Hydroflow, a Rust-based dataflow runtime enabling correct program transformations for distributed systems. Learn about refactoring, replication, and partitioning techniques for optimizing distributed programs.
Capture Tracking in Scala
Explore capture tracking in Scala with Martin Odersky, delving into advanced concepts and techniques for efficient memory management and resource handling.
Verifying a Concurrent File System with Sequential Reasoning
Explore a verified, concurrent file system using GoTxn and Dafny. Learn about crash safety, concurrency, and combining interactive and automated proofs for robust systems software.
Can We Reason About the Security of Concurrent Systems Code?
Explore challenges and possibilities in reasoning about security in concurrent systems code with expert Peter Sewell.
Designing Energy Efficient Storage Architectures for Environmental Sustainability
Discover how to design environmentally conscious storage architectures, optimize cloud storage efficiency, and measure code's carbon footprint through practical tools and implementation strategies.
Building Robust Data-Centric Security with Advanced Block Storage Systems
Explore comprehensive data security strategies for enterprise block storage systems, covering authentication protocols, confidentiality measures, and protection against modern threats like ransomware.
The CRA Obligations - Identifying the Relevant Obligations for the Open Source Software Community
Understand key obligations and requirements for open source manufacturers under the EU Cyber Resilience Act, with insights from the Open Regulatory Compliance Working Group.
Intellectual Property and Licenses in Open Source Software for European Projects
Explore the complexities of open source IP and licensing, from legal implications to best practices for managing assets and fostering innovation in European project contexts.
Modernizing Finite State Machines in C++ Using std::variant
Discover how to revolutionize Finite State Machine implementation using std::variant in modern C++, achieving better type safety, improved performance, and cleaner code without heap allocation.
What I Learned from Sockets: Applying Socket Concepts to C++ Concurrency - Lecture
Explore socket concepts like select and poll for composing concurrent operations in C++. Learn to apply Unix primitives and Go-like semantics to solve concurrency problems efficiently.
Rewiring Your Brain with Test Driven Thinking in C++ - Meeting C++ 2023
Discover how test-driven thinking in C++ can enhance productivity, improve focus, and make coding more enjoyable while solving complex problems.
C++ in the Developing World - Why It Matters
Explore C++'s significance for efficient coding on older hardware in developing nations, its educational value, and tools for resource-constrained systems.
Prog C++ - Closing Keynote Meeting C++ 2023
Explore psychedelic C++ coding techniques, blending generic, functional, and value-based OOP practices for innovative software composition.
Ресурсний центр для грід- та хмарних технологій
Дізнайтеся про сучасні грід- та хмарні технології, їх застосування в науковій роботі та особливості функціонування ресурсного центру обміну даними в ІТФ НАН України.
ML Scalability Challenges in Machine Learning - MLOps Coffee Session
Explore ML scalability challenges with Anyscale's Head of Engineering. Gain insights on large-scale computing, attention-based models, and the balance between big and small data in machine learning.
Multilingual Programming and Project Structure for Collaboration
Explore multilingual programming and project structures for effective collaboration. Learn to choose the right language for each problem and implement best practices in data science and MLOps.
Airflow's Limitations for MLOps - Challenges and Alternatives
Explore challenges in MLOps, data platforms, and Airflow with Stephen Bailey. Gain insights on modular job design, data classification, and practical approaches to data engineering and machine learning workflows.