Courses from 1000+ universities
Class Central experiments with cataloging online courses from California Community Colleges, offering diverse, affordable, and credit-worthy learning opportunities.
600 Free Google Certifications
Cybersecurity
Project Management
Artificial Intelligence
Extreme Geological Events
Direct Tax Laws and Practice
Machine Learning Foundations: A Case Study Approach
Organize and share your learning with Class Central Lists.
View our Lists Showcase
Optimización estática consciente del hardware para computaciones hiperdimensionales, mejorando la precisión y eficiencia en plataformas de hardware emergentes y propensas a errores.
Introduces Historia, a novel approach for verifying callback reachability in event-driven frameworks using message-history logics, enabling targeted refinement of callback control flow specifications.
Infraestructura de verificación deductiva para programas probabilÃsticos: enfoque cuantitativo con lógica de valores reales y lenguaje de verificación intermedio para propiedades como tiempos de ejecución esperados.
Explore a method for generating proof certificates in language-agnostic program verification, enhancing the reliability of complex verifiers across multiple programming paradigms.
Présentation d'une approche innovante pour la vérification formelle des optimisations de compilateurs, généralisant et améliorant les techniques existantes pour valider davantage d'optimisations efficaces.
Technique for verification-preserving inlining in automatic separation logic verifiers, ensuring successful unbounded verification implies successful verification of inlined programs without introducing spurious errors.
Explores Vulcan, a framework for minimizing language-agnostic program reducers' results through aggressive transformations, outperforming state-of-the-art reducers across multiple languages.
Introduces semantic regexes for combined syntactic and semantic text analysis. Presents a learning algorithm for synthesizing semantic regexes from examples, implemented in the Smore tool and evaluated on complex data extraction tasks.
Innovative approach to synthesize relational queries with recursion and invented predicates, outperforming existing tools in runtime and accuracy for complex query synthesis tasks.
Introduces Leaf, a novel approach in separation logic for handling temporarily shared state in concurrent verification, demonstrating its effectiveness through a modular case study of a reader-writer lock and hash table.
Introduces Saggitarius, a new language for describing grammatical domains, aiding programmers in data format reasoning and analysis through grammar inference algorithms.
Explores efficient compilation of effect handlers using CPS translation and region systems, presenting a method to infer lifting information for a calculus with second-class capabilities.
Proposes automated bookkeeping method using message chains for verifying asynchronous distributed programs, simplifying proofs and enabling specification mining through execution examples.
Explora una variante de kernel F≤ con polimorfismo implÃcito, presentando un sistema de tipos declarativo y algorÃtmico con instanciación implÃcita codiciosa y soporte para aplicaciones de tipo explÃcitas.
Détection en temps réel des courses de données en OCaml avec ThreadSanitizer : principes, défis, adaptations et démonstration pour les développeurs OCaml.
Get personalized course recommendations, track subjects and courses with reminders, and more.