martin rinard
martin rinard
Verified email at lcs.mit.edu - Homepage
TitleCited byYear
Concurrent constraint programming
VA Saraswat, M Rinard
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
11001989
Ownership types for safe programming: Preventing data races and deadlocks
C Boyapati, R Lee, M Rinard
ACM Sigplan Notices 37 (11), 211-230, 2002
6812002
Semantic Foundations of Concurrent Constraint Programming.
VA Saraswat, M Rinard, P Panangaden
POPL 91 (18), 333-352, 1991
5791991
Compositional pointer and escape analysis for Java programs
J Whaley, M Rinard
ACM Sigplan Notices 34 (10), 187-206, 1999
5041999
Managing performance vs. accuracy trade-offs with loop perforation
S Sidiroglou-Douskos, S Misailovic, H Hoffmann, M Rinard
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
4352011
Enhancing Server Availability and Security Through Failure-Oblivious Computing.
MC Rinard, C Cadar, D Dumitran, DM Roy, T Leu, WS Beebee
OSDI 4, 21-21, 2004
4072004
Automatically patching errors in deployed software
JH Perkins, S Kim, S Larsen, S Amarasinghe, J Bachrach, M Carbin, ...
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
3862009
A parameterized type system for race-free Java programs
C Boyapati, M Rinard
ACM SIGPLAN Notices 36 (11), 56-69, 2001
3422001
Dynamic knobs for responsive power-aware computing
H Hoffmann, S Sidiroglou, M Carbin, S Misailovic, A Agarwal, M Rinard
ACM SIGARCH Computer Architecture News 39 (1), 199-212, 2011
3302011
Information flow analysis of android applications in droidsafe.
MI Gordon, D Kim, JH Perkins, L Gilham, N Nguyen, MC Rinard
NDSS 15 (201), 110, 2015
3112015
Automatic patch generation by learning correct code
F Long, M Rinard
ACM SIGPLAN Notices 51 (1), 298-312, 2016
2902016
Taint-based directed whitebox fuzzing
V Ganesh, T Leek, M Rinard
Proceedings of the 31st International Conference on Software Engineering …, 2009
2832009
Automatic detection and repair of errors in data structures
B Demsky, M Rinard
Acm sigplan notices 38 (11), 78-95, 2003
2722003
Verifying quantitative reliability for programs that execute on unreliable hardware
M Carbin, S Misailovic, MC Rinard
ACM SIGPLAN Notices 48 (10), 33-52, 2013
2382013
Purity and side effect analysis for Java programs
A Sălcianu, M Rinard
International Workshop on Verification, Model Checking, and Abstract …, 2005
2322005
Quality of service profiling
S Misailovic, S Sidiroglou, H Hoffmann, M Rinard
2010 ACM/IEEE 32nd International Conference on Software Engineering 1, 25-34, 2010
2302010
Symbolic bounds analysis of pointers, array indices, and accessed memory regions
R Rugina, M Rinard
ACM Sigplan Notices 35 (5), 182-195, 2000
2302000
Full functional verification of linked data structures
K Zee, V Kuncak, M Rinard
ACM SIGPLAN Notices 43 (6), 349-361, 2008
2252008
Staged program repair with condition synthesis
F Long, M Rinard
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
2222015
Jade: A high-level, machine-independent language for parallel programming
MC Rinard, DJ Scales, MS Lam
Computer, 28-38, 1993
2201993
The system can't perform the operation now. Try again later.
Articles 1–20