Analysis of Explicit vs. Implicit Tasking in OpenMP Using Kripke. - Charles Jin; Muthu Manikandan Baskaran (ESPM2@SC, 2018)

POSTER: Automatic Parallelization Targeting Asynchronous Task-Based Runtimes. - Charles Jin; Muthu Manikandan Baskaran; Benoît Meister (PACT, 2019)

Automatic Parallelization to Asynchronous Task-Based Runtimes Through a Generic Runtime Layer. - Charles Jin; Muthu Manikandan Baskaran; Benoît Meister; Jonathan Springer (HPEC, 2019)

Automatic Mapping and Optimization to Kokkos with Polyhedral Compilation. - Muthu Manikandan Baskaran; Charles Jin; Benoît Meister; Jonathan Springer (HPEC, 2020)

Manifold Regularization for Adversarial Robustness. - Charles Jin; Martin C. Rinard (CoRR, 2020)

Learning From Context-Agnostic Synthetic Data. - Charles Jin; Martin C. Rinard (CoRR, 2020)

Towards Context-Agnostic Learning Using Synthetic Data. - Charles Jin; Martin C. Rinard (NeurIPS, 2021)

Provable Guarantees against Data Poisoning Using Self-Expansion and Compatibility. - Charles Jin; Melinda Sun; Martin C. Rinard (CoRR, 2021)

αNAS: Neural Architecture Search using Property Guided Synthesis. - Charles Jin; Phitchaya Mangpo Phothilimthana; Sudip Roy 002 (CoRR, 2022)

Neural architecture search using property guided synthesis. - Charles Jin; Phitchaya Mangpo Phothilimthana; Sudip Roy 002 (Proc. ACM Program. Lang., 2022)

Incompatibility Clustering as a Defense Against Backdoor Poisoning Attacks. - Charles Jin; Melinda Sun; Martin C. Rinard (ICLR, 2023)

Decentralized Inference via Capability Type Structures in Cooperative Multi-Agent Systems. - Charles Jin; Zhang-Wei Hong; Farid Arthaud; Idan Orzech; Martin C. Rinard (CoRR, 2023)

Evidence of Meaning in Language Models Trained on Programs. - Charles Jin; Martin C. Rinard (CoRR, 2023)

Emergent Representations of Program Semantics in Language Models Trained on Programs. - Charles Jin; Martin C. Rinard (ICML, 2024)

Latent Causal Probing: A Formal Perspective on Probing with Causal Models of Data. - Charles Jin; Martin C. Rinard (CoRR, 2024)