Martin Rinard

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 48

Top Topics

Manifold Regularization

Color Quantization

Program Synthesis

Top Venues

ESEC/SIGSOFT FSE

Publications

Kai Jia, Martin Rinard
Exploiting Verified Neural Networks via Floating Point Numerical Error. SAS (2021)
Fatjon Zogaj, José Pablo Cambronero, Martin Rinard, Jürgen Cito
Doing More with Less: Characterizing Dataset Downsampling for AutoML. Proc. VLDB Endow. 14 (11) (2021)
Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin Rinard
Program Synthesis Guided Reinforcement Learning. CoRR (2021)
Shivam Handa, Martin Rinard
Program Synthesis Over Noisy Data with Guarantees. CoRR (2021)
Kai Jia, Martin Rinard
Verifying Low-Dimensional Input Neural Networks via Input Quantization. SAS (2021)
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama
Neurosymbolic Transformers for Multi-Agent Communication. CoRR (2021)
Kai Jia, Martin Rinard
Verifying Low-dimensional Input Neural Networks via Input Quantization. CoRR (2021)
Shivam Handa, Martin Rinard
Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization. CoRR (2021)
Charles Jin, Melinda Sun, Martin Rinard
Provable Guarantees against Data Poisoning Using Self-Expansion and Compatibility. CoRR (2021)
Feras Saad, Cameron E. Freer, Martin Rinard, Vikash Mansinghka
The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions. AISTATS (2020)
Shivam Handa, Martin Rinard
Inductive Program Synthesis Over Noisy Data. CoRR (2020)
Kai Jia, Martin Rinard
Efficient Exact Verification of Binarized Neural Networks. CoRR (2020)
Jürgen Cito, Jiasi Shen, Martin Rinard
An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks. MSR (2020)
Sara Achour, Martin Rinard
Noise-Aware Dynamical System Compilation for Analog Devices with Legno. ASPLOS (2020)
Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, Martin Rinard
An Order-aware Dataflow Model for Extracting Shell Script Parallelism. CoRR (2020)
Martin Rinard, Austin Gadient
Dataflow Analysis With Prophecy and History Variables. CoRR (2020)
Kai Jia, Martin Rinard
Exploiting Verified Neural Networks via Floating Point Numerical Error. CoRR (2020)
Phillip Stanley-Marbell, Martin Rinard
Warp: A Hardware Platform for Efficient Multimodal Sensing With Adaptive Approximation. IEEE Micro 40 (1) (2020)
Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Martin Rinard
Comprehensive Java Metadata Tracking for Attack Detection and Repair. DSN (2020)
Nikos Vasilakis, Jiasi Shen, Martin Rinard
Automatic Synthesis of Parallel and Distributed Unix Commands with KumQuat. CoRR (2020)
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama
Neurosymbolic Transformers for Multi-Agent Communication. NeurIPS (2020)
Charles Jin, Martin Rinard
Manifold Regularization for Adversarial Robustness. CoRR (2020)
Charles Jin, Martin Rinard
Learning From Context-Agnostic Synthetic Data. CoRR (2020)
Kai Jia, Martin Rinard
Efficient Exact Verification of Binarized Neural Networks. NeurIPS (2020)
Jürgen Cito, Philipp Leitner, Martin Rinard, Harald C. Gall
Interactive production performance feedback in the IDE. ICSE (2019)
José Pablo Cambronero, Jiasi Shen, Jürgen Cito, Elena L. Glassman, Martin Rinard
Characterizing Developer Use of Automatically Generated Patches. VL/HCC (2019)
Shivam Handa, Vikash Mansinghka, Martin Rinard
Compositional Inference Metaprogramming with Convergence Guarantees. CoRR (2019)
Yichen Yang, Martin Rinard
Correctness Verification of Neural Networks. CoRR (2019)
José Pablo Cambronero, Jiasi Shen, Jürgen Cito, Elena L. Glassman, Martin Rinard
Characterizing Developer Use of Automatically Generated Patches. CoRR (2019)
Phillip Stanley-Marbell, Martin Rinard
A Hardware Platform for Efficient Multi-Modal Sensing with Adaptive Approximation. CoRR (2018)
Vladimir Kiriansky, Haoran Xu, Martin Rinard, Saman P. Amarasinghe
Cimple: instruction and memory level parallelism: a DSL for uncovering ILP and MLP. PACT (2018)
José Pablo Cambronero, Phillip Stanley-Marbell, Martin Rinard
Incremental Color Quantization for Color-Vision-Deficient Observers Using Mobile Gaming Data. CoRR (2018)
Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson
The three pillars of machine programming. MAPL@PLDI (2018)
Sara Achour, Martin Rinard
Time Dilation and Contraction for Programmable Analog Devices with Jaunt. ASPLOS (2018)
Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson
The Three Pillars of Machine-Based Programming. CoRR (2018)
Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin Rinard
Probabilistic programming with programmable inference. PLDI (2018)
Vladimir Kiriansky, Haoran Xu, Martin Rinard, Saman P. Amarasinghe
Cimple: Instruction and Memory Level Parallelism. CoRR (2018)
Phillip Stanley-Marbell, Martin Rinard
Perceived-Color Approximation Transforms for Programs that Draw. IEEE Micro 38 (4) (2018)
Phillip Stanley-Marbell, Martin Rinard
Error-Efficient Computing Systems. Found. Trends Electron. Des. Autom. 11 (4) (2017)
Jiasi Shen, Martin Rinard
Robust programs with filtered iterators. SLE (2017)
Stelios Sidiroglou-Douskos, Eric Lahtinen, Anthony Eden, Fan Long, Martin Rinard
CodeCarbonCopy. ESEC/SIGSOFT FSE (2017)
Fan Long, Peter Amidon, Martin Rinard
Automatic inference of code transforms for patch generation. ESEC/SIGSOFT FSE (2017)
Fereshte Khani, Martin Rinard, Percy Liang
Unanimous Prediction for 100% Precision with Application to Learning Semantic Mappings. CoRR (2016)
Phillip Stanley-Marbell, Pier Andrea Francese, Martin Rinard
Encoder logic for reducing serial I/O power in sensors and sensor hubs. Hot Chips Symposium (2016)
Fan Long, Martin Rinard
Automatic patch generation by learning correct code. POPL (2016)
Fan Long, Martin Rinard
An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems. CoRR (2016)
Julia Rubin, Martin Rinard
The challenges of staying together while moving fast: an exploratory study. ICSE (2016)
Jürgen Cito, Julia Rubin, Phillip Stanley-Marbell, Martin Rinard
Battery-aware transformations in mobile applications. ASE (2016)
Phillip Stanley-Marbell, Martin Rinard
Lax: Driver Interfaces for Approximate Sensor Device Access. HotOS (2015)
Fan Long, Martin Rinard
Staged program repair with condition synthesis. ESEC/SIGSOFT FSE (2015)
Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, Martin Rinard
Automatic error elimination by horizontal code transfer across multiple applications. PLDI (2015)
Phillip Stanley-Marbell, Martin Rinard
Efficiency Limits for Value-Deviation-Bounded Approximate Communication. IEEE Embed. Syst. Lett. 7 (4) (2015)
Isaac Evans, Sam Fingeret, Julian Gonzalez, Ulziibayar Otgonbaatar, Tiffany Tang, Howard E. Shrobe, Stelios Sidiroglou-Douskos, Martin Rinard, Hamed Okhravi
Missing the Point(er): On the Effectiveness of Code Pointer Integrity. IEEE Symposium on Security and Privacy (2015)
Martin Rinard
Parallel Synchronization-Free Approximate Data Structure Construction. HotPar (2013)
Kevin Zhijie Chen, Noah M. Johnson, Vijay D'Silva, Shuaifu Dai, Kyle MacNamara, Thomas R. Magrino, Edward XueJun Wu, Martin Rinard, Dawn Xiaodong Song
Contextual Policy Enforcement in Android Applications with Permission Event Graphs. NDSS (2013)
Martin Rinard
From Runtime Verification to Runtime Intervention and Adaptation. RV (2012)
Andrew P. Black, Theo D'Hondt, Doug Kimelman, Martin Rinard, David M. Ungar
Workshop on relaxing synchronization for multicore and manycore scalability (RACES 2012). SPLASH (2012)
Quang Hieu Vu, Beng Chin Ooi, Martin Rinard, Kian-Lee Tan
Histogram-Based Global Load Balancing in Structured Peer-to-Peer Systems. IEEE Trans. Knowl. Data Eng. 21 (4) (2009)