Process grouping for improved cache and memory affinity NA Campbell, C Mangla US Patent 9,256,448, 2016 | 65 | 2016 |
Modelling outcomes after paediatric brain injury with admission laboratory values: a machine-learning approach S Kayhanian, AMH Young, C Mangla, I Jalloh, HM Fernandes, ... Pediatric research 86 (5), 641-645, 2019 | 15 | 2019 |
Methods and apparatus to validate translated guest code in a dynamic binary translator G Venkatasubramanian, C Mangla, GF Hoflehner, E Schuchman US Patent 9,223,553, 2015 | 10 | 2015 |
Process grouping for improved cache and memory affinity NA Campbell, C Mangla US Patent 9,262,181, 2016 | 7 | 2016 |
Bayesian Ranking for Strategy Scheduling in Automated Theorem Provers C Mangla, L Paulson Department of Computer Science and Technology, 2022 | 4 | 2022 |
Bayesian Optimisation of Solver Parameters in CBMC. C Mangla, SB Holden, LC Paulson SMT, 37-47, 2020 | 2 | 2020 |
Methods and apparatus to validate translated guest code in a dynamic binary translator G Venkatasubramanian, C Mangla, GF Hoflehner, E Schuchman US Patent 9,858,057, 2018 | 2 | 2018 |
Process grouping for improved cache and memory affinity NA Campbell, C Mangla US Patent 9,400,686, 2016 | 2 | 2016 |
Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) A Słowik, C Mangla, M Jamnik, SB Holden, LC Paulson Proceedings of the AAAI Conference on Artificial Intelligence 34 (10), 13919 …, 2020 | 1 | 2020 |
Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving A Słowik, C Mangla, M Jamnik, S Holden, L Paulson | | 2020 |
Correction: Modelling outcomes after paediatric brain injury with admission laboratory values: a machine-learning approach S Kayhanian, AMH Young, C Mangla, I Jalloh, HM Fernandes, ... Pediatric research 86 (5), 675, 2019 | | 2019 |
Bayesian Optimisation with Gaussian Processes for Premise Selection A Słowik, C Mangla, M Jamnik, SB Holden, LC Paulson arXiv preprint arXiv:1909.09137, 2019 | | 2019 |
Process grouping for improved cache and memory affinity NA Campbell, C Mangla US Patent 9,965,324, 2018 | | 2018 |
25th Automated Reasoning Workshop M Jamnik, A Koutsoukou-Argyraki, E Ayers, C Mangla | | 2018 |