Acceptability-oriented computing : OOPSLA Onward! TrackRINARD, Martin.ACM SIGPLAN notices. 2003, Vol 38, Num 12, pp 57-75, issn 1523-2867, 19 p.Article

Write barrier removal by static analysisZEE, Karen; RINARD, Martin.ACM SIGPLAN notices. 2002, Vol 37, Num 4, pp 32-41, issn 1523-2867Article

Using Programming Language Concepts to Teach General Thinking SkillsRINARD, Martin.ACM SIGPLAN notices. 2008, Vol 43, Num 11, pp 111-118, issn 1523-2867, 8 p.Conference Paper

Generalized lypestate checking for data structure consistencyLAM, Patrick; KUNCAK, Viktor; RINARD, Martin et al.Lecture notes in computer science. 2005, pp 430-447, issn 0302-9743, isbn 3-540-24297-X, 18 p.Conference Paper

Purity and side effect analysis for Java ProgramsSALCIANU, Alexandru; RINARD, Martin.Lecture notes in computer science. 2005, pp 199-215, issn 0302-9743, isbn 3-540-24297-X, 17 p.Conference Paper

Generalized typestate checking using set interfaces and pluggable analysesLAM, Patrick; KUNCAK, Viktor; RINARD, Martin et al.ACM SIGPLAN notices. 2004, Vol 39, Num 3, pp 46-55, issn 1523-2867, 10 p.Article

Boolean algebra of shape analysis constraintsKUNCAK, Viktor; RINARD, Martin.Lecture notes in computer science. 2004, pp 59-72, issn 0302-9743, isbn 3-540-20803-8, 14 p.Conference Paper

Interprocedural compatibility analysis for static object preallocationGHEORGHIOIU, Ovidiu; SALCIANU, Alexandru; RINARD, Martin et al.ACM SIGPLAN notices. 2003, Vol 38, Num 1, pp 273-284, issn 1523-2867, 12 p.Conference Paper

Role-based exploration of object-oriented programsDEMSKY, Brian; RINARD, Martin.Proceedings - International Conference on Software Engineering. 2002, pp 313-324, issn 0270-5257, isbn 1-58113-472-X, 12 p.Conference Paper

A type system and analysis for the automatic extraction and enforcement of design informationLAM, Patrick; RINARD, Martin.Lecture notes in computer science. 2003, pp 275-302, issn 0302-9743, isbn 3-540-40531-3, 28 p.Conference Paper

Pointer and escape analysis for multithreaded programsSALCIANU, Alexandru; RINARD, Martin.ACM SIGPLAN notices. 2001, Vol 36, Num 7, pp 12-23, issn 1523-2867Conference Paper

A parameterized type system for race-free Java programsBOYAPATI, Chandrasekhar; RINARD, Martin.ACM SIGPLAN notices. 2001, Vol 36, Num 11, pp 56-69, issn 1523-2867Conference Paper

An algorithm for deciding BAPA : Boolean algebra with presburger arithmeticKUNCAK, Viktor; NGUYEN, Huu Hai; RINARD, Martin et al.Lecture notes in computer science. 2005, pp 260-277, issn 0302-9743, isbn 3-540-28005-7, 18 p.Conference Paper

A language for role specificationsKUNCAK, Viktor; LAM, Patrick; RINARD, Martin et al.Lecture notes in computer science. 2003, pp 366-382, issn 0302-9743, isbn 3-540-04029-3, 17 p.Conference Paper

An Introduction to Data Representation SynthesisHAWKINS, Peter; RINARD, Martin; AIKEN, Alex et al.Communications of the ACM. 2012, Vol 55, Num 12, pp 91-99, issn 0001-0782, 9 p.Article

Data size optimizations for java programsANANIAN, C. Scott; RINARD, Martin.ACM SIGPLAN notices. 2003, Vol 38, Num 7, pp 59-68, issn 1523-2867, 10 p.Conference Paper

Ownership types for safe programming: Preventing data races and deadlocksBOYAPATI, Chandrasekhar; LEE, Robert; RINARD, Martin et al.ACM SIGPLAN notices. 2002, Vol 37, Num 11, pp 211-230, issn 1523-2867, 20 p.Conference Paper

Histogram-Based Global Load Balancing in Structured Peer-to-Peer SystemsQUANG HIEU VU; BENG CHIN OOI; RINARD, Martin et al.IEEE transactions on knowledge and data engineering. 2009, Vol 21, Num 4, pp 595-608, issn 1041-4347, 14 p.Article

Full Functional Verification of Linked Data StructuresZEE, Karen; KUNCAK, Viktor; RINARD, Martin C et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 349-361, issn 1523-2867, 13 p.Conference Paper

Integrating model checking and theorem proving for relational reasoningARKOUDAS, Konstantine; KHURSHID, Sarfraz; MARINOV, Darko et al.Lecture notes in computer science. 2004, pp 21-33, issn 0302-9743, isbn 3-540-22145-X, 13 p.Conference Paper

Living In The Comfort ZoneRINARD, Martin.ACM SIGPLAN notices. 2007, Vol 42, Num 10, pp 611-621, issn 1523-2867, 11 p.Conference Paper

Optimizations for compiling declarative models into boolean formulasMARINOV, Darko; KHURSHID, Sarfraz; BUGRARA, Suhabe et al.Lecture notes in computer science. 2005, pp 187-202, issn 0302-9743, isbn 3-540-26276-8, 16 p.Conference Paper

Data Representation SynthesisHAWKINS, Peter; AIKEN, Alex; FISHER, Kathleen et al.ACM SIGPLAN notices. 2011, Vol 46, Num 6, pp 38-49, issn 1523-2867, 12 p.Conference Paper

Memory usage verification for OO programsCHIN, Wei-Ngan; HUU HAI NGUYEN; SHENGCHAO QIN et al.Lecture notes in computer science. 2005, pp 70-86, issn 0302-9743, isbn 3-540-28584-9, 17 p.Conference Paper

A formal framework for modular synchronous system designMARINESCU, Maria-Cristina V; RINARD, Martin C.Lecture notes in computer science. 2003, pp 482-502, issn 0302-9743, isbn 3-540-40828-2, 21 p.Conference Paper