Publications

Novice Type Error Diagnosis with Natural Language Models
Haolin Ye
Tianyu Han
Brigitte Pientka
Strong static type systems help programmers eliminate many errors without much burden of supplying type annotations. However, this flexibili… (voir plus)ty makes it highly non-trivial to diagnose ill-typed programs, especially for novice programmers. Compared to classic constraint solving and optimization-based approaches, the data-driven approach has shown great promise in identifying the root causes of type errors with higher accuracy. Instead of relying on hand-engineered features, this work explores natural language models for type error localization, which can be trained in an end-to-end fashion without requiring any features. We demonstrate that, for novice type error diagnosis, the language model-based approach significantly outperforms the previous state-of-the-art data-driven approach. Specifically, our model could predict type errors correctly 62% of the time, outperforming the state-of-the-art Nate's data-driven model by 11%, in a more rigorous accuracy metric. Furthermore, we also apply structural probes to explain the performance difference between different language models.
Towards Safe Mechanical Ventilation Treatment Using Deep Offline Reinforcement Learning
Mechanical ventilation is a key form of life support for patients with pulmonary impairment. Healthcare workers are required to continuously… (voir plus) adjust ventilator settings for each patient, a challenging and time consuming task. Hence, it would be beneficial to develop an automated decision support tool to optimize ventilation treatment. We present DeepVent, a Conservative Q-Learning (CQL) based offline Deep Reinforcement Learning (DRL) agent that learns to predict the optimal ventilator parameters for a patient to promote 90 day survival. We design a clinically relevant intermediate reward that encourages continuous improvement of the patient vitals as well as addresses the challenge of sparse reward in RL. We find that DeepVent recommends ventilation parameters within safe ranges, as outlined in recent clinical trials. The CQL algorithm offers additional safety by mitigating the overestimation of the value estimates of out-of-distribution states/actions. We evaluate our agent using Fitted Q Evaluation (FQE) and demonstrate that it outperforms physicians from the MIMIC-III dataset.
Functional connectivity subtypes associate robustly with ASD diagnosis
Sebastian G. W. Urchs
Angela Tam
Pierre Orban
Clara A. Moreau
Yassine Benhajali
Hien Duy Nguyen
Alan C. Evans
Lune P Bellec
Our understanding of the changes in functional brain organization in autism is hampered by the extensive heterogeneity that characterizes th… (voir plus)is neurodevelopmental disorder. Data driven clustering offers a straightforward way to decompose autism heterogeneity into subtypes of connectivity and promises an unbiased framework to investigate behavioral symptoms and causative genetic factors. Yet, the robustness and generalizability of functional connectivity subtypes is unknown. Here, we show that a simple hierarchical cluster analysis can robustly relate a given individual and brain network to a connectivity subtype, but that continuous assignments are more robust than discrete ones. We also found that functional connectivity subtypes are moderately associated with the clinical diagnosis of autism, and these associations generalize to independent replication data. We explored systematically 18 different brain networks as we expected them to associate with different behavioral profiles as well as different key regions. Contrary to this prediction, autism functional connectivity subtypes converged on a common topography across different networks, consistent with a compression of the primary gradient of functional brain organization, as previously reported in the literature. Our results support the use of data driven clustering as a reliable data dimensionality reduction technique, where any given dimension only associates moderately with clinical manifestations.
Protective effectiveness of prior SARS-CoV-2 infection and hybrid immunity against Omicron infection and severe disease: a systematic review and meta-regression
Niklas Bobrovitz
Harriet Ware
Xiaomeng Ma
Zihan Li
Reza Hosseini
Christian Cao
Anabel Selemon
Mairead Whelan
Zahra Premji
Hanane Issa
Brianna Cheng
L. Abu-Raddad
David L Buckeridge
M. D. Kerkhove
Vanessa Piechotta
Melissa M Higdon
Annelies Wilder-Smith
Isabel Bergeri
Daniel R Feikin
Rahul K. Arora … (voir 2 de plus)
Minal K Patel
Lorenzo Subissi
Background We aimed to systematically review the magnitude and duration of the protective effectiveness of prior infection (PE) and hybrid i… (voir plus)mmunity (HE) against Omicron infection and severe disease. Methods We searched pre-print and peer-reviewed electronic databases for controlled studies from January 1, 2020, to June 1, 2022. Risk of bias (RoB) was assessed using the Risk of Bias In Non-Randomized Studies of Interventions (ROBINS-I)-Tool. We used random-effects meta-regression to estimate the magnitude of protection at 1-month intervals and the average change in protection since the last vaccine dose or infection from 3 months to 6 or 12 months. We compared our estimates of PE and HE to previously published estimates of the magnitude and durability of vaccine effectiveness (VE) against Omicron. Findings Eleven studies of prior infection and 15 studies of hybrid immunity were included. For prior infection, there were 97 estimates (27 at moderate RoB and 70 at serious RoB), with the longest follow up at 15 months. PE against hospitalization or severe disease was 82.5% [71.8-89.7%] at 3 months, and 74.6% [63.1-83.5%] at 12 months. PE against reinfection was 65.2% [52.9-75.9%] at 3 months, and 24.7% [16.4-35.5%] at 12 months. For HE, there were 153 estimates (78 at moderate RoB and 75 at serious RoB), with the longest follow up at 11 months for primary series vaccination and 4 months for first booster vaccination. Against hospitalization or severe disease, HE involving either primary series vaccination or first booster vaccination was consistently >95% for the available follow up. Against reinfection, HE involving primary series vaccination was 69.0% [58.9-77.5%] at 3 months after the most recent infection or vaccination, and 41.8% [31.5-52.8%] at 12 months, while HE involving first booster vaccination was 68.6% [58.8-76.9%] at 3 months, and 46.5% [36.0-57.3%] at 6 months. Against hospitalization or severe disease at 6 months, hybrid immunity with first booster vaccination (effectiveness 95.3% [81.9-98.9%]) or with primary series alone (96.5% [90.2-98.8%]) provided significantly greater protection than prior infection alone (80.1% [70.3-87.2%]), first booster vaccination alone (76.7% [72.5-80.4%]), or primary series alone (64.6% [54.5-73.6%]). Results for protection against reinfection were similar. Interpretation Prior infection and hybrid immunity both provided greater and more sustained protection against Omicron than vaccination alone. All protection estimates waned quickly against infection but remained high for hospitalisation or severe disease. Individuals with hybrid immunity had the highest magnitude and durability of protection against all outcomes, reinforcing the global imperative for vaccination.
Revisiting the Impact of Anti-patterns on Fault-Proneness: A Differentiated Replication
Aurel Ikama
Vincent Du
Philippe Belias
Biruk Asmare Muse
Mohammad Hamdaqa
Anti-patterns manifesting on software code through code smells have been investigated in terms of their prevalence, detection, refactoring, … (voir plus)and impact on software quality attributes. In particular, leveraging heuristics to identify fault-fixing commits, Khomh et al. have found that anti-patterns and code smells have an impact on the fault-proneness of a software system. Similarly, Saboury et al. found a relationship between anti-pattern occurrences and fault-proneness, using heuristic to identify fault-fixing commits and fault-inducing changes. However, recent studies question the accuracy of heuristics, and thus the validity of empirical studies that leverage it. Hence, in this work, we would like to investigate to what extent the results of empirical studies using heuristics to identify bug fix commits are affected by the limitations of the heuristics based approach using manually validated bug fix commits as a ground truth. In particular, we conduct a differentiated replication of the work by Khomh et al. We particularly focused on the impact of anti-patterns on fault-proneness as it is the only dependent variable that may be affected by noise in the collected faults data. In our differentiated replication study, (1) we expanded the number of subject systems from 5 to 38, (2) utilized a manually validated dataset of bug-fixing commits from the work of Herbold et al., and (3) answered research questions from Khomh et al., that are related to the relationship between anti-pattern occurrences and fault-proneness. (4) We added an additional research question to investigate if combining results from several heuristic-based approaches could help reduce the impact of noise. Our findings show that the impact of the noise generated by the automatic algorithm heuristic based is negligible for the studied subject systems; meaning that the reported relation observed on noisy data still holds on the clean data. However, we also observed that combining results from several heuristic based approaches do not reduce this noise, quite the contrary.
Uncertainty-Driven Active Vision for Implicit Scene Reconstruction
Edward J. Smith
D. Nowrouzezahrai
Adriana Romero
Deep generative molecular design reshapes drug discovery
Xiangxiang Zeng
Yi Wang
Yuan Luo
Seung-gu Kang
Felice C. Lightstone
Evandro F. Fang
Wendy Cornell
Ruth Nussinov
Feixiong Cheng
Image-Guided Brachytherapy for Rectal Cancer: Reviewing the Past Two Decades of Clinical Investigation
T. Vuong
Aurélie Garant
Veronique Vendrely
Remi Nout
André-Guy Martin
S. Enger
Ervin Podgorsak
Belal Moftah
S. Devic
Interpolated Adversarial Training: Achieving Robust Neural Networks Without Sacrificing Too Much Accuracy
Adversarial robustness has become a central goal in deep learning, both in theory and in practice. However, successful methods to improve th… (voir plus)e adversarial robustness (such as adversarial training) greatly hurt generalization performance on the unperturbed data. This could have a major impact on how achieving adversarial robustness affects real world systems (i.e. many may opt to forego robustness if it can improve accuracy on the unperturbed data). We propose Interpolated Adversarial Training, which employs recently proposed interpolation based training methods in the framework of adversarial training. On CIFAR-10, adversarial training increases the standard test error (when there is no adversary) from 4.43% to 12.32%, whereas with our Interpolated adversarial training we retain adversarial robustness while achieving a standard test error of only 6.45%. With our technique, the relative increase in the standard error for the robust model is reduced from 178.1% to just 45.5%.
Lifelong Topological Visual Navigation
Commonly, learning-based topological navigation approaches produce a local policy while preserving some loose connectivity of the space thro… (voir plus)ugh a topological map. Nevertheless, spurious or missing edges in the topological graph often lead to navigation failure. In this work, we propose a sampling-based graph building method, which results in sparser graphs yet with higher navigation performance compared to baseline methods. We also propose graph maintenance strategies that eliminate spurious edges and expand the graph as needed, which improves lifelong navigation performance. Unlike controllers that learn from fixed training environments, we show that our model can be fine-tuned using only a small number of collected trajectory images from a real-world environment where the agent is deployed. We demonstrate successful navigation after fine-tuning on real-world environments, and notably show significant navigation improvements over time by applying our lifelong graph maintenance strategies.
MixEHR-Guided: A guided multi-modal topic modeling approach for large-scale automatic phenotyping using the electronic health record
Yuri Ahuja
Yuesong Zou
David L Buckeridge
Yuemei Li
Social isolation and the brain in the pandemic era
Robin I. M. Dunbar