Search Results - "Java memory model"

Data caching, garbage collection, and the Java memory model

Authors: Puffitsch W.

Source: ACM International Conference Proceeding Series

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://dl.acm.org/citation.cfm?id=1620419
https://dblp.uni-trier.de/db/conf/jtres/jtres2009.html#Puffitsch09
https://dl.acm.org/doi/10.1145/1620405.1620419

Distributed Algorithms: A Case Study of the Java Memory Model

Authors: Glavan, Paola Botinčan, Matko

Subject Terms: Abstract state machines, Distributed algorithms, Java memory model

Access URL: http://ikt.hia.no/asm07/

Distributed Algorithms: A Case Study of the Java Memory Model

Authors: Botinčan, Matko Glavan, Paola Runje, Davor et al.

Contributors: Botinčan, Matko Glavan, Paola Runje, Davor et al.

Subject Terms: Java memory model, Distributed algorithms, Abstract state machines

Access URL: https://www.bib.irb.hr/322235

Verification of Causality Requirements in Java Memory Model Is Undecidable

Authors: Davor Runje Paola Glavan Matko Botinčan

Source: Lecture Notes in Computer Science ISBN: 9783642144028

Subject Terms: Java memory model, multithreading, verifcation

Access URL: http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf
https://www.bib.irb.hr/456978
https://rd.springer.com/chapter/10.1007/978-3-642-14403-5_7
https://link.springer.com/chapter/10.1007/978-3-642-14403-5_7
https://core.ac.uk/display/34008208
https://dblp.uni-trier.de/db/conf/ppam/ppam2009-2.html#BotincanGR09

Verication of Causality Requirements in Java Memory Model is Undecidable

Authors: Glavan, Paola Botinčan, Matko

Subject Terms: Java memory model, verifcation, multithreading

JDMM: a java memory model for non-cache-coherent memory architectures

Authors: Foivos S. Zakkak Polyvios Pratikakis

Source: Proceedings of the 2014 international symposium on Memory management. :83-92

Subject Terms: 2. Zero hunger, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://dblp.uni-trier.de/db/conf/iwmm/ismm2014.html#ZakkakP14
https://dl.acm.org/doi/10.1145/2602988.2602999
https://dl.acm.org/citation.cfm?doid=2602988.2602999

Making the java memory model safe

Authors: Lochbihler, Andreas

Source: ACM Transactions on Programming Languages and Systems. 35:1-65

Subject Terms: ddc:004, DATA processing & computer science, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: https://dialnet.unirioja.es/servlet/articulo?codigo=5873565
https://dl.acm.org/doi/10.1145/2518191
https://dblp.uni-trier.de/db/journals/toplas/toplas35.html#Lochbihler13
https://pp.info.uni-karlsruhe.de/uploads/publikationen/lochbihler14toplas.pdf
http://pp.info.uni-karlsruhe.de/uploads/publikationen/lochbihler14toplas.pdf
https://publikationen.bibliothek.kit.edu/1000120859

Verification for Multithreaded Java Code using Java Memory Model

Authors: Min Lee Gi Hwon Kwon

Source: The KIPS Transactions:PartD. :99-106

Access URL: http://society.kisti.re.kr/sv/SV_svpsbs03V.do?method=download&cn1=JAKO200807341730193
https://www.kci.go.kr/kciportal/ci/sereArticleSearch/ciSereArtiView.kci?sereArticleSearchBean.artiId=ART001247550
http://ktccs.kips.or.kr/digital-library/15043
http://www.koreascience.or.kr/article/ArticleFullRecord.jsp?cn=JBCRGX_2008_v15Dn1_99

Analyzing the CRF Java memory model

Authors: Yue Yang Gary Lindstrom Ganesh Gopalakrishnan

Source: Proceedings Eighth Asia-Pacific Software Engineering Conference. :21-28

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://ieeexplore.ieee.org/document/991455/

Java memory model aware software validation

Authors: Abhik Roychoudhury Arnab De Deepak D'Souza

Source: Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering. :8-14

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: http://www.comp.nus.edu.sg/~abhik/pdf/paste08.pdf
http://www.comp.nus.edu.sg/~abhik/pdf/paste08.pdf
http://eprints.iisc.ac.in/40711/
https://dblp.uni-trier.de/db/conf/paste/paste2008.html#DeRD08
https://dl.acm.org/doi/10.1145/1512475.1512478
http://dblp.uni-trier.de/db/conf/paste/paste2008.html#DeRD08
https://core.ac.uk/display/148490206

The Safety-Critical Java memory model formalised

Authors: Ana Cavalcanti Andy Wellings Jim Woodcock

Source: Formal Aspects of Computing. 25:37-57

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Das Java Memory Model : Überblick und Ausblick auf Java 9

Authors: Vadym Kazulkin Rodion Alukhanov

Resource Type: eBook.

Categories: COMPUTERS / Languages / Java

The Java memory model

Authors: Sarita V. Adve Jeremy Manson William Pugh

Source: ACM SIGPLAN Notices. 40:378-391

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://www.cs.tufts.edu/~sguyer/classes/comp150-2006/papers/pugh05javamemory.pdf
https://dl.acm.org/doi/10.1145/1047659.1040336
https://drum.lib.umd.edu/bitstream/1903/1949/1/umi-umd-1898.pdf
https://dblp.uni-trier.de/db/conf/popl/popl2005.html#MansonPA05
https://cseweb.ucsd.edu/classes/fa05/cse231/Fish.pdf
https://drum.lib.umd.edu/handle/1903/1949

Impact of java memory model on out-of-order multiprocessors

Authors: Tulika Mitra Qinghua Shen Abhik Roychoudhury

Source: Proceedings. 13th International Conference on Parallel Architecture and Compilation Techniques, 2004. PACT 2004.. :99-110

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://www.comp.nus.edu.sg/~abhik/pdf/pact04.pdf
https://dblp.uni-trier.de/db/conf/IEEEpact/IEEEpact2004.html#MitraRS04
https://www.computer.org/csdl/proceedings-article/pact/2004/22290099/12OmNzDeheU
http://www.comp.nus.edu.sg/~tulika/pact04.pdf
https://dl.acm.org/doi/10.5555/1025127.1026000
https://www.comp.nus.edu.sg/~tulika/pact04.pdf

The Java memory model is fatally flawed

Authors: William Pugh

Source: Concurrency: Practice and Experience. 12:445-455

Access URL: http://www.cs.umd.edu/~pugh/papers/jmm2.pdf
http://onlinelibrary.wiley.com/doi/10.1002/1096-9128(200005)12:6%3C445::AID-CPE484%3E3.0.CO;2-A/full
https://dblp.uni-trier.de/db/journals/concurrency/concurrency12.html#Pugh00
http://dblp.uni-trier.de/db/journals/concurrency/concurrency12.html#Pugh00

Fixing the Java memory model

Authors: William Pugh

Source: Proceedings of the ACM 1999 conference on Java Grande. :89-98

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://www.cs.uoregon.edu/classes/06W/cis607atom/readings/manson-pugh-adve-popl05.pdf
https://dblp.uni-trier.de/db/conf/java/java1999.html#Pugh99
http://www.staff.city.ac.uk/~kloukin/IN2P3/material/jmm.pdf
http://dblp.uni-trier.de/db/conf/java/java1999.html#Pugh99
http://people.cs.vt.edu/~ryder/oosem99/talks/jmm.pdf
https://core.ac.uk/display/23703807
http://www.cburch.com/cs/330/assn/07/pugh-fixing-jmm.pdf

Improving the Java memory model using CRF

Authors: Jan-Willem Maessen Xiaowei Shen

Source: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. :1-12

Subject Terms: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

Access URL: https://dblp.uni-trier.de/db/conf/oopsla/oopsla2000.html#MaessenAS00
https://dl.acm.org/doi/10.1145/354222.353172
https://core.ac.uk/display/22616193
http://csg.csail.mit.edu/pubs/memos/Memo-428/memo-428.pdf

On Validity of Program Transformations in the Java Memory Model

Authors: Jaroslav Ševčík David Aspinall

Source: Lecture Notes in Computer Science ISBN: 9783540705918

Access URL: https://dblp.uni-trier.de/db/conf/ecoop/ecoop2008.html#SevcikA08
https://link.springer.com/content/pdf/10.1007%2F978-3-540-70592-5_3.pdf
http://www.research.ed.ac.uk/portal/en/publications/on-validity-of-program-transformations-in-the-java-memory-model(fe1ea2fa-1a7e-4e0f-97c4-aa0c4e639683)/export.html
https://rd.springer.com/chapter/10.1007/978-3-540-70592-5_3
https://doi.org/10.1007/978-3-540-70592-5_3
https://www.research.ed.ac.uk/portal/en/publications/on-validity-of-program-transformations-in-the-java-memory-model(fe1ea2fa-1a7e-4e0f-97c4-aa0c4e639683).html

Java and the Java Memory Model — A Unified, Machine-Checked Formalisation

Authors: Lochbihler, Andreas

Source: Lecture Notes in Computer Science ISBN: 9783642288685

Subject Terms: ddc:004, 4. Education, DATA processing & computer science, 16. Peace & justice

Access URL: https://link.springer.com/content/pdf/10.1007%2F978-3-642-28869-2_25.pdf
https://link.springer.com/content/pdf/10.1007%2F978-3-642-28869-2_25.pdf
https://dblp.uni-trier.de/db/conf/esop/esop2012.html#Lochbihler12
https://rd.springer.com/chapter/10.1007/978-3-642-28869-2_25
https://publikationen.bibliothek.kit.edu/1000120863
https://link.springer.com/chapter/10.1007/978-3-642-28869-2_25

Java Memory Model-Aware Model Checking

Authors: Beverly A. Sanders Huafeng Jin Tuba Yavuz-Kahveci

Source: Lecture Notes in Computer Science ISBN: 9783642287558

Access URL: https://link.springer.com/content/pdf/10.1007%2F978-3-642-28756-5_16.pdf
https://link.springer.com/content/pdf/10.1007%2F978-3-642-28756-5_16.pdf
https://ufdcimages.uflib.ufl.edu/UF/E0/04/41/00/00001/JIN_H.pdf
https://rd.springer.com/chapter/10.1007%2F978-3-642-28756-5_16
https://link.springer.com/chapter/10.1007%2F978-3-642-28756-5_16
https://doi.org/10.1007/978-3-642-28756-5_16
https://dblp.uni-trier.de/db/conf/tacas/tacas2012.html#JinYS12