Cited By
View all- Das AHoffmann J(2017)ML for ML: Learning Cost Semantics by ExperimentTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-662-54577-5_11(190-207)Online publication date: 31-Mar-2017
- Hoffmann JShao Z(2015)Automatic Static Cost Analysis for Parallel ProgramsProceedings of the 24th European Symposium on Programming on Programming Languages and Systems - Volume 903210.1007/978-3-662-46669-8_6(132-157)Online publication date: 11-Apr-2015
- Nguyen NTruong AThang HHu ZBui MSikdar BIDE IBinh HEngchuan WSang DOanh N(2017)A Compositional Type Systems for Finding Log Memory Bounds of Transactional ProgramsProceedings of the 8th International Symposium on Information and Communication Technology10.1145/3155133.3155183(409-416)Online publication date: 7-Dec-2017
- Show More Cited By