Search results for "Java memory model"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Wolfgang Puffitsch	Data caching, garbage collection, and the Java memory model.	JTRES	2009	DBLP DOI BibTeX RDF	Java memory model, garbage collection, data cache
2	Arnab De, Abhik Roychoudhury, Deepak D'Souza	Java memory model aware software validation.	PASTE	2008	DBLP DOI BibTeX RDF
2	Jaroslav Sevcík, David Aspinall	On Validity of Program Transformations in the Java Memory Model.	ECOOP	2008	DBLP DOI BibTeX RDF
2	Jeremy Manson, William Pugh, Sarita V. Adve	The Java memory model.	POPL	2005	DBLP DOI BibTeX RDF	Java, concurrency, multithreading, memory model
2	Tulika Mitra, Abhik Roychoudhury, Qinghua Shen	Impact of Java Memory Model on Out-of-Order Multiprocessors.	IEEE PACT	2004	DBLP DOI BibTeX RDF
2	Tom Schrijvers	JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR.	ICLP	2004	DBLP DOI BibTeX RDF
1	Huafeng Jin, Tuba Yavuz-Kahveci, Beverly A. Sanders	Java Memory Model-Aware Model Checking.	TACAS	2012	DBLP DOI BibTeX RDF
1	Andreas Lochbihler	Java and the Java Memory Model - A Unified, Machine-Checked Formalisation.	ESOP	2012	DBLP DOI BibTeX RDF
1	Ana Cavalcanti, Andy J. Wellings, Jim Woodcock	The Safety-Critical Java Memory Model: A Formal Account.	FM	2011	DBLP DOI BibTeX RDF
1	Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy	DRFX: a simple and efficient memory model for concurrent programming languages.	PLDI	2010	DBLP DOI BibTeX RDF	memory model exception, soft fences, memory models, data races, sequential consistency
1	Emina Torlak, Mandana Vaziri, Julian Dolby	MemSAT: checking axiomatic specifications of memory models.	PLDI	2010	DBLP DOI BibTeX RDF	sat, bounded model checking, memory models, axiomatic specifications
1	Matko Botincan, Paola Glavan, Davor Runje	Verification of Causality Requirements in Java Memory Model Is Undecidable.	PPAM	2009	DBLP DOI BibTeX RDF
1	Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy	Use of PERC Pico in the AIDA avionics platform.	JTRES	2009	DBLP DOI BibTeX RDF	ARINC 653, DO-178C, SCJT, aeronautic certification, safety-critical real-time systems, Java, RTSJ
1	Wonsun Ahn, Shanxiang Qi, M. Nicolaides, Josep Torrellas, J.-W. Lee, Xing Fang, Samuel P. Midkiff, David Wong	BulkCompiler: high-performance sequential consistency through cooperative compiler and hardware support.	MICRO	2009	DBLP DOI BibTeX RDF	atomic region, chunk-based architecture, compiler optimization, sequential consistency
1	Frédéric Dabrowski, David Pichardie	A Certified Data Race Analysis for a Java-like Language.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	M. Teresa Higuera-Toledano	Making stronger and flexible the single parent rule in the real-time specification of Java.	JTRES	2008	DBLP DOI BibTeX RDF	illegal assignments, reference-counting collection, scoped-regions, single parent rule, real-time Java, write-barriers
1	M. Teresa Higuera-Toledano	Allowing Cycle References by Introducing Controlled Violations of the Assignment Rules in Real-Time Java.	ISORC	2008	DBLP DOI BibTeX RDF	Garbage Collection, Memory Management, Real-Time Java, Memory Regions
1	Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio	The Java Memory Model: Operationally, Denotationally, Axiomatically.	ESOP	2007	DBLP DOI BibTeX RDF
1	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	Goldilocks: a race and transaction-aware java runtime.	PLDI	2007	DBLP DOI BibTeX RDF	Java runtime, software transactions, runtime monitoring, data-race detection
1	Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun	A theory of memory models.	PPOPP	2007	DBLP DOI BibTeX RDF	weak model, memory model, sequential consistency
1	M. Teresa Higuera-Toledano	Towards an Extension of Real-Time Java Supporting Several Multimedia Applications.	AICCSA	2007	DBLP DOI BibTeX RDF
1	David Aspinall, Jaroslav Sevcík	Formalising Java's Data Race Free Guarantee.	TPHOLs	2007	DBLP DOI BibTeX RDF
1	Sergey Polyakov, Assaf Schuster	Verification of the Java Causality Requirements.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF	Java, Verification, Complexity, Concurrency, Shared Memory, Multithreading, Memory Model
1	Vijay A. Saraswat	Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Vladimir Klebanov	A JMM-Faithful Non-interference Calculus for Java.	FIDJI	2004	DBLP DOI BibTeX RDF
1	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom	Memory-Model-Sensitive Data Race Analysis.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Varsha Awhad, Charles Wallace	A Unified Formal Specification and Analysis of the New Java Memory Models.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
1	Anders Nilsson, Torbjörn Ekman, Klas Nilsson	Real Java for real time - gain and pain.	CASES	2002	DBLP DOI BibTeX RDF	rtj, embedded systems, real-time Java
1	Abhik Roychoudhury, Tulika Mitra	Specifying multithreaded Java semantics for program verification.	ICSE	2002	DBLP DOI BibTeX RDF	Java, JavaScript
1	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom	Specifying Java thread semantics using a uniform memory model.	Java Grande	2002	DBLP DOI BibTeX RDF	Java, verification, compilation, threads, memory models
1	Chi-Leung Wong, Zehra Sura, David A. Padua, Xing Fang, Jaejin Lee, Samuel P. Midkiff	The Pensieve Project: A Compiler Infrastructure for Memory Models. (PDF / PS)	ISPAN	2002	DBLP DOI BibTeX RDF
1	Vitaly V. Mikheev, Stanislav A. Fedoseev, Vladimir V. Sukharev, Nikita V. Lipsky	Effective Enhancement of Loop Versioning in Java.	CC	2002	DBLP DOI BibTeX RDF	ahead-of-time compilation, Java, performance, loop optimizations
1	Pietro Cenciarelli	Configuration Theories.	CSL	2002	DBLP DOI BibTeX RDF	configuration structures, Java, semantics, concurrency, sequent calculus
1	Abhik Roychoudhury	Formal Reasoning about Hardware and Software Memory Models.	ICFEM	2002	DBLP DOI BibTeX RDF
1	Vitaly V. Mikheev, Stanislav A. Fedoseev	Compiler-Cooperative Memory Management in Java.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF	Java, performance, garbage collection, escape analysis, finalization
1	William Pugh	The Java memory model is fatally flawed.	Concurrency - Practice and Experience	2000	DBLP DOI BibTeX RDF
1	Jan-Willem Maessen, Arvind, Xiaowei Shen	Improving the Java memory model using CRF.	OOPSLA	2000	DBLP DOI BibTeX RDF	commit/reconcile/fence, Java, Java, compilation, memory models
1	David F. Bacon, Robert E. Strom, Ashis Tarafdar	Guava: a dialect of Java without data races.	OOPSLA	2000	DBLP DOI BibTeX RDF	thread safety, Java, Java, concurrency, monitors, multiprocessors, programming languages, data races
1	Alex Gontmakher, Assaf Schuster	Java consistency: nonoperational characterizations for Java memory behavior.	ACM Trans. Comput. Syst.	2000	DBLP DOI BibTeX RDF	Java memory models, nonoperational specification, multithreading
1	William Pugh	Fixing the Java Memory Model.	Java Grande	1999	DBLP DOI BibTeX RDF
1	Mark MacBeth, Keith McGuigan, Philip J. Hatcher	Executing Java threads in parallel in a distributed-memory environment.	CASCON	1998	DBLP DOI BibTeX RDF	Java, C