martin rinard

martin rinard

Massachusetts Institute of Technology

H-index: 75

North America-United States

About martin rinard

martin rinard, With an exceptional h-index of 75 and a recent h-index of 34 (since 2020), a distinguished researcher at Massachusetts Institute of Technology, specializes in the field of programming languages, software engineering.

His recent articles reflect a diverse array of research interests and contributions to the field:

A nonsmooth optimization method

Developing and validating a pancreatic cancer risk model for the general population using multi-institutional electronic health records from a federated network

Evidence of meaning in language models trained on programs

Learning Latent Causal Semantics from Text: An Empirical Study of Next-Token Predictors Trained on Programs

Depth-bounded epistemic logic

Correlated vs. Uncorrelated Randomness in Adversarial Congestion Team Games

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

Sound Explanation for Trustworthy Machine Learning

martin rinard Information

University

Position

___

Citations(all)

22816

Citations(since 2020)

5849

Cited By

19723

hIndex(all)

75

hIndex(since 2020)

34

i10Index(all)

203

i10Index(since 2020)

112

Email

University Profile Page

Massachusetts Institute of Technology

Google Scholar

View Google Scholar Profile

martin rinard Skills & Research Interests

programming languages

software engineering

Top articles of martin rinard

Title

Journal

Author(s)

Publication Date

A nonsmooth optimization method

arXiv preprint arXiv:2311.06205

Kai Jia

Martin Rinard

2023/11/10

Developing and validating a pancreatic cancer risk model for the general population using multi-institutional electronic health records from a federated network

medRxiv

Kai Jia

Steven Kundrot

Matvey Palchuk

Jeff Warnick

Kathryn Haapala

...

2023/2/8

Evidence of meaning in language models trained on programs

arXiv preprint arXiv:2305.11169

Charles Jin

Martin Rinard

2023/5/18

Learning Latent Causal Semantics from Text: An Empirical Study of Next-Token Predictors Trained on Programs

Charles Jin

Martin Rinard

2023/10/13

Depth-bounded epistemic logic

arXiv preprint arXiv:2305.08607

Farid Arthaud

Martin Rinard

2023/5/15

Correlated vs. Uncorrelated Randomness in Adversarial Congestion Team Games

arXiv preprint arXiv:2308.08047

Idan Orzech

Martin Rinard

2023/8/15

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

arXiv preprint arXiv:2304.13957

Charles Jin

Zhang-Wei Hong

Farid Arthaud

Idan Orzech

Martin Rinard

2023/4/27

Sound Explanation for Trustworthy Machine Learning

arXiv preprint arXiv:2306.06134

Kai Jia

Pasapol Saowakon

Limor Appelbaum

Martin Rinard

2023/6/8

Randomness Requirements and Asymmetries in Nash Equilibria

arXiv preprint arXiv:2312.17364

Edan Orzech

Martin Rinard

2023/12/28

Effective Neural Network Regularization With BinMask

arXiv preprint arXiv:2304.11237

Kai Jia

Martin Rinard

2023/4/21

Probabilistic Programming with Stochastic Probabilities

Proceedings of the ACM on Programming Languages

Alexander K Lew

Matin Ghavamizadeh

Martin C Rinard

Vikash K Mansinghka

2023/6/6

A pancreatic cancer risk prediction model (Prism) developed and validated on large-scale US clinical data

Ebiomedicine

Kai Jia

Steven Kundrot

Matvey B Palchuk

Jeff Warnick

Kathryn Haapala

...

2023/12/1

Emergence of Locally Suboptimal Behavior in Finitely Repeated Games

arXiv preprint arXiv:2303.16806

Yichen Yang

Martin Rinard

2023/3/29

System and method for analyzing and steering use of third-party libraries

2023/5/18

On the impact of player capability on congestion games

Yichen Yang

Kai Jia

Martin Rinard

2022/9/12

Mixed Capability Games

arXiv preprint arXiv:2208.04516

Kai Jia

Martin Rinard

Yichen Yang

2022/8/9

Development and experience with cancer risk prediction models using federated databases and electronic health records

Limor Appelbaum

Irving D Kaplan

Matvey B Palchuk

Steven Kundrot

Jessamine P Winer-Jones

...

2022/4/29

POSTER: Automatic Synthesis of Parallel Unix Commands and Pipelines with KumQuat

Jiasi Shen

Martin Rinard

Nikos Vasilakis

2022

Incompatibility clustering as a defense against backdoor poisoning attacks

Charles Jin

Melinda Sun

Martin Rinard

2023

Defending against backdoor attacks using ensembles of weak learners

Charles Jin

Melinda Sun

Martin Rinard

2021/10/6

See List of Professors in martin rinard University(Massachusetts Institute of Technology)