Charles Jin

CoRR, 2024

Emergent Representations of Program Semantics in Language Models Trained on Programs.

[BibT_eX]

[DOI]

Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023

Evidence of Meaning in Language Models Trained on Programs.

[BibT_eX]

[DOI]

CoRR, 2023

Decentralized Inference via Capability Type Structures in Cooperative Multi-Agent Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Incompatibility Clustering as a Defense Against Backdoor Poisoning Attacks.

[BibT_eX]

[DOI]

Melinda Sun

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022

Neural architecture search using property guided synthesis.

[BibT_eX]

[DOI]

Phitchaya Mangpo Phothilimthana

Sudip Roy

Proc. ACM Program. Lang., 2022

αNAS: Neural Architecture Search using Property Guided Synthesis.

[BibT_eX]

[DOI]

Phitchaya Mangpo Phothilimthana

Sudip Roy

CoRR, 2022

2021

Provable Guarantees against Data Poisoning Using Self-Expansion and Compatibility.

[BibT_eX]

[DOI]

Melinda Sun

CoRR, 2021

Towards Context-Agnostic Learning Using Synthetic Data.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2020

Learning From Context-Agnostic Synthetic Data.

[BibT_eX]

[DOI]

CoRR, 2020

Manifold Regularization for Adversarial Robustness.

[BibT_eX]

[DOI]

CoRR, 2020

Automatic Mapping and Optimization to Kokkos with Polyhedral Compilation.

[BibT_eX]

[DOI]

Benoît Meister

Jonathan Springer

Proceedings of the 2020 IEEE High Performance Extreme Computing Conference, 2020

2019

Automatic Parallelization to Asynchronous Task-Based Runtimes Through a Generic Runtime Layer.

[BibT_eX]

[DOI]

Benoît Meister

Jonathan Springer

Proceedings of the 2019 IEEE High Performance Extreme Computing Conference, 2019

POSTER: Automatic Parallelization Targeting Asynchronous Task-Based Runtimes.

[BibT_eX]

[DOI]

Benoît Meister

Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques, 2019

2018

Analysis of Explicit vs. Implicit Tasking in OpenMP Using Kripke.

[BibT_eX]

[DOI]