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
Propone interfaces de riesgo para modularizar circuitos con tuberÃas, incluyendo riesgos estructurales, de datos y de control. Implementa un compilador y demuestra la eficacia en casos de estudio de CPU y NIC.
Allo: A programming model for composable accelerator design. Decouples hardware customizations from algorithm specification, enabling efficient spatial accelerator design and outperforming existing HLS tools and ADLs.
SpEQ: A strategy for detecting semantics in sparse codes, enabling automatic translation to high-performance libraries or DSLs. Achieves significant speedups and guarantees correct translation of sparse computations.
Introduces ConSol, a Solidity extension supporting behavioral contracts for smart contracts. Demonstrates effectiveness in expressing critical conditions, preventing attacks, and improving code robustness with minimal gas overhead.
Innovative approach to superoptimizing stack-bytecode using greedy algorithms, constraint-based techniques, and SAT solvers. Demonstrates significant improvements in optimization gains and reduced processing time.
Présentation sur la compilation avec interprétation abstraite, démontrant comment transformer des interpréteurs abstraits en compilateurs et améliorer la précision des analyses statiques.
Introduces SMT theory arbitrage to transform unbounded constraints into bounded ones, improving solver performance. Demonstrates speedups in constraint solving and enables optimization techniques for unbounded SMT theories.
Innovative technique for improving JavaScript static analysis, focusing on dynamic property accesses. Demonstrates significant enhancements in call graph construction and analysis recall for Node.js applications.
Explore a novel validation methodology for automated program verifiers, ensuring soundness through formal semantics and proof generation in Isabelle, with focus on Viper and Boogie languages.
Introduces TVPI-FP domain for efficient analysis of floating-point programs, supporting conditionals, loops, and elementary functions. Demonstrates faster performance and broader applicability than existing tools.
Propuesta de un verificador especializado en leyes algebraicas fundamentales para garantizar su cumplimiento en código de aplicación, superando a otros verificadores en 142 casos de prueba.
Verified compiler for functional tensor language: decouples compute and storage order, enables efficient array code generation. Proof reveals and fixes soundness bug in original algorithm.
Explora la optimización de circuitos cuánticos mediante el reciclaje de qubits, introduciendo gráficos de dependencia y abordando complejidad, algoritmos y verificación para mejorar la eficiencia cuántica.
Exploración de cómo la programación funcional puede contribuir a sistemas resilientes y reproducibles para analizar la salud del planeta y guiar decisiones sobre la crisis climática.
Etna: A platform for evaluating property-based testing techniques, enabling rigorous comparisons and best practice insights for both new and experienced users in functional programming.
Get personalized course recommendations, track subjects and courses with reminders, and more.