Charles Jin

16 papers A* 3B 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
BOAD: Discovering Hierarchical Software Engineering Agents via Bandit Optimization.
CoRR
Iris Xu, Guangtao Zeng, Zexue He, Charles Jin, Aldo Pareja, Dan Gutfreund, Chuang Gan, Zhang-Wei Hong
2024 A* conf
Emergent Representations of Program Semantics in Language Models Trained on Programs.
ICML
Charles Jin, Martin C. Rinard
2024 J jnl
Latent Causal Probing: A Formal Perspective on Probing with Causal Models of Data.
CoRR
Charles Jin, Martin C. Rinard
2023 J jnl
Decentralized Inference via Capability Type Structures in Cooperative Multi-Agent Systems.
CoRR
Charles Jin, Zhang-Wei Hong, Farid Arthaud, Idan Orzech, Martin C. Rinard
2023 J jnl
Evidence of Meaning in Language Models Trained on Programs.
CoRR
Charles Jin, Martin C. Rinard
2023 A* conf
Incompatibility Clustering as a Defense Against Backdoor Poisoning Attacks.
ICLR
Charles Jin, Melinda Sun, Martin C. Rinard
2022 J jnl
Neural architecture search using property guided synthesis.
Proc. ACM Program. Lang.
Charles Jin, Phitchaya Mangpo Phothilimthana, Sudip Roy
2022 J jnl
αNAS: Neural Architecture Search using Property Guided Synthesis.
CoRR
Charles Jin, Phitchaya Mangpo Phothilimthana, Sudip Roy
2021 J jnl
Provable Guarantees against Data Poisoning Using Self-Expansion and Compatibility.
CoRR
Charles Jin, Melinda Sun, Martin C. Rinard
2021 A* conf
Towards Context-Agnostic Learning Using Synthetic Data.
NeurIPS
Charles Jin, Martin C. Rinard
2020 — conf
Automatic Mapping and Optimization to Kokkos with Polyhedral Compilation.
HPEC
Muthu Manikandan Baskaran, Charles Jin, Benoît Meister, Jonathan Springer
2020 J jnl
Learning From Context-Agnostic Synthetic Data.
CoRR
Charles Jin, Martin C. Rinard
2020 J jnl
Manifold Regularization for Adversarial Robustness.
CoRR
Charles Jin, Martin C. Rinard
2019 — conf
Automatic Parallelization to Asynchronous Task-Based Runtimes Through a Generic Runtime Layer.
HPEC
Charles Jin, Muthu Manikandan Baskaran, Benoît Meister, Jonathan Springer
2019 B conf
POSTER: Automatic Parallelization Targeting Asynchronous Task-Based Runtimes.
PACT
Charles Jin, Muthu Manikandan Baskaran, Benoît Meister
2018 — conf
Analysis of Explicit vs. Implicit Tasking in OpenMP Using Kripke.
ESPM2@SC
Charles Jin, Muthu Manikandan Baskaran