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
Communication Skills
Project Management
Web Design
Philosophy, Science and Religion: Religion and Science
Improving Communication Skills
Unlocking Information Security I: From Cryptography to Buffer Overflows
Organize and share your learning with Class Central Lists.
View our Lists Showcase
Presentación sobre la verificación formal modular del microhipervisor NOVA, enfocándose en la descomposición de especificaciones y pruebas de hiperllamadas utilizando lógica de separación concurrente.
Introduces a program synthesis framework for refactoring code to use library components, employing equivalence by canonicalization for checking without examples or specifications. Demonstrates applications in Elm and Python.
Propone una modularización de la semántica del hardware para capturar sucintamente la diferencia entre el comportamiento "bare-metal" y virtualizado de un procesador.
Explores an optimizing compiler for qutrit circuits implementing qubit computations, demonstrating significant depth and fidelity improvements over manual implementations and traditional qubit circuits.
Propone un enfoque semántico para interfaces binarias de aplicaciones, facilitando interoperabilidad más segura entre lenguajes y bibliotecas mediante modelos de realizabilidad.
Presenta una técnica eficiente de hashing para identificar términos lambda equivalentes en contexto, mejorando algoritmos previos y permitiendo compartir subestructuras en grafos de conocimiento matemático.
Implementación y evaluación de un generador de analizadores sintácticos LLP(q,k) para JSON, con énfasis en el paralelismo de datos y comparación de rendimiento.
Exploración de pruebas masivas y su aplicación en la verificación de software a gran escala, presentada por Byron Cook en el evento O'HearnFest.
Exploración de la incertidumbre en la carrera académica, desde el posgrado hasta la titularidad, ofreciendo perspectivas sobre cómo navegar los desafÃos y el estrés mental en el camino cientÃfico.
Exploración de la sÃntesis de programas adversarios bi-abductivos, presentada por Julien Vanegue en el evento O'HearnFest.
Introduces Fhelipe, an FHE compiler with automatic data packing, simplifying programming and matching hand-optimized performance for large applications like neural networks.
Exploración de la ejecución simbólica utilizando diagramas de decisión separadores, presentada por Josh Berdine en el evento O'HearnFest.
Explorez les dernières avancées en programmation fonctionnelle avec Haskell lors du symposium ICFP'24. Plongez dans des discussions approfondies et des présentations d'experts sur ce langage puissant.
Implementación de técnicas de verificación composicional para estructuras de datos concurrentes en C usando plantillas de estructuras de búsqueda y la Verified Software Toolchain.
Formalización de pares crÃticos paralelos y criterios de confluencia en Isabelle, generalizando a conmutación e integrando en el certificador CeTA para validar pruebas de confluencia automáticas.
Get personalized course recommendations, track subjects and courses with reminders, and more.