Michael Barnett
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
13
Active years
1991–2024
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICONIP | Enhancing Angular Resolution via Directionality Encoding and Geometric Constraints in Brain Diffusion Tensor Imaging. | Sheng Chen, Zihao Tang, Mariano Cabezas, Xinyi Wang, Arkiev D'Souza, Michael Barnett, Fernando Calamante, Weidong Cai, Chenyu Wang |
| 2024 | MICCAI | Symmetry Awareness Encoded Deep Learning Framework for Brain Imaging Analysis. | Yang Ma, Dongang Wang, Peilin Liu, Lynette Masters, Michael Barnett, Tom Weidong Cai, Chenyu Wang |
| 2023 | MICCAI | Fed-CoT: Co-teachers for Federated Semi-supervised MS Lesion Segmentation. | Geng Zhan, Jiajun Deng, Mariano Cabezas, Wanli Ouyang, Michael Barnett, Chenyu Wang |
| 2022 | ASSETS | CodeWalk: Facilitating Shared Awareness in Mixed-Ability Collaborative Software Development. | Venkatesh Potluri, Maulishree Pandey, Andrew Begel, Michael Barnett, Scott Reitherman |
| 2022 | MICCAI | Diffusion MRI Fibre Orientation Distribution Inpainting. | Zihao Tang, Xinyi Wang, Mariano Cabezas, Arkiev D'Souza, Fernando Calamante, Dongnan Liu, Michael Barnett, Chenyu Wang, Tom Weidong Cai |
| 2021 | MICCAI | LG-Net: Lesion Gate Network for Multiple Sclerosis Lesion Inpainting. | Zihao Tang, Mariano Cabezas, Dongnan Liu, Michael Barnett, Weidong Cai, Chenyu Wang |
| 2020 | ASSETS | Lessons Learned in Designing AI for Autistic Adults. | Andrew Begel, John C. Tang, Sean Andrist, Michael Barnett, Tony Carbary, Piali Choudhury, Edward Cutrell, Alberto Fung, Sasa Junuzovic, Daniel McDuff, Kael Rowan, Shibashankar Sahoo, Jennifer Frances Waldern, Jessica Wolk, Hui Zheng, Annuska Zolyomi |
| 2020 | ICONIP | Multiple Sclerosis Lesion Filling Using a Non-lesion Attention Based Convolutional Network. | Hao Xiong, Chaoyue Wang, Michael Barnett, Chenyu Wang |
| 2020 | MICCAI | Masked Multi-Task Network for Case-Level Intracranial Hemorrhage Classification in Brain CT Volumes. | Dongang Wang, Chenyu Wang, Lynette Masters, Michael Barnett |
| 2019 | SOSP | Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. | Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin |
| 2018 | DICTA | MS-GAN: GAN-Based Semantic Segmentation of Multiple Sclerosis Lesions in Brain Magnetic Resonance Imaging. | Chaoyi Zhang, Yang Song, Sidong Liu, Scott Lill, Chenyu Wang, Zihao Tang, Yuyi You, Yang Gao, Alexander Klistorner, Michael Barnett, Weidong Cai |
| 2018 | ICSE | Cross-language optimizations in big data systems: a case study of SCOPE. | Marija Selakovic, Michael Barnett, Madan Musuvathi, Todd Mytkowicz |
| 2018 | MICCAI | Automatic Segmentation of Thigh Muscle in Longitudinal 3D T1-Weighted Magnetic Resonance (MR) Images. | Zihao Tang, Chenyu Wang, Phu Hoang, Sidong Liu, Weidong Cai, Domenic Soligo, Ruth Oliver, Michael Barnett, Ch Fornusek |
| 2013 | ICSE | 3rd international workshop on developing tools as plug-ins (TOPI 2013). | Michael Barnett, Martin Nordio, Judith Bishop, Karin Koogan Breitman, Diego Garbervetsky |
| 2012 | ICSE | Integrating a set of contract checking tools into visual studio. | Manuel Fhndrich, Michael Barnett, Daan Leijen, Francesco Logozzo |
| 2012 | OOPSLA | An abstract interpretation framework for refactoring with application to extract methods with contracts. | Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett |
| 2012 | OOPSLA | A semantic integrated development environment. | Francesco Logozzo, Michael Barnett, Manuel Fhndrich, Patrick Cousot, Radhia Cousot |
| 2010 | SAC | Embedded contract languages. | Manuel Fhndrich, Michael Barnett, Francesco Logozzo |
| 2009 | ICSE | Exploiting the synergy between automated-test-generation and programming-by-contract. | Michael Barnett, Manuel Fhndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann |
| 2004 | LICS | Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State. | David A. Naumann, Michael Barnett |
| 2004 | MPC | Friends Need a Bit More: Maintaining Invariants Over Shared State. | Michael Barnett, David A. Naumann |
| 1994 | SC | Building a high-performance collective communication library. | Michael Barnett, Lance Shuler, Satya Gupta, David G. Payne, Robert A. van de Geijn, Jerrell Watts |
| 1993 | USENIX | An OSF/1 UNIX for Massively Parallel Multicomputers. | Roman Zajcew, Paul Roy, David L. Black, Chris Peak, Paulo Guedes, Bradford Kemp, John LoVerso, Michael Leibensperger, Michael Barnett, Faramarz Rabii, Durriya Netterwala |
| 1991 | ICPP | A Systolizing Compilation Scheme: Abstract. | Michael Barnett, Christian Lengauer |