A Lossy, Synchronization-Free, Race-Full, But Still Acceptably Accurate Parallel Space-Subdivision Tree Construction Algorithm par Rinard, Martin

Accéder au texte intégral

Credible Compilers par Rinard, Martin C.

Accéder au texte intégral

Survival Techniques for Computer Programs par Rinard, Martin C.

Accéder au texte intégral

Credible Compilation * par Rinard, Martin C.

Accéder au texte intégral

Acceptability-Oriented Computing par Rinard, Martin C.

Accéder au texte intégral

Integrated reasoning and proof choice point selection in the jahob system (Mechanisms for program survival) par Rinard, Martin C.

Accéder au texte intégral
Accéder au texte intégral

Survival strategies for synthesized hardware systems par Rinard, Martin C.

Accéder au texte intégral
Accéder au texte intégral

Probabilistic Accuracy Bounds for Perforated Programs: A New Foundation for Program Analysis and Transformation par Rinard, Martin C.

Accéder au texte intégral
Accéder au texte intégral

Failure-Oblivious Computing and Boundless Memory Blocks par Rinard, Martin C.

Accéder au texte intégral

Filtered Iterators For Safe and Robust Programs in RIFL par Shen, Jiasi, Rinard, Martin

Accéder au texte intégral

An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems par Long, Fan, Rinard, Martin

Accéder au texte intégral

Inference and Regeneration of Programs that Store and Retrieve Data par Rinard, Martin, Shen, Jiasi

Accéder au texte intégral

Inference and Regeneration of Programs that Manipulate Relational Databases par Shen, Jiasi, Rinard, Martin

Accéder au texte intégral

Generating Component-based Supervised Learning Programs From Crowdsourced Examples par Cambronero, Jose, Rinard, Martin

Accéder au texte intégral

Using Active Learning to Synthesize Models of Applications That Access Databases par Shen, Jiasi, Rinard, Martin

Accéder au texte intégral

Using Dynamic Monitoring to Synthesize Models of Applications That Access Databases par Shen, Jiasi, Rinard, MArtin

Accéder au texte intégral

Active Loop Detection for Applications that Access Databases par Shen, Jiasi, Rinard, Martin

Accéder au texte intégral

Time Dilation and Contraction for Programmable Analog Devices with Jaunt par Achour, Sara, Rinard, Martin

Accéder au texte intégral

Active Loop Detection for Applications that Access Databases par Shen, Jiasi, Rinard, Martin

Accéder au texte intégral

Compositional Pointer and Escape Analysis for Multithreaded Java Programs par Rinard, Martin, Whaley, John

Accéder au texte intégral