Publications

53 results at Software - Practice and Experience

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
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