Large Language Models Based Automatic Synthesis of Software Specifications.
CoRR, 2023
Synthesizing Programs with Continuous Optimization.
CoRR, 2022
PyOMP: Multithreaded Parallel Programming in Python.
Comput. Sci. Eng., 2021
Multithreaded parallel Python through OpenMP support in Numba.
Proceedings of the 20th Python in Science Conference 2021 (SciPy 2021), Virtual Conference, July 12, 2021
Learning Fitness Functions for Machine Programming.
Proceedings of the Fourth Conference on Machine Learning and Systems, 2021
NetSyn: Neural Evolutionary Technique to Synthesize Programs.
CoRR, 2019
Parallelizing Julia with a Non-Invasive DSL (Artifact).
Dagstuhl Artifacts Ser., 2017
HiFrames: High Performance Data Frames in a Scripting Language.
CoRR, 2017
Accelerating Scientific Python with Intel Optimizations.
Proceedings of the 16th Python in Science Conference 2017, 2017
Mozart : Efficient Composition of Library Functions for Heterogeneous Execution.
,
,
,
,
,
,
,
,
,
,
Proceedings of the Languages and Compilers for Parallel Computing, 2017
HPAT: high performance analytics with scripting ease-of-use.
Proceedings of the International Conference on Supercomputing, 2017
Parallelizing Julia with a Non-Invasive DSL.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017
Sparso: Context-driven Optimizations of Sparse Linear Algebra.
Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, 2016
Native offload of Haskell repa programs to integrated GPUs.
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014
Measuring the Haskell Gap.
Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013
The Intel labs Haskell research compiler.
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013
Optimizations in a private nursery-based garbage collector.
Proceedings of the 9th International Symposium on Memory Management, 2010
Pillar: A Parallel Implementation Language.
,
,
,
,
,
,
,
,
,
,
Proceedings of the Languages and Compilers for Parallel Computing, 2007
Thread Scheduling for Multi-Core Platforms.
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007
Forwarding and Control Element Separation (ForCES) Framework.
RFC, April, 2004
Experience Integrating a New Compiler and a New Garbage Collector Into Rotor.
J. Object Technol., 2004
Requirements for Separation of IP Control and Forwarding.
RFC, November, 2003
Requirements for the Dynamic Partitioning of Switching Elements.
RFC, May, 2003
Toward Internet Distributed Computing.
Computer, 2003
Establishing Confidence in Untrusted Storage Providers.
Proceedings of the International Conference on Security and Management, 2003
An Application-Aware Data Storage Model.
Proceedings of the 1999 USENIX Annual Technical Conference, 1999
Replication, Consistency, and Practicality: Are These Mutually Exclusive?
Proceedings of the SIGMOD 1998, 1998
A Dynamic Migration Algorithm for a Distributed Memory-Based File Managementsystem.
Proceedings of the 7th International Workshop on Research Issues in Data Engineering (RIDE '97) High Performance Database Management for Large-Scale Applications, 1997
DERBY: A Memory Management System for Distributed Main Memory Databases.
Proceedings of the Sixth International Workshop on Research Issues in Data Engineering, 1996