Showing 21–40 of 46 results
/ Date/ Name
Feb 4, 2024Object Graph ProgrammingDec 23, 2023CodeScholar: Growing Idiomatic Code ExamplesDec 20, 2023DSPy Assertions: Computational Constraints for Self-Refining Language Model PipelinesDec 19, 2023Xpert: Empowering Incident Management with Query Recommendations via Large Language ModelsNov 14, 2023GT4Py: High Performance Stencils for Weather and Climate Applications using PythonNov 8, 2023Multi-Relational Algebra for Multi-Granular Data AnalyticsNov 1, 2023Relax: Composable Abstractions for End-to-End Dynamic Machine LearningAug 11, 2022Interactive Code Generation via Test-Driven User-Intent FormalizationJul 9, 2022TensorIR: An Abstraction for Automatic Tensorized Program OptimizationMay 26, 2022AutoTSG: Learning and Synthesis for Incident TroubleshootingMay 13, 2022UniHeap: Managing Persistent Objects Across Managed Runtimes for Non-Volatile MemoryAug 28, 2021Compiler-Driven FPGA Virtualization with SYNERGYJul 2, 2021Dependent Type Systems as MacrosJan 26, 2021C-for-Metal: High Performance SIMD Programming on Intel GPUsApr 14, 2020A Fortran-Keras Deep Learning Bridge for Scientific ComputingDec 11, 2019Is Sized Typing for Coq Practical?Nov 28, 2019Proq: Projection-based Runtime Assertions for Debugging on a Quantum ComputerAug 26, 2019AccD: A Compiler-based Framework for Accelerating Distance-related Algorithms on CPU-FPGA PlatformsOct 16, 2018AutoGraph: Imperative-style Coding with Graph-based PerformanceAug 12, 2018Typed Closure Conversion for the Calculus of Constructions