CMU Advanced NLP: Syntax and Semantics
Explore advanced NLP concepts: dependency parsing, feature structures, semantic roles, and formal semantics. Gain insights into linguistic analysis and representation techniques.
CMU Multilingual NLP - Syntax and Parsing
Explore syntax, dependency parsing, and linguistic discovery with AutoLex. Learn about major word orders, parsing models, and tools for multilingual NLP research and applications.
CMU Multilingual NLP 2022 - Translation and Translation Data
Explore machine translation, evaluation metrics, and data sources in this comprehensive lecture on multilingual NLP, covering industry practices and challenges in translation.
Syntaxes for Binding and Their Semantics
Explore binding syntaxes and their semantics with Guillaume Allais, delving into advanced concepts in programming language theory and formal methods.
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric - PLDI 2024
Explore space-efficient implementation of gradual typing with mostly parametric polymorphism. Learn about λCmp and λSmp calculi, their properties, and the implications for type-preserving translations.
The Morello ISA Semantics, Proof, and Test Generation
Explore Morello ISA semantics, proof techniques, and test generation methods for advanced computer architecture and security applications.
Toward Probabilistic Coarse-to-Fine Program Synthesis
Explore probabilistic coarse-to-fine program synthesis, a novel approach using iterative refinement of stochastic programs to efficiently search and generate programs matching specifications.
System-Level Weak Memory Models: The Need for Formalisation, ISA Semantics Integration and Model Diversity
Explore system-level weak memory models, focusing on formalization, ISA semantics integration, and model diversity in computer architecture.
Low-Pass Semantics with a Bit of Discourse - November 2013
Explore advances in natural language processing and the challenge of creating systems that understand text, with insights on leveraging distributional regularities for effective analysis.
Localization vs. Semantics: Visual Representations in Unimodal and Multimodal Models
Explore visual representations in unimodal and multimodal models, comparing their strengths in label prediction and dense prediction tasks. Gain insights into language's role in visual learning.
I See What You Mean
Exploring query languages for distributed systems programming, focusing on Dedalus and its ability to reason about correctness, consistency, and fault-tolerance in distributed environments.
Following Google or Don't Follow the Followers, Follow the Leader
Explores data management challenges in the digital age, discussing scale, speed, persistence, and context. Critiques current trends and technologies, emphasizing the importance of understanding data's lifecycle and structure.
HTML - How to Make Loveliness
Discover HTML's hidden wonders and enhance user experience with semantic markup. Learn to choose correct elements, future-proof your code, and become a front-end superhero in this insightful talk.
Reintroduction to C
Fast-paced, comprehensive reintroduction to C programming, covering syntax, semantics, and intricacies. Suitable for those seeking a thorough refresh on this fundamental language.
Writing Really Good Tests - Vuejs Amsterdam
Discover effective testing strategies for frontend development, focusing on decoupling, implementation details, and user interface to improve code quality and reduce bugs.
From Horror Story to Fairy Tale - Writing Code
Discover techniques for writing clear, empathetic code that enhances readability, reduces bugs, and improves team collaboration. Learn to transform your coding style from confusing to comprehensible.
Building a Reactive Multi-User Document Editor in ScalaJS
Learn to build a reactive multi-user document editor using ScalaJS, exploring architecture, data structures, and performance optimization techniques for real-time collaborative editing.
Accessibility of Web Components
Exploring web accessibility in the context of Web Components, focusing on semantics, Shadow DOM, and ARIA to create inclusive, cutting-edge web experiences.
Emoji, Web Components, and Art
Explore the intersection of emoji, web components, and art in this talk, discovering innovative tools for creating and sharing digital art on the web.
Minimal Self-Consciousness as Perspectival Information
Explore the concept of Minimal Self-Consciousness through perspectival information and its role in self-location, examining how consciousness manifests without traditional spatial-temporal boundaries.
A Semantics of Core Erlang with Handling of Signals
Explore a small step semantics for Core Erlang's monitoring and signal systems, aimed at enabling causal explanations for property violations in concurrent programs.