Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints
- Ingkarat Rak-amnouykit
- Ana Milanova
- et al.
- 2023
- Software - Practice and Experience
Publications
Date
Featured collections
Popular topics
53 results at Software - Practice and Experience
Fast matrix multiplication via compiler-only layered data reorganization and intrinsic lowering
- Braedy Kuzma
- Ivan Korostelev
- et al.
- 2023
- Software - Practice and Experience
Generic input template for cloud simulators: A case study of CloudSim
- Manar Jammal
- Hassan Hawilo
- et al.
- 2018
- Software - Practice and Experience
ProcessAtlas: A scalable and extensible platform for business process analytics
- Amin Beheshti
- Boualem Benatallah
- et al.
- 2018
- Software - Practice and Experience
River: an intermediate language for stream processing
- Robert Soulé
- Martin Hirzel
- et al.
- 2015
- Software - Practice and Experience
Debugging mixed-environment programs with Blink
- Byeongcheol Lee
- Martin Hirzel
- et al.
- 2014
- Software - Practice and Experience
A suite of abstract domains for static analysis of string values
- Giulia Costantini
- Pietro Ferrara
- et al.
- 2013
- Software - Practice and Experience
An environment for modeling and simulation of message-passing parallel applications for cloud computing
- Saurabh Kumar Garg
- Rajkumar Buyya
- 2012
- Software - Practice and Experience
A model-based framework for building extensible, high performance stream processing middleware and programming language for IBM InfoSphere Streams
- Buǧra Gedik
- Henrique Andrade
- 2011
- Software - Practice and Experience
A high-performance sorting algorithm for multicore single-instruction multiple-data processors
- Hiroshi Inoue
- Takao Moriyama
- et al.
- 2011
- Software - Practice and Experience