Thriving in the Age of AI
Explore AI's transformative impact on security, business, and daily life. Gain insights on mitigating risks, ethical implications, and future trends in AI-driven threat intelligence from an industry expert.
AI Won't Take Your Job but It Will Help You Do It Better
Discover how AI tools like Github's Co-Pilot and ChatGPT can streamline code generation, automate tasks, and enhance productivity in Android development. Learn to leverage AI for efficient programming workflows.
The Semantics of Plurals in Expression Languages - SLE
Explore the semantics of plurals in software languages, examining bunch theory and its integration with relations for seamless modeling and programming.
klogic: miniKanren in Kotlin - miniKanren'23 Conference
Explore miniKanren implementation in Kotlin with klogic, covering its features, design decisions, and practical applications in logic programming.
Artificial Languages are Dead. Long Live Artificial Languages - SLE23
Explore the impact of Large Language Models on programming, artificial languages, and CS education in this thought-provoking talk by Crista Lopes.
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples
Design Datalog templates for synthesizing bidirectional programs from tabular examples, exploring innovative approaches in program synthesis and transformation.
Trustworthy Formal Natural Language Specifications
Explore a novel approach to translating natural language specifications into formal claims within proof assistants, enhancing software verification and bridging the gap between informal and formal specifications.
Programming Languages for AI Programming Agents
Explore the future of programming languages in AI-driven development, examining key features, tools, and workflows needed for effective human-AI collaboration in software creation.
All the Binaries Together: A Semantic Approach to Application Binary Interfaces
Explore a semantic approach to Application Binary Interfaces, enhancing interoperability and safety in multi-language systems through realizability models and formalized ABIs.
Program Synthesis via Bi-directional Reduced-product Abstract Interpretation - N40AI'24
Explore bi-directional reduced-product abstract interpretation for inductive program synthesis, focusing on example-based techniques and their application to bit-manipulation programs.
Prompting Is Programming: A Query Language for Large Language Models
Explore Language Model Programming (LMP) and LMQL, a novel approach combining text prompting and scripting for efficient language model interactions and task adaptations.
Learning to Boost Disjunctive Static Bug-Finders
Explore a novel learning-based strategy for disjunctive static bug-finders, addressing challenges in state-selection heuristics and improving efficiency in real-world program analysis.
Comparing Elixir and Python for Simple Neural Networks
Compare Elixir's Nx library with Python's machine learning ecosystem for training neural networks. Explore development experiences and performance differences using MNIST and CIFAR-10 datasets.
Quantum Doodle: Digital Twins for Everyday Activities
Explore digital twins for everyday activities, enhancing situational awareness while preserving human decision-making. Learn about quantum doodles and their implementation in Elixir.
Erlang Language Platform: Revolutionizing the Erlang Development Experience
Revolutionize Erlang development with the open-source Erlang Language Platform (ELP). Discover a scalable, incremental IDE-first library for semantic analysis, enhancing coding, debugging, and maintenance.
What the Shell - Prototyping with LLMs Using OTP-26 Improvements - Code BEAM Europe 2023
Explore OTP-26 shell improvements and prototype Erlang modules using ChatGPT. Learn multiline expressions, function definitions, and type completions while building an app interactively.
Using LLMs and AI Agents to Superpower Your Phoenix Apps - Code BEAM America 2024
Explore hands-on integration of AI and LLMs in Elixir/Phoenix applications, leveraging recent advancements to enhance software capabilities.
AI Assistants for C++ Developers - Effective and Responsible Use
Explore AI assistants for C++ development: understand LLMs, evaluate their impact, and learn effective, safe usage through live demonstrations and practical insights.
What Successful AI Teams Have in Common
Discover key characteristics of successful AI teams through the five phases of team development, from forming to adjourning, and enhance your team's performance.
Understanding and Using AI and Machine Learning 101
Explore AI and ML applications in business, focusing on Oracle's tools for database management, analytics, and generative AI. Learn about algorithms, AutoML, and the future of AI in various industries.
Player Piano - The World of ADW and ATP - DevOps 2024
Explore the world of ADW and ATP, autonomous databases, and their impact on DevOps. Gain insights into machine learning integration and future trends in database management.