Остановите войну!
for scientists:
default search action
Martin C. Rinard
- > Home > Persons > Martin C. Rinard
Publications
- 2019
- [j35]Martin C. Rinard:
Technical perspective: Borrowing big code to automate programming activities. Commun. ACM 62(3): 98 (2019) - 2018
- [c156]Martin C. Rinard:
A new approach for software correctness and reliability (keynote). SLE 2018: 1-2 - 2013
- [c125]Martin C. Rinard:
Parallel Synchronization-Free Approximate Data Structure Construction. HotPar 2013 - 2012
- [j26]Martin C. Rinard:
Example-driven program synthesis for end-user programming: technical perspective. Commun. ACM 55(8): 96 (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 - [c110]Martin C. Rinard:
From Runtime Verification to Runtime Intervention and Adaptation. RV 2012: 276 - 2011
- [c105]Martin C. Rinard:
Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation. PEPM 2011: 79-80 - [p1]Martin C. Rinard:
Manipulating Program Functionality to Eliminate Security Vulnerabilities. Moving Target Defense 2011: 109-115 - 2009
- [c95]Martin C. Rinard:
Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival. CADE 2009: 1-16 - [c92]Martin C. Rinard:
Survival strategies for synthesized hardware systems. MEMOCODE 2009: 116-120 - 2008
- [j22]Martin C. Rinard:
Technical perspective - Patching program errors. Commun. ACM 51(12): 86 (2008) - [j20]Martin C. Rinard:
Using programming language concepts to teach general thinking skills. ACM SIGPLAN Notices 43(11): 111-118 (2008) - 2007
- [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 - 2006
- [c78]Martin C. Rinard:
Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. ICS 2006: 324-334 - [c72]Martin C. Rinard:
Automated Techniques for Surviving (Otherwise) Fatal Software Errors. V&D@FLoC 2006: 113-116 - 2003
- [c44]Martin C. Rinard:
Acceptability-oriented computing. OOPSLA Companion 2003: 221-239 - 2001
- [c27]Martin C. Rinard:
Analysis of Multithreaded Programs. SAS 2001: 1-19 - 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) - 1998
- [j8]Martin C. Rinard:
Applications experience in Jade. Concurr. Pract. Exp. 10(6): 417-448 (1998) - [j6]Martin C. Rinard:
Implicitly synchronized abstract data types: data structures for modular parallel programming. J. Program. Lang. 6(1): 1-35 (1998) - 1997
- [j3]Martin C. Rinard:
Locality Optimizations for Parallel Computing Using Data Access Information. Int. J. High Speed Comput. 9(2): 161-179 (1997) - [c15]Martin C. Rinard:
Effective Fine-Grain Synchronization for Automatically Parallelized Programs Using Optimistic Synchronization Primitives. PPoPP 1997: 112-123 - 1996
- [c11]Martin C. Rinard:
An Integrated Synchronization and Consistency Protocol for the Implementation of a High-Level Parallel Programming Language. IPPS 1996: 549-553 - 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
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.
Reference lists
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.
Citation data
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.
OpenAlex data
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 2024-05-08 23:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint