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
Presenta un nuevo algoritmo para coincidencia eficiente de expresiones regulares con aserciones de búsqueda anticipada y retrospectiva, superando limitaciones de implementaciones actuales.
Explores a formal foundation for document languages, proposing a document calculus to model interactions between passive documents and active programs, aiming to improve language design and reduce errors.
Presentación sobre la mecanización de tipos de refinamiento, combinando subtipado semántico y polimorfismo paramétrico. Se discute la formalización y demostración de solidez del sistema de tipos λRF.
Propone un sistema de tipos refinados para efectos algebraicos y manejadores, introduciendo la modificación de refinamiento de respuesta para rastrear efectos y flujo de control en continuaciones delimitadas.
Proposes a graph type system for parallel programs using futures, enabling complex pipelining algorithms. Extends prior work to allow futures in collections and data structures.
Explore Bayesian inference techniques and probabilistic programming concepts with expert Hong Ge. Learn practical applications and advanced methodologies in this comprehensive talk.
Exploración de razonamiento mediante transformaciones semánticas en programación, presentada en la conferencia LAFI'24 de ACM SIGPLAN.
Explore complex concurrency patterns in code bases, examining challenging examples that push the boundaries of theoretical understanding and practical implementation.
Explora cómo la ejecución en orden captura todos los comportamientos de memoria débil, analizando sus implicaciones en el diseño de sistemas y programación concurrente.
Exploración de los efectos de la memoria débil en la fiabilidad y seguridad de los sistemas, analizando su impacto real y considerando posibles explicaciones alternativas.
Explora cómo los modelos de memoria débil en hardware moderno exigen pruebas de compiladores basadas en modelos para detectar errores en programas concurrentes compilados.
Explora técnicas innovadoras para validar modelos de persistencia de memoria débil en sistemas NVM, utilizando ataques de temporización y aprendizaje automático para superar desafÃos únicos.
Resumen de la charla sobre el modelo de memoria C++ y la estandarización de atómicos, destacando lecciones aprendidas, desafÃos de implementación y evolución del uso de sincronización en código real.
Explora los desafÃos de la reordenación carga-almacenamiento en modelos de memoria y argumenta por qué los lenguajes deberÃan preservar este orden para simplificar y mejorar el razonamiento.
Explora los desafÃos y oportunidades en la investigación de modelos de memoria, analizando experiencias pasadas y proyectando expectativas futuras para el campo.
Get personalized course recommendations, track subjects and courses with reminders, and more.