logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Martin Rinard

massachusetts institute of technology (mit)

66H-index
482Paper Count
1.7WCitation Count
Published Papers 15
Publication Date
logo
AI-guided automated identification of patients at high-risk for hepatocellular carcinoma in large US and Global datasets
errJHEP Reports
IF7.5
err2026-04-17
err0
errOAAI
errEric Lahtinen; Kai Jia; Bowen Gu; Pasapol Saowakon; Steven Kundrot; Matvey B. Palchuk; Jeff Warnick; Irving D. Kaplan; Michael Curry; Ammar Sarwar; Martin Rinard; Limor Appelbaum
errShare
errSave
Probabilistic Programming with Vectorized Programmable Inference
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errBecker, McCoy R.; Huot, Mathieu; Matheos, George; Wang, Xiaoyan; Chung, Karen; Smith, Colin; Ritchie, Sam; Saurous, Rif A.; Lew, Alexander K.; Rinard, Martin C.; Mansinghka, Vikash K.
errShare
errSave
A pancreatic cancer risk prediction model (Prism) developed and validated on large-scale US clinical data
errEBIOMEDICINE
IF10.8
err2023-12-01
err9
errOAAI
errJia, Kai; Kundrot, Steven; Palchuk, Matvey B.; Warnick, Jeff; Haapala, Kathryn; Kaplan, Irving D.; Rinard, Martin; Appelbaum, Limor
errShare
errSave
Development and validation of a pancreatic cancer risk model for the general population using electronic health records: An observational study
errEUROPEAN JOURNAL OF CANCER
IF7.1
err2021-01-01
err27
PREAI
errAppelbaum, Limor; Cambronero, Jose P.; Stevens, Jennifer P.; Horng, Steven; Pollick, Karla; Silva, George; Haneuse, Sebastien; Piatkowski, Gail; Benhaga, Nordine; Duey, Stacey; Stevenson, Mary A.; Mamon, Harvey; Kaplan, Irving D.; Rinard, Martin C.
errShare
errSave
Borrowing Big Code to Automate Programming Activities
errCOMMUNICATIONS OF THE ACM
IF12.2
err2019-02-21
err0
PREAI
errRinard, Martin C.
errShare
errSave
Battery-Aware Transformations in Mobile Applications
err2016 31ST IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE)
IF0
err2016-08-25
err6
errOAAI
errCito, Jurgen; Rubin, Julia; Stanley-Marbell, Phillip; Rinard, Martin
errShare
errSave
Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware
errCOMMUNICATIONS OF THE ACM
IF12.2
err2016-07-22
err12
errOAAI
errCarbin, Michael; Misailovic, Sasa; Rinard, Martin C.
errShare
errSave
An Introduction to Data Representation Synthesis
errCOMMUNICATIONS OF THE ACM
IF12.2
err2012-12-01
err2
errOAAI
errHawkins, Peter; Rinard, Martin; Aiken, Alex; Sagiv, Mooly; Fisher, Kathleen
errShare
errSave
Example-Driven Program Synthesis for End-User Programming
errCOMMUNICATIONS OF THE ACM
IF12.2
err2012-08-01
err5
PREAI
errRinard, Martin C.
errShare
errSave
Rapid haplotype inference for nuclear families
errGENOME BIOLOGY
IF9.4
err2010-10-29
err22
errOAAI
errWilliams, Amy L.; Housman, David E.; Rinard, Martin C.; Gifford, David K.
errShare
errSave
Automatic Extraction of Heap Reference Properties in Object-Oriented Programs
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2009-05-01
err4
errOAAI
errDemsky, Brian; Rinard, Martin
errShare
errSave
Histogram-Based Global Load Balancing in Structured Peer-to-Peer Systems
errIEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
IF10.4
err2009-04-01
err25
errOAAI
errVu, Quang Hieu; Ooi, Beng Chin; Rinard, Martin; Tan, Kian-Lee
errShare
errSave
Technical Perspective Patching Program Errors
errCOMMUNICATIONS OF THE ACM
IF12.2
err2008-12-01
err1
PREAI
errRinard, Martin C.
errShare
errSave
Goal-directed reasoning for specification-based data structure repair
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2006-12-01
err35
PREAI
errDemsky, Brian; Rinard, Martin C.
errShare
errSave
Modular pluggable analyses for data structure consistency
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2006-12-01
err32
errOAAI
errKuncak, Viktor; Lam, Patrick; Zee, Karen; Rinard, Martin C.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
D
David E. Housman
H-index: 120 · Papers: 436
B
Beng Chin Ooi
H-index: 77 · Papers: 535
A
Alex Aiken
H-index: 75 · Papers: 395
D
David K. Gifford
H-index: 73 · Papers: 320
K
Kian‐Lee Tan
H-index: 64 · Papers: 571
View more