default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin C. Rinard
Refine list
refinements active!
zoomed in on 302 of 302 records
view refined list in
export refined list as
showing all 302 records
refine by search term
refine by type
- |
- no options
- temporarily not available
refine by coauthor
- no options
- temporarily not available
refine by orcid
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by access 
- no options
- temporarily not available
2020 – today
- 2025
[j45]Tom Beckmann, Joana Bergsiek, Eva Krebs, Toni Mattis, Stefan Ramson, Martin C. Rinard, Robert Hirschfeld:
Probing the Design Space: Parallel Versions for Exploratory Programming. Art Sci. Eng. Program. 10(1) (2025)- [i61]Tom Beckmann, Joana Bergsiek, Eva Krebs, Toni Mattis, Stefan Ramson, Martin C. Rinard, Robert Hirschfeld:
Probing the Design Space: Parallel Versions for Exploratory Programming. CoRR abs/2502.20535 (2025) - [i60]Rem Yang, Julian Dai, Nikos Vasilakis, Martin C. Rinard:
Evaluating the Generalization Capabilities of Large Language Models on Code Reasoning. CoRR abs/2504.05518 (2025) - 2024
- [j44]Mathieu Huot
, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, Vikash K. Mansinghka:
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables. Proc. ACM Program. Lang. 8(PLDI): 790-815 (2024) - [j43]McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, Vikash K. Mansinghka:
Probabilistic Programming with Programmable Variational Inference. Proc. ACM Program. Lang. 8(PLDI): 2123-2147 (2024) - [c190]Charles Jin, Martin C. Rinard:
Emergent Representations of Program Semantics in Language Models Trained on Programs. ICML 2024 - [c189]Martin C. Rinard:
Software Engineering Research in a World with Generative Artificial Intelligence. ICSE 2024: 2:1-2:5 - [c188]Eva Krebs, Toni Mattis, Marius Dörbandt, Oliver Schulz, Martin C. Rinard, Robert Hirschfeld:
Implementing Babylonian/G by Putting Examples into Game Contexts. Programming 2024 - [c187]Toni Mattis, Lukas Böhme, Eva Krebs, Martin C. Rinard, Robert Hirschfeld:
Faster Feedback with AI? A Test Prioritization Study. Programming 2024 - [c186]Toni Mattis, Eva Krebs, Martin C. Rinard, Robert Hirschfeld:
Examples out of Thin Air: AI-Generated Dynamic Context to Assist Program Comprehension by Example. Programming 2024 - [c185]Farid Arthaud, Edan Orzech, Martin C. Rinard:
Edge-Dominance Games on Graphs. SAGT 2024: 240-257 - [i59]Kai Jia, Martin C. Rinard:
Limited-perception games. CoRR abs/2405.16735 (2024) - [i58]Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, Vikash K. Mansinghka:
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables. CoRR abs/2406.15652 (2024) - [i57]McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, Vikash K. Mansinghka:
Probabilistic Programming with Programmable Variational Inference. CoRR abs/2406.15742 (2024) - [i56]Farid Arthaud, Edan Orzech, Martin C. Rinard:
Edge-dominance games on graphs. CoRR abs/2407.07785 (2024) - [i55]Charles Jin, Martin C. Rinard:
Latent Causal Probing: A Formal Perspective on Probing with Causal Models of Data. CoRR abs/2407.13765 (2024) - 2023
- [j42]Alexander K. Lew, Matin Ghavamizadeh, Martin C. Rinard, Vikash K. Mansinghka:
Probabilistic Programming with Stochastic Probabilities. Proc. ACM Program. Lang. 7(PLDI): 1708-1732 (2023) - [c184]Charles Jin, Melinda Sun, Martin C. Rinard:
Incompatibility Clustering as a Defense Against Backdoor Poisoning Attacks. ICLR 2023 - [c183]Farid Arthaud, Martin C. Rinard:
Depth-bounded Epistemic Logic. TARK 2023: 46-65 - [i54]Yichen Yang, Martin C. Rinard:
Emergence of Locally Suboptimal Behavior in Finitely Repeated Games. CoRR abs/2303.16806 (2023) - [i53]Kai Jia, Martin C. Rinard:
Effective Neural Network L0 Regularization With BinMask. CoRR abs/2304.11237 (2023) - [i52]Charles Jin, Zhang-Wei Hong, Farid Arthaud, Idan Orzech, Martin C. Rinard:
Decentralized Inference via Capability Type Structures in Cooperative Multi-Agent Systems. CoRR abs/2304.13957 (2023) - [i51]Farid Arthaud, Martin C. Rinard:
Depth-bounded epistemic logic. CoRR abs/2305.08607 (2023) - [i50]Charles Jin, Martin C. Rinard:
Evidence of Meaning in Language Models Trained on Programs. CoRR abs/2305.11169 (2023) - [i49]Kai Jia, Pasapol Saowakon, Limor Appelbaum, Martin C. Rinard:
Sound Explanation for Trustworthy Machine Learning. CoRR abs/2306.06134 (2023) - [i48]Idan Orzech, Martin C. Rinard:
Correlated vs. Uncorrelated Randomness in Adversarial Congestion Team Games. CoRR abs/2308.08047 (2023) - [i47]Kai Jia, Martin C. Rinard:
A nonsmooth optimization method. CoRR abs/2311.06205 (2023) - [i46]Edan Orzech, Martin C. Rinard:
Randomness Requirements and Asymmetries in Nash Equilibria. CoRR abs/2312.17364 (2023) - 2022
- [c182]Jiasi Shen, Martin C. Rinard, Nikos Vasilakis:
Automatic synthesis of parallel unix commands and pipelines with KumQuat. PPoPP 2022: 431-432 - [c181]Yichen Yang, Kai Jia, Martin C. Rinard:
On the Impact of Player Capability on Congestion Games. SAGT 2022: 311-328 - [i45]Yichen Yang, Kai Jia, Martin C. Rinard:
On the Impact of Player Capability on Congestion Games. CoRR abs/2205.09905 (2022) - [i44]Kai Jia, Martin C. Rinard, Yichen Yang:
Mixed Capability Games. CoRR abs/2208.04516 (2022) - 2021
- [j41]Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, Martin C. Rinard:
An order-aware dataflow model for parallel Unix pipelines. Proc. ACM Program. Lang. 5(ICFP): 1-28 (2021) - [j40]Fatjon Zogaj, José Pablo Cambronero, Martin C. Rinard, Jürgen Cito:
Doing More with Less: Characterizing Dataset Downsampling for AutoML. Proc. VLDB Endow. 14(11): 2059-2072 (2021) - [j39]Jiasi Shen, Martin C. Rinard:
Active Learning for Inference and Regeneration of Applications that Access Databases. ACM Trans. Program. Lang. Syst. 42(4): 18:1-18:119 (2021) - [c180]Nikos Vasilakis, Achilles Benetopoulos, Shivam Handa, Alizee Schoen, Jiasi Shen, Martin C. Rinard:
Supply-Chain Vulnerability Elimination via Active Learning and Regeneration. CCS 2021: 1755-1770 - [c179]Charles Jin, Martin C. Rinard:
Towards Context-Agnostic Learning Using Synthetic Data. NeurIPS 2021: 26223-26236 - [c178]Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard:
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. NeurIPS 2021: 29669-29683 - [c177]Feras A. Saad, Martin C. Rinard, Vikash K. Mansinghka:
SPPL: probabilistic programming with fast exact symbolic inference. PLDI 2021: 804-819 - [c176]Kai Jia, Martin C. Rinard:
Exploiting Verified Neural Networks via Floating Point Numerical Error. SAS 2021: 191-205 - [c175]Kai Jia, Martin C. Rinard:
Verifying Low-Dimensional Input Neural Networks via Input Quantization. SAS 2021: 206-214 - [c174]Nikos Vasilakis, Grigoris Ntousakis, Veit Heller, Martin C. Rinard:
Efficient module-level dynamic analysis for dynamic languages with module recontextualization. ESEC/SIGSOFT FSE 2021: 1202-1213 - [i43]Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama:
Neurosymbolic Transformers for Multi-Agent Communication. CoRR abs/2101.03238 (2021) - [i42]Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard:
Program Synthesis Guided Reinforcement Learning. CoRR abs/2102.11137 (2021) - [i41]Shivam Handa, Martin C. Rinard:
Program Synthesis Over Noisy Data with Guarantees. CoRR abs/2103.05030 (2021) - [i40]Thurston H. Y. Dang, José Pablo Cambronero, Martin C. Rinard:
Inferring Drop-in Binary Parsers from Program Executions. CoRR abs/2104.09669 (2021) - [i39]Shivam Handa, Martin C. Rinard:
Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization. CoRR abs/2104.13315 (2021) - [i38]Charles Jin, Melinda Sun, Martin C. Rinard:
Provable Guarantees against Data Poisoning Using Self-Expansion and Compatibility. CoRR abs/2105.03692 (2021) - [i37]Kai Jia, Martin C. Rinard:
Verifying Low-dimensional Input Neural Networks via Input Quantization. CoRR abs/2108.07961 (2021) - [i36]Malavika Samak, José Pablo Cambronero, Martin C. Rinard:
Searching for Replacement Classes. CoRR abs/2110.05638 (2021) - 2020
- [j38]Phillip Stanley-Marbell, Martin C. Rinard:
Warp: A Hardware Platform for Efficient Multimodal Sensing With Adaptive Approximation. IEEE Micro 40(1): 57-66 (2020) - [j37]Feras A. Saad, Cameron E. Freer, Martin C. Rinard, Vikash K. Mansinghka:
Optimal approximate sampling from discrete probability distributions. Proc. ACM Program. Lang. 4(POPL): 36:1-36:31 (2020) - [j36]Malavika Samak, Deokhwan Kim, Martin C. Rinard:
Synthesizing replacement classes. Proc. ACM Program. Lang. 4(POPL): 52:1-52:33 (2020) - [c173]Feras Saad, Cameron E. Freer, Martin C. Rinard, Vikash Mansinghka:
The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions. AISTATS 2020: 1036-1046 - [c172]Sara Achour, Martin C. Rinard:
Noise-Aware Dynamical System Compilation for Analog Devices with Legno. ASPLOS 2020: 149-166 - [c171]Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Martin C. Rinard:
Comprehensive Java Metadata Tracking for Attack Detection and Repair. DSN 2020: 39-51 - [c170]Jürgen Cito, Jiasi Shen, Martin C. Rinard:
An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks. MSR 2020: 598-601 - [c169]Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama:
Neurosymbolic Transformers for Multi-Agent Communication. NeurIPS 2020 - [c168]Kai Jia, Martin C. Rinard:
Efficient Exact Verification of Binarized Neural Networks. NeurIPS 2020 - [c167]Shivam Handa, Martin C. Rinard:
Inductive program synthesis over noisy data. ESEC/SIGSOFT FSE 2020: 87-98 - [c166]José Pablo Cambronero, Jürgen Cito, Martin C. Rinard:
AMS: generating AutoML search spaces from weak specifications. ESEC/SIGSOFT FSE 2020: 763-774 - [i35]Feras A. Saad, Cameron E. Freer, Martin C. Rinard, Vikash K. Mansinghka:
Optimal Approximate Sampling from Discrete Probability Distributions. CoRR abs/2001.04555 (2020) - [i34]Kai Jia, Martin C. Rinard:
Exploiting Verified Neural Networks via Floating Point Numerical Error. CoRR abs/2003.03021 (2020) - [i33]Feras A. Saad, Cameron E. Freer, Martin C. Rinard, Vikash K. Mansinghka:
The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions. CoRR abs/2003.03830 (2020) - [i32]Charles Jin, Martin C. Rinard:
Manifold Regularization for Adversarial Robustness. CoRR abs/2003.04286 (2020) - [i31]Kai Jia, Martin C. Rinard:
Efficient Exact Verification of Binarized Neural Networks. CoRR abs/2005.03597 (2020) - [i30]Charles Jin, Martin C. Rinard:
Learning From Context-Agnostic Synthetic Data. CoRR abs/2005.14707 (2020) - [i29]Martin C. Rinard, Austin Gadient:
Dataflow Analysis With Prophecy and History Variables. CoRR abs/2007.12015 (2020) - [i28]Shivam Handa, Martin C. Rinard:
Inductive Program Synthesis Over Noisy Data. CoRR abs/2009.10272 (2020) - [i27]Feras A. Saad, Martin C. Rinard, Vikash K. Mansinghka:
Exact Symbolic Inference in Probabilistic Programs via Sum-Product Representations. CoRR abs/2010.03485 (2020) - [i26]Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, Martin C. Rinard:
An Order-aware Dataflow Model for Extracting Shell Script Parallelism. CoRR abs/2012.15422 (2020) - [i25]Nikos Vasilakis, Jiasi Shen, Martin C. Rinard:
Automatic Synthesis of Parallel and Distributed Unix Commands with KumQuat. CoRR abs/2012.15443 (2020) - no results
2010 – 2019
- 2019
- [j35]Martin C. Rinard:
Technical perspective: Borrowing big code to automate programming activities. Commun. ACM 62(3): 98 (2019) - [j34]José Pablo Cambronero, Martin C. Rinard:
AL: autogenerating supervised learning programs. Proc. ACM Program. Lang. 3(OOPSLA): 175:1-175:28 (2019) - [j33]Feras A. Saad, Marco F. Cusumano-Towner, Ulrich Schaechtle, Martin C. Rinard, Vikash K. Mansinghka:
Bayesian synthesis of probabilistic programs for automatic data modeling. Proc. ACM Program. Lang. 3(POPL): 37:1-37:32 (2019) - [c165]Jürgen Cito, Philipp Leitner, Martin C. Rinard, Harald C. Gall:
Interactive production performance feedback in the IDE. ICSE 2019: 971-981 - [c164]José Pablo Cambronero, Thurston H. Y. Dang, Nikos Vasilakis, Jiasi Shen, Jerry Wu, Martin C. Rinard:
Active learning for software engineering. Onward! 2019: 62-78 - [c163]Jiasi Shen, Martin C. Rinard:
Using active learning to synthesize models of applications that access databases. PLDI 2019: 269-285 - [c162]José Pablo Cambronero, Jiasi Shen, Jürgen Cito, Elena L. Glassman, Martin C. Rinard:
Characterizing Developer Use of Automatically Generated Patches. VL/HCC 2019: 181-185 - [i24]Yichen Yang, Martin C. Rinard:
Correctness Verification of Neural Networks. CoRR abs/1906.01030 (2019) - [i23]Shivam Handa, Vikash Mansinghka, Martin C. Rinard:
Compositional Inference Metaprogramming with Convergence Guarantees. CoRR abs/1907.05451 (2019) - [i22]Feras A. Saad, Marco F. Cusumano-Towner, Ulrich Schaechtle, Martin C. Rinard, Vikash K. Mansinghka:
Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling. CoRR abs/1907.06249 (2019) - [i21]José Pablo Cambronero, Jiasi Shen, Jürgen Cito, Elena L. Glassman, Martin C. Rinard:
Characterizing Developer Use of Automatically Generated Patches. CoRR abs/1907.06535 (2019) - 2018
- [j32]Phillip Stanley-Marbell, Martin C. Rinard:
Perceived-Color Approximation Transforms for Programs that Draw. IEEE Micro 38(4): 20-29 (2018) - [c161]Vladimir Kiriansky, Haoran Xu, Martin C. Rinard, Saman P. Amarasinghe:
Cimple: instruction and memory level parallelism: a DSL for uncovering ILP and MLP. PACT 2018: 30:1-30:16 - [c160]Sara Achour, Martin C. Rinard:
Time Dilation and Contraction for Programmable Analog Devices with Jaunt. ASPLOS 2018: 229-242 - [c159]Martin C. Rinard, Jiasi Shen, Varun Mangalick:
Active learning for inference and regeneration of computer programs that store and retrieve data. Onward! 2018: 12-28 - [c158]Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin C. Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson:
The three pillars of machine programming. MAPL@PLDI 2018: 69-80 - [c157]Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin C. Rinard:
Probabilistic programming with programmable inference. PLDI 2018: 603-616 - [c156]Martin C. Rinard:
A new approach for software correctness and reliability (keynote). SLE 2018: 1-2 - [i20]Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin C. Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson:
The Three Pillars of Machine-Based Programming. CoRR abs/1803.07244 (2018) - [i19]José Pablo Cambronero, Phillip Stanley-Marbell, Martin C. Rinard:
Incremental Color Quantization for Color-Vision-Deficient Observers Using Mobile Gaming Data. CoRR abs/1803.08420 (2018) - [i18]Phillip Stanley-Marbell, Martin C. Rinard:
A Hardware Platform for Efficient Multi-Modal Sensing with Adaptive Approximation. CoRR abs/1804.09241 (2018) - [i17]Vladimir Kiriansky, Haoran Xu, Martin C. Rinard, Saman P. Amarasinghe:
Cimple: Instruction and Memory Level Parallelism. CoRR abs/1807.01624 (2018) - 2017
- [j31]Phillip Stanley-Marbell, Martin C. Rinard:
Error-Efficient Computing Systems. Found. Trends Electron. Des. Autom. 11(4): 362-461 (2017) - [c155]Stelios Sidiroglou-Douskos, Eric Lahtinen, Anthony Eden, Fan Long, Martin C. Rinard:
CodeCarbonCopy. ESEC/SIGSOFT FSE 2017: 95-105 - [c154]Fan Long, Peter Amidon, Martin C. Rinard:
Automatic inference of code transforms for patch generation. ESEC/SIGSOFT FSE 2017: 727-739 - [c153]Jiasi Shen, Martin C. Rinard:
Robust programs with filtered iterators. SLE 2017: 244-255 - 2016
- [j30]Michael Carbin, Sasa Misailovic, Martin C. Rinard:
Verifying quantitative reliability for programs that execute on unreliable hardware. Commun. ACM 59(8): 83-91 (2016) - [c152]Fereshte Khani, Martin C. Rinard, Percy Liang:
Unanimous Prediction for 100% Precision with Application to Learning Semantic Mappings. ACL (1) 2016 - [c151]Phillip Stanley-Marbell, Martin C. Rinard:
Reducing serial I/O power in error-tolerant applications by efficient lossy encoding. DAC 2016: 62:1-62:6 - [c150]Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Daniel Willenson, Stelios Sidiroglou-Douskos, Martin C. Rinard:
AutoRand: Automatic Keyword Randomization to Prevent Injection Attacks. DIMVA 2016: 37-57 - [c149]Phillip Stanley-Marbell, Virginia Estellers, Martin C. Rinard:
Crayon: saving power through shape and color approximation on next-generation displays. EuroSys 2016: 11:1-11:17 - [c148]Phillip Stanley-Marbell, Pier Andrea Francese, Martin C. Rinard:
Encoder logic for reducing serial I/O power in sensors and sensor hubs. Hot Chips Symposium 2016: 1-2 - [c147]Fan Long, Martin C. Rinard:
An analysis of the search spaces for generate and validate patch generation systems. ICSE 2016: 702-713 - [c146]Julia Rubin, Martin C. Rinard:
The challenges of staying together while moving fast: an exploratory study. ICSE 2016: 982-993 - [c145]Jürgen Cito, Julia Rubin, Phillip Stanley-Marbell, Martin C. Rinard:
Battery-aware transformations in mobile applications. ASE 2016: 702-707 - [c144]Sara Achour, Rahul Sarpeshkar, Martin C. Rinard:
Configuration synthesis for programmable analog devices with Arco. PLDI 2016: 177-193 - [c143]Fan Long, Martin C. Rinard:
Automatic patch generation by learning correct code. POPL 2016: 298-312 - [i16]Fan Long, Martin C. Rinard:
An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems. CoRR abs/1602.05643 (2016) - [i15]Fereshte Khani, Martin C. Rinard, Percy Liang:
Unanimous Prediction for 100% Precision with Application to Learning Semantic Mappings. CoRR abs/1606.06368 (2016) - 2015
- [j29]Phillip Stanley-Marbell, Martin C. Rinard:
Efficiency Limits for Value-Deviation-Bounded Approximate Communication. IEEE Embed. Syst. Lett. 7(4): 109-112 (2015) - [c142]Stelios Sidiroglou-Douskos, Eric Lahtinen, Nathan Rittenhouse, Paolo Piselli, Fan Long, Deokhwan Kim, Martin C. Rinard:
Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement. ASPLOS 2015: 473-486 - [c141]Isaac Evans, Fan Long, Ulziibayar Otgonbaatar, Howard E. Shrobe, Martin C. Rinard, Hamed Okhravi, Stelios Sidiroglou-Douskos:
Control Jujutsu: On the Weaknesses of Fine-Grained Control Flow Integrity. CCS 2015: 901-913 - [c140]Phillip Stanley-Marbell, Martin C. Rinard:
Lax: Driver Interfaces for Approximate Sensor Device Access. HotOS 2015 - [c139]Peter Amidon, Eli Davis, Stelios Sidiroglou-Douskos, Martin C. Rinard:
Program fracture and recombination for efficient automatic code reuse. HPEC 2015: 1-6 - [c138]Zichao Qi, Fan Long, Sara Achour, Martin C. Rinard:
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. ISSTA 2015: 24-36 - [c137]Julia Rubin, Michael I. Gordon, Nguyen Nguyen, Martin C. Rinard:
Covert Communication in Mobile Applications (T). ASE 2015: 647-657 - [c136]Michael I. Gordon, Deokhwan Kim, Jeff H. Perkins, Limei Gilham, Nguyen Nguyen, Martin C. Rinard:
Information Flow Analysis of Android Applications in DroidSafe. NDSS 2015 - [c135]Brendan Juba, Christopher Musco, Fan Long, Stelios Sidiroglou-Douskos, Martin C. Rinard:
Principled Sampling for Anomaly Detection. NDSS 2015 - [c134]Sara Achour, Martin C. Rinard:
Approximate computation with outlier detection in Topaz. OOPSLA 2015: 711-730 - [c133]Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, Martin C. Rinard:
Automatic error elimination by horizontal code transfer across multiple applications. PLDI 2015: 43-54 - [c132]Fan Long, Martin C. Rinard:
Staged program repair with condition synthesis. ESEC/SIGSOFT FSE 2015: 166-178 - [c131]Isaac Evans, Sam Fingeret, Julian Gonzalez, Ulziibayar Otgonbaatar, Tiffany Tang, Howard E. Shrobe, Stelios Sidiroglou-Douskos, Martin C. Rinard, Hamed Okhravi:
Missing the Point(er): On the Effectiveness of Code Pointer Integrity. IEEE Symposium on Security and Privacy 2015: 781-796 - 2014
- [c130]Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard:
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. OOPSLA 2014: 309-328 - [c129]Fan Long, Stelios Sidiroglou-Douskos, Martin C. Rinard:
Automatic runtime error repair and containment via recovery shepherding. PLDI 2014: 227-238 - [c128]Fan Long, Stelios Sidiroglou-Douskos, Deokhwan Kim, Martin C. Rinard:
Sound input filter generation for integer overflow errors. POPL 2014: 439-452 - 2013
- [j28]Sasa Misailovic, Deokhwan Kim, Martin C. Rinard:
Parallelizing Sequential Programs with Statistical Accuracy Tests. ACM Trans. Embed. Comput. Syst. 12(2s): 88:1-88:26 (2013) - [j27]Karthick Jayaraman, Mahesh V. Tripunitara, Vijay Ganesh, Martin C. Rinard, Steve J. Chapin:
Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies. ACM Trans. Inf. Syst. Secur. 15(4): 18:1-18:28 (2013) - [c127]Tao Lei, Fan Long, Regina Barzilay, Martin C. Rinard:
From Natural Language Specifications to Program Input Parsers. ACL (1) 2013: 1294-1303 - [c126]Youry Khmelevsky, Martin C. Rinard, Stelios Sidiroglou-Douskos:
A source-to-source transformation tool for error fixing. CASCON 2013: 147-160 - [c125]Martin C. Rinard:
Parallel Synchronization-Free Approximate Data Structure Construction. HotPar 2013 - [c124]Kevin Zhijie Chen, Noah M. Johnson, Vijay D'Silva, Shuaifu Dai, Kyle MacNamara, Thomas R. Magrino, Edward XueJun Wu, Martin C. Rinard, Dawn Xiaodong Song:
Contextual Policy Enforcement in Android Applications with Permission Event Graphs. NDSS 2013 - [c123]Michael Carbin, Sasa Misailovic, Martin C. Rinard:
Verifying quantitative reliability for programs that execute on unreliable hardware. OOPSLA 2013: 33-52 - [c122]Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard:
Verified integrity properties for safe approximate program transformations. PEPM 2013: 63-66 - [i14]Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard:
(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints. CoRR abs/1306.6054 (2013) - 2012
- [j26]Martin C. Rinard:
Example-driven program synthesis for end-user programming: technical perspective. Commun. ACM 55(8): 96 (2012) - [j25]Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher:
An introduction to data representation synthesis. Commun. ACM 55(12): 91-99 (2012) - [c121]Martin C. Rinard:
What to do when things go wrong: recovery in complex (computer) systems. AOSD (Companion) 2012: 1-2 - [c120]Martin C. Rinard:
Obtaining and reasoning about good enough software. DAC 2012: 930-935 - [c119]Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
Reasoning about Lock Placements. ESOP 2012: 336-356 - [c118]Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard:
Word Equations with Length Constraints: What's Decidable? Haifa Verification Conference 2012: 209-226 - [c117]Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, Martin C. Rinard:
Automatic input rectification. ICSE 2012: 80-90 - [c116]Sasa Misailovic, Stelios Sidiroglou, Martin C. Rinard:
Dancing with uncertainty. RACES@SPLASH 2012: 51-60 - [c115]Andrew P. Black, Theo D'Hondt, Doug Kimelman, Martin C. Rinard, David M. Ungar:
Workshop on relaxing synchronization for multicore and manycore scalability (RACES 2012). SPLASH 2012: 221-222 - [c114]Michael Kling, Sasa Misailovic, Michael Carbin, Martin C. Rinard:
Bolt: on-demand infinite loop escape in unmodified binaries. OOPSLA 2012: 431-450 - [c113]Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard:
Proving acceptability properties of relaxed nondeterministic approximate programs. PLDI 2012: 169-180 - [c112]Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
Concurrent data representation synthesis. PLDI 2012: 417-428 - [c111]Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, Martin C. Rinard:
Randomized accuracy-aware program transformations for efficient approximate computations. POPL 2012: 441-454 - [c110]Martin C. Rinard:
From Runtime Verification to Runtime Intervention and Adaptation. RV 2012: 276 - [c109]Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama:
Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. SAT 2012: 143-156 - [e4]Andrew P. Black, Theo D'Hondt, Doug Kimelman, Martin C. Rinard, David M. Ungar:
Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability, RACES@SPLASH 2012, Tucson, Arizona, USA, October 21, 2012. ACM 2012, ISBN 978-1-4503-1632-3 [contents] - [i13]Vijay Ganesh, Michael Carbin, Martin C. Rinard:
Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography. CoRR abs/1202.0359 (2012) - 2011
- [c108]Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard:
Dynamic knobs for responsive power-aware computing. ASPLOS 2011: 199-212 - [c107]Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin:
Automatic error finding in access-control policies. CCS 2011: 163-174 - [c106]Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard:
Detecting and Escaping Infinite Loops with Jolt. ECOOP 2011: 609-633 - [c105]Martin C. Rinard:
Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation. PEPM 2011: 79-80 - [c104]Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
Data representation synthesis. PLDI 2011: 38-49 - [c103]Deokhwan Kim, Martin C. Rinard:
Verification of semantic commutativity conditions and inverse operations on linked data structures. PLDI 2011: 528-541 - [c102]Sasa Misailovic, Daniel M. Roy, Martin C. Rinard:
Probabilistically Accurate Program Transformations. SAS 2011: 316-333 - [c101]Stelios Sidiroglou-Douskos, Sasa Misailovic, Henry Hoffmann, Martin C. Rinard:
Managing performance vs. accuracy trade-offs with loop perforation. SIGSOFT FSE 2011: 124-134 - [p1]Martin C. Rinard:
Manipulating Program Functionality to Eliminate Security Vulnerabilities. Moving Target Defense 2011: 109-115 - [i12]Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin:
ARBAC Policy for a Large Multi-National Bank. CoRR abs/1110.2849 (2011) - [i11]Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller:
Self-Repairing Programs (Dagstuhl Seminar 11062). Dagstuhl Reports 1(2): 16-29 (2011) - 2010
- [c100]Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
Data Structure Fusion. APLAS 2010: 204-221 - [c99]Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard:
Quality of service profiling. ICSE (1) 2010: 25-34 - [c98]Michael Carbin, Martin C. Rinard:
Automatically identifying critical input regions and code in applications. ISSTA 2010: 37-48 - [c97]Martin C. Rinard, Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou:
Patterns and statistical analysis for understanding reduced resource computing. OOPSLA 2010: 806-821 - [c96]Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence J. Osborne:
Optimal Scheduling of Urgent Preemptive Tasks. RTCSA 2010: 377-386 - [e3]William R. Cook, Siobhán Clarke, Martin C. Rinard:
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. ACM 2010, ISBN 978-1-4503-0203-6 [contents] - [e2]William R. Cook, Siobhán Clarke, Martin C. Rinard:
Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, part of SPLASH 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. ACM 2010, ISBN 978-1-4503-0240-1 [contents] - no results
2000 – 2009
- 2009
- [j24]Quang Hieu Vu, Beng Chin Ooi, Martin C. Rinard, Kian-Lee Tan:
Histogram-Based Global Load Balancing in Structured Peer-to-Peer Systems. IEEE Trans. Knowl. Data Eng. 21(4): 595-608 (2009) - [j23]Brian Demsky, Martin C. Rinard:
Automatic Extraction of Heap Reference Properties in Object-Oriented Programs. IEEE Trans. Software Eng. 35(3): 305-324 (2009) - [c95]Martin C. Rinard:
Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival. CADE 2009: 1-16 - [c94]Nate Kushman, Micah Z. Brodsky, S. R. K. Branavan, Dina Katabi, Regina Barzilay, Martin C. Rinard:
WikiDo. HotNets 2009 - [c93]Vijay Ganesh, Tim Leek, Martin C. Rinard:
Taint-based directed whitebox fuzzing. ICSE 2009: 474-484 - [c92]Martin C. Rinard:
Survival strategies for synthesized hardware systems. MEMOCODE 2009: 116-120 - [c91]Karen Zee, Viktor Kuncak, Martin C. Rinard:
An integrated proof language for imperative programs. PLDI 2009: 338-351 - [c90]Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Gregory T. Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard:
Automatically patching errors in deployed software. SOSP 2009: 87-102 - [c89]Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap:
A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. SYNASC 2009: 61-68 - 2008
- [j22]Martin C. Rinard:
Technical perspective - Patching program errors. Commun. ACM 51(12): 86 (2008) - [j21]Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand:
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. ACM SIGPLAN Notices 43(11): 6-29 (2008) - [j20]Martin C. Rinard:
Using programming language concepts to teach general thinking skills. ACM SIGPLAN Notices 43(11): 111-118 (2008) - [c88]Karen Zee, Viktor Kuncak, Martin C. Rinard:
Verifying linked data structure implementations. IPDPS 2008: 1-5 - [c87]Karen Zee, Viktor Kuncak, Martin C. Rinard:
Full functional verification of linked data structures. PLDI 2008: 349-361 - 2007
- [c86]Viktor Kuncak, Martin C. Rinard:
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic. CADE 2007: 215-230 - [c85]Bruno Marnette, Viktor Kuncak, Martin C. Rinard:
Polynomial Constraints for Sets with Cardinality Bounds. FoSSaCS 2007: 258-273 - [c84]Patrick Lam, Martin C. Rinard:
Static Verification of Design Constraints and Software Correctness Properties in the Hob System. IPDPS 2007: 1-6 - [c83]Huu Hai Nguyen, Martin C. Rinard:
Detecting and eliminating memory leaks using cyclic memory allocation. ISMM 2007: 15-30 - [c82]Martin C. Rinard:
Using early phase termination to eliminate load imbalances at barrier synchronization points. OOPSLA 2007: 369-386 - [c81]Martin C. Rinard:
Living in the comfort zone. OOPSLA 2007: 611-622 - [c80]Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard:
Runtime Checking for Program Verification. RV 2007: 202-213 - [c79]Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard:
Using First-Order Theorem Provers in the Jahob Data Structure Verification System. VMCAI 2007: 74-88 - 2006
- [j19]Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard:
Deciding Boolean Algebra with Presburger Arithmetic. J. Autom. Reason. 36(3): 213-239 (2006) - [j18]Brian Demsky, Martin C. Rinard:
Goal-Directed Reasoning for Specification-Based Data Structure Repair. IEEE Trans. Software Eng. 32(12): 931-951 (2006) - [j17]Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard:
Modular Pluggable Analyses for Data Structure Consistency. IEEE Trans. Software Eng. 32(12): 988-1005 (2006) - [c78]Martin C. Rinard:
Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. ICS 2006: 324-334 - [c77]Viktor Kuncak, Martin C. Rinard:
An overview of the Jahob analysis system: project goals and current status. IPDPS 2006 - [c76]Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard:
Inference and enforcement of data structure consistency specifications. ISSTA 2006: 233-244 - [c75]Steven Fraser, Gregor Kiczales, Ricardo López, Peter G. Neumann, Linda M. Northrop, Martin C. Rinard, Douglas C. Schmidt, Kevin J. Sullivan:
The ultra challenge: software systems beyond big. OOPSLA Companion 2006: 929-933 - [c74]Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard:
Incremental Deterministic Planning. SYNASC 2006: 93-102 - [c73]Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard:
Field Constraint Analysis. VMCAI 2006: 157-173 - [c72]Martin C. Rinard:
Automated Techniques for Surviving (Otherwise) Fatal Software Errors. V&D@FLoC 2006: 113-116 - [i10]Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard:
On Verifying Complex Properties using Symbolic Shape Analysis. CoRR abs/cs/0609104 (2006) - 2005
- [j16]Radu Rugina, Martin C. Rinard:
Symbolic bounds analysis of pointers, array indices, and accessed memory regions. ACM Trans. Program. Lang. Syst. 27(2): 185-235 (2005) - [c71]Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Crosscutting techniques in program specification and analysis. AOSD 2005: 169-180 - [c70]Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard:
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic. CADE 2005: 260-277 - [c69]Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Hob: A Tool for Verifying Data Structure Consistency. CC 2005: 237-241 - [c68]Brian Demsky, Martin C. Rinard:
Data structure repair using goal-directed reasoning. ICSE 2005: 176-185 - [c67]Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen:
Exploring the acceptability envelope. OOPSLA Companion 2005: 21-30 - [c66]Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard:
Memory Usage Verification for OO Programs. SAS 2005: 70-86 - [c65]Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard:
Optimizations for Compiling Declarative Models into Boolean Formulas. SAT 2005: 187-202 - [c64]Alexandru Salcianu, Martin C. Rinard:
Purity and Side Effect Analysis for Java Programs. VMCAI 2005: 199-215 - [c63]Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Generalized Typestate Checking for Data Structure Consistency. VMCAI 2005: 430-447 - [c62]Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard:
Implications of a Data Structure Consistency Checking System. VSTTE 2005: 214-226 - [c61]Viktor Kuncak, Martin C. Rinard:
Decision Procedures for Set-Valued Fields. AIOOL@VMCAI 2005: 51-62 - [i9]Viktor Kuncak, Martin C. Rinard, Bruno Marnette:
On Algorithms and Complexity for Sets with Cardinality Constraints. Deduction and Applications 2005 - [i8]Bruno Marnette, Viktor Kuncak, Martin C. Rinard:
On Algorithms and Complexity for Sets with Cardinality Constraints. CoRR abs/cs/0508123 (2005) - 2004
- [j15]Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Generalized typestate checking using set interfaces and pluggable analyses. ACM SIGPLAN Notices 39(3): 46-55 (2004) - [c60]Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu:
A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors). ACSAC 2004: 82-90 - [c59]Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard:
Verifying a File System Implementation. ICFEM 2004: 373-390 - [c58]Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, William S. Beebee:
Enhancing Server Availability and Security Through Failure-Oblivious Computing. OSDI 2004: 303-316 - [c57]Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard:
Region inference for an object-oriented language. PLDI 2004: 243-254 - [c56]Viktor Kuncak, Martin C. Rinard:
Generalized Records and Spatial Conjunction in Role Logic. SAS 2004: 361-376 - [c55]Martin C. Rinard, Alexandru Salcianu, Suhabe Bugrara:
A classification system and analysis for aspect-oriented programs. SIGSOFT FSE 2004: 147-158 - [c54]Viktor Kuncak, Martin C. Rinard:
Boolean Algebra of Shape Analysis Constraints. VMCAI 2004: 59-72 - [c53]Konstantine Arkoudas, Martin C. Rinard:
Deductive Runtime Certification. RV@ETAPS 2004: 45-63 - [i7]Viktor Kuncak, Martin C. Rinard:
The First-Order Theory of Sets with Cardinality Constraints is Decidable. CoRR cs.LO/0407045 (2004) - [i6]Viktor Kuncak, Martin C. Rinard:
On the Theory of Structural Subtyping. CoRR cs.LO/0408015 (2004) - [i5]Viktor Kuncak, Martin C. Rinard:
On Spatial Conjunction as Second-Order Logic. CoRR cs.LO/0410073 (2004) - [i4]Viktor Kuncak, Patrick Lam, Martin C. Rinard:
Roles Are Really Great! CoRR cs.PL/0408013 (2004) - [i3]Viktor Kuncak, Martin C. Rinard:
Typestate Checking and Regular Graph Constraints. CoRR cs.PL/0408014 (2004) - [i2]Viktor Kuncak, Martin C. Rinard:
On Role Logic. CoRR cs.PL/0408018 (2004) - [i1]Viktor Kuncak, Martin C. Rinard:
On Generalized Records and Spatial Conjunction in Role Logic. CoRR cs.PL/0408019 (2004) - 2003
- [j14]Radu Rugina, Martin C. Rinard:
Pointer analysis for structured parallel programs. ACM Trans. Program. Lang. Syst. 25(1): 70-116 (2003) - [j13]Martin C. Rinard, Pedro C. Diniz:
Eliminating synchronization bottlenecks using adaptive replication. ACM Trans. Program. Lang. Syst. 25(3): 316-359 (2003) - [c52]Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard:
Integrating Model Checking and Theorem Proving for Relational Reasoning. RelMiCS 2003: 21-33 - [c51]Patrick Lam, Martin C. Rinard:
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. ECOOP 2003: 275-302 - [c50]Jianjun Zhao, Martin C. Rinard:
Pipa: A Behavioral Interface Specification Language for AspectJ. FASE 2003: 150-165 - [c49]Maria-Cristina V. Marinescu, Martin C. Rinard:
A Formal Framework for Modular Synchronous System Design. FME 2003: 482-502 - [c48]Brian Demsky, Martin C. Rinard:
Static Specification Analysis for Termination of Specification-Based Data Structure Repair. ISSRE 2003: 71-84 - [c47]C. Scott Ananian, Martin C. Rinard:
Data size optimizations for java programs. LCTES 2003: 59-68 - [c46]Viktor Kuncak, Martin C. Rinard:
Structural Subtyping of Non-Recursive Types is Decidable. LICS 2003: 96-107 - [c45]Brian Demsky, Martin C. Rinard:
Automatic detection and repair of errors in data structures. OOPSLA 2003: 78-95 - [c44]Martin C. Rinard:
Acceptability-oriented computing. OOPSLA Companion 2003: 221-239 - [c43]Shahrooz Feizabadi, William S. Beebee, Binoy Ravindran, Peng Li, Martin C. Rinard:
Utilitiy Accrual Scheduling with Real-Time Java. OTM Workshops 2003: 550-563 - [c42]Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard:
Ownership types for safe region-based memory management in real-time Java. PLDI 2003: 324-337 - [c41]Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard:
Interprocedural compatibility analysis for static object preallocation. POPL 2003: 273-284 - [c40]Viktor Kuncak, Martin C. Rinard:
Existential Heap Abstraction Entailment Is Undecidable. SAS 2003: 418-438 - [e1]Rudolf Eigenmann, Martin C. Rinard:
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2003, June 11-13, 2003, San Diego, CA, USA. ACM 2003, ISBN 1-58113-588-2 [contents] - 2002
- [j12]Karen Zee, Martin C. Rinard:
Write barrier removal by static analysis. ACM SIGPLAN Notices 37(4): 32-41 (2002) - [c39]Brian Demsky, Martin C. Rinard:
Role-based exploration of object-oriented programs. ICSE 2002: 313-334 - [c38]Karen Zee, Martin C. Rinard:
Write barrier removal by static analysis. OOPSLA 2002: 191-210 - [c37]Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard:
Ownership types for safe programming: preventing data races and deadlocks. OOPSLA 2002: 211-230 - [c36]Viktor Kuncak, Patrick Lam, Martin C. Rinard:
Role analysis. POPL 2002: 17-32 - 2001
- [c35]Maria-Cristina V. Marinescu, Martin C. Rinard:
High-level specification and efficient implementation of pipelined circuits. ASP-DAC 2001: 655-661 - [c34]Radu Rugina, Martin C. Rinard:
Design-Driven Compilation. CC 2001: 150-164 - [c33]William S. Beebee, Martin C. Rinard:
An Implementation of Scoped Memory for Real-Time Java. EMSOFT 2001: 289-305 - [c32]Maria-Cristina V. Marinescu, Martin C. Rinard:
High-level automatic pipelining for sequential circuits. ISSS 2001: 215-220 - [c31]Viktor Kuncak, Patrick Lam, Martin C. Rinard:
A Language for Role Specifications. LCPC 2001: 366-382 - [c30]Chandrasekhar Boyapati, Martin C. Rinard:
A Parameterized Type System for Race-Free Java Programs. OOPSLA 2001: 56-69 - [c29]Frédéric Vivien, Martin C. Rinard:
Incrementalized Pointer and Escape Analysis. PLDI 2001: 35-46 - [c28]Alexandru Salcianu, Martin C. Rinard:
Pointer and escape analysis for multithreaded programs. PPoPP 2001: 12-23 - [c27]Martin C. Rinard:
Analysis of Multithreaded Programs. SAS 2001: 1-19 - 2000
- [c26]Daniel Jackson, Martin C. Rinard:
Software analysis: a roadmap: a roadmap. ICSE - Future of SE Track 2000: 133-145 - [c25]Radu Rugina, Martin C. Rinard:
Recursion Unrolling for Divide and Conquer Programs. LCPC 2000: 34-48 - [c24]Radu Rugina, Martin C. Rinard:
Symbolic bounds analysis of pointers, array indices, and accessed memory regions. PLDI 2000: 182-195 - no results
1990 – 1999
- 1999
- [j11]Pedro C. Diniz, Martin C. Rinard:
Synchronization transformations for parallel computing. Concurr. Pract. Exp. 11(13): 773-802 (1999) - [j10]Pedro C. Diniz, Martin C. Rinard:
Eliminating Synchronization Overhead in Automatically Parallelized Programs Using Dynamic Feedback. ACM Trans. Comput. Syst. 17(2): 89-132 (1999) - [j9]Martin C. Rinard:
Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives. ACM Trans. Comput. Syst. 17(4): 337-371 (1999) - [c23]Jonathan Babb, Martin C. Rinard, Csaba Andras Moritz, Walter Lee, Matthew I. Frank, Rajeev Barua, Saman P. Amarasinghe:
Parallelizing Applications into Silicon. FCCM 1999: 70- - [c22]Martin C. Rinard, Pedro C. Diniz:
Eliminating synchronization bottlenecks in object-based programs using adaptive replication. International Conference on Supercomputing 1999: 83-92 - [c21]Maria-Cristina V. Marinescu, Martin C. Rinard:
A Synthesis Algorithm for Modular Design of Pipelined Circuits. VLSI 1999: 620-635 - [c20]John Whaley, Martin C. Rinard:
Compositional Pointer and Escape Analysis for Java Programs. OOPSLA 1999: 187-206 - [c19]Radu Rugina, Martin C. Rinard:
Pointer Analysis for Multithreaded Programs. PLDI 1999: 77-90 - [c18]Radu Rugina, Martin C. Rinard:
Automatic Parallelization of Divide and Conquer Algorithms. PPoPP 1999: 72-83 - 1998
- [j8]Martin C. Rinard:
Applications experience in Jade. Concurr. Pract. Exp. 10(6): 417-448 (1998) - [j7]Pedro C. Diniz, Martin C. Rinard:
Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs. J. Parallel Distributed Comput. 49(2): 218-244 (1998) - [j6]Martin C. Rinard:
Implicitly synchronized abstract data types: data structures for modular parallel programming. J. Program. Lang. 6(1): 1-35 (1998) - [j5]Martin C. Rinard, Monica S. Lam:
The Design, Implementation, and Evaluation of Jade. ACM Trans. Program. Lang. Syst. 20(3): 483-545 (1998) - 1997
- [j4]Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard:
On the Complexity of Commutativity Analysis. Int. J. Found. Comput. Sci. 8(1): 81-94 (1997) - [j3]Martin C. Rinard:
Locality Optimizations for Parallel Computing Using Data Access Information. Int. J. High Speed Comput. 9(2): 161-179 (1997) - [j2]Martin C. Rinard, Pedro C. Diniz:
Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers. ACM Trans. Program. Lang. Syst. 19(6): 942-991 (1997) - [c17]Pedro C. Diniz, Martin C. Rinard:
Dynamic Feedback: An Effective Technique for Adaptive Computing. PLDI 1997: 71-84 - [c16]Pedro C. Diniz, Martin C. Rinard:
Synchronization Transformations for Parallel Computing. POPL 1997: 187-200 - [c15]Martin C. Rinard:
Effective Fine-Grain Synchronization for Automatically Parallelized Programs Using Optimistic Synchronization Primitives. PPoPP 1997: 112-123 - 1996
- [c14]Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard:
On the Complexity of Commutativity Analysis. COCOON 1996: 323-332 - [c13]Martin C. Rinard, Pedro C. Diniz:
Semantic Foundations of Commutativity Analysis. Euro-Par, Vol. I 1996: 414-423 - [c12]Martin C. Rinard, Pedro C. Diniz:
Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations. IPPS 1996: 14-22 - [c11]Martin C. Rinard:
An Integrated Synchronization and Consistency Protocol for the Implementation of a High-Level Parallel Programming Language. IPPS 1996: 549-553 - [c10]Pedro C. Diniz, Martin C. Rinard:
Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs. LCPC 1996: 285-299 - [c9]Martin C. Rinard, Pedro C. Diniz:
Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers. PLDI 1996: 54-67 - 1995
- [c8]Martin C. Rinard:
Communication Optimizations for Parallel Computing Using Data Access Information. SC 1995: 69 - 1994
- [b1]Martin C. Rinard:
The design, implementation and evaluation of Jade: a portable, implicitly parallel programming language. Stanford University, USA, 1994 - 1993
- [j1]Martin C. Rinard, Daniel J. Scales, Monica S. Lam:
Jade: A High-Level, Machine-Independent Language for Parallel Programming. Computer 26(6): 28-38 (1993) - 1992
- [c7]Martin C. Rinard, Monica S. Lam:
Semantic Foundations of Jade. POPL 1992: 105-118 - [c6]Martin C. Rinard, Daniel J. Scales, Monica S. Lam:
Heterogeneous Parallel Programming in Jade. SC 1992: 245-256 - 1991
- [c5]Daniel J. Scales, Martin C. Rinard, Monica S. Lam, Jennifer-Ann M. Anderson:
Hierarchical Concurrency in Jade. LCPC 1991: 50-64 - [c4]Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden:
Semantic Foundations of Concurrent Constraint Programming. POPL 1991: 333-352 - [c3]Monica S. Lam, Martin C. Rinard:
Coarse-Grain Parallel Programming in Jade. PPoPP 1991: 94-105 - 1990
- [c2]Vijay A. Saraswat, Martin C. Rinard:
Concurrent Constraint Programming. POPL 1990: 232-245 - no results
1980 – 1989
- 1984
- [c1]Alessandro Giacalone, Martin C. Rinard, Thomas W. Doeppner Jr.:
IDEOSY: An Ideographic and Interactive Program Description System. Software Development Environments (SDE) 1984: 15-20 - no results
Coauthor Index
Vikash Mansinghka 0001
aka: Vikash K. Mansinghka
aka: Vikash K. Mansinghka
Stelios Sidiroglou-Douskos
aka: Stelios Sidiroglou
aka: Stelios Sidiroglou
no results
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-25 16:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
