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.
Falcon: A Scalable Analytical Cache Model
Explore a scalable analytical cache model for affine programs, improving performance prediction efficiency and enabling faster optimization decisions in large-scale software development.
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.
Towards a Language-parametric DSL for Refactoring - Short Paper
Explore a language-parametric DSL approach for refactoring, examining its potential to streamline code improvement across multiple programming languages.
Synthesis 2 - Session Preview
Explore cutting-edge research in program synthesis with Hila Peleg's preview of the Synthesis 2 session at POPL'24, highlighting recent advancements in the field.
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.
API-Driven Program Synthesis for Testing Static Typing Implementations
Explore API-driven program synthesis for testing static typing in compilers. Learn about generating type-intensive programs using existing APIs to uncover compiler bugs efficiently.
Efficient Bottom-Up Synthesis for Programs with Local Variables
Explore a novel synthesis algorithm for efficient program search with local variables, featuring lifted interpretation for improved space reduction in web automation tasks.
ReLU Hull Approximation - Fast and Precise Convex Hull Over-Approximation for Neural Network Verification
Explore a fast, precise approach to over-approximating ReLU function convex hulls in neural network verification, improving efficiency and precision for large-scale networks.
Building Your Own Bot with GPT: Harnessing the Power of AI - GeeCON 2023
Harness OpenAI's GPT to build a personalized chatbot. Learn API integration, custom dataset creation, and strategies for enhancing bot performance with individual data.
Vector Search at Uber - Implementing and Scaling KNN Search with Apache Lucene
Explore Uber's implementation of Vector Search using Apache Lucene, enabling semantic search and Gen AI support. Learn about HNSW algorithm integration, live vector updates, and scalability optimizations.
Ethical Algorithms and Licensing Impasses: The Intersection of Free Software and AI Openness
Explore the intersection of ethical AI, free software, and licensing challenges. Examine the impact of restrictive practices on digital autonomy and the open-source ecosystem.
Face Anonymization with Python - Blurring and Pixelating Techniques
Anonymize faces in images using Python: detect, blur, and pixelate for privacy. Learn CPU and GPU techniques, compare results, and ensure data protection in your projects.
Generative AI: Concepts, Tools, and Applications for Data Professionals
Explore generative AI's workings, limitations, tools, and applications to enhance data projects and estates. Learn practical insights for data professionals.
Be More Responsible Around AI - Less Bias, More Ethics
Explore ethical AI development, focusing on reducing bias and enhancing responsible practices in artificial intelligence systems.
AI-Enabled Chatbot to Production MLOps Application - Red Hat AI Portfolio Demo
Explore Red Hat's AI portfolio: from simple chatbots to full-scale MLOps applications for enterprise. Learn about Podman AI Lab, RHEL AI, and OpenShift AI for building and deploying AI solutions.
Unlocking the Power of AI: Accessible Language Model Tuning with InstructLab
Explore integrating Generative AI into applications using InstructLab for accessible LLM tuning and Podman AI Lab for model serving and development.
Generative AI for Application Modernization with Konveyor AI - Demo and Introduction
Explore Konveyor AI's integration of generative AI and static code analysis for efficient Java EE to Quarkus migration, with a practical demo using the "coolstore" application.
Computer Vision Workshop on OpenShift: AI/ML Platform for Model Development and Deployment
Explore computer vision use cases on OpenShift, from data collection and annotation to model training and deployment, with practical demonstrations on cars and trains detection.
Putting It All Together: The New Turing Test
Explore the evolution of the Turing Test and its modern implications in AI development with Jean-Francois GAUDY's insightful presentation at Devoxx Poland 2022.