Search Results - Java memory model

Plan B: a buffered memory model for Java

Authors: Demange, Delphine Laporte, Vincent Zhao, Lei et al.

Contributors: Demange, Delphine Laporte, Vincent Zhao, Lei et al.

Source: ACM SIGPLAN Notices. 48:329-342

Subject Terms: [SCCO.COMP] Cognitive science/Computer science, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://inria.hal.science/hal-00924716v1
https://dl.acm.org/doi/10.1145/2429069.2429110
https://dblp.uni-trier.de/db/conf/popl/popl2013.html#DemangeLZJPV13
http://www.cs.purdue.edu/homes/suresh/papers/popl13.pdf
https://doi.org/10.1145/2429069.2429110
https://hal.inria.fr/hal-00924716

Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization

Authors: Michael D. Bond Aritra Sengupta Man Cao et al.

Source: Proceedings of the Principles and Practices of Programming on The Java Platform. :65-75

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

Access URL: http://web.cse.ohio-state.edu/%7Emikebond/hybrid-EnfoRSer-pppj-2015.pdf
https://dl.acm.org/doi/10.1145/2807426.2807432
https://dblp.uni-trier.de/db/conf/pppj/pppj2015.html#SenguptaCBK15
http://web.cse.ohio-state.edu/~mikebond/hybrid-EnfoRSer-pppj-2015.pdf

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

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Authors: Lochbihler, Andreas

Subject Terms: formal semantics, concurrency, QA75.5-76.95, bic Book Industry Communication::U Computing & information technology::UY Computer science, memory model, Java, type safety

File Description: image/jpeg

Access URL: https://www.ksp.kit.edu/9783866448858
https://directory.doabooks.org/handle/20.500.12854/52521

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

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

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/

SmartGC: online memory management prediction for PaaS Cloud Models

Authors: Simão, José Esteves, Sérgio Veiga, Luís et al.

Contributors: Simão, José Esteves, Sérgio Veiga, Luís et al.

Subject Terms: Garbage collection, Machine learning, Shared execution environment, Java Virtual Machine

File Description: application/pdf

Relation: 978-3-319-69461-0; 978-3-319-69462-7

Availability: http://hdl.handle.net/10400.21/8104

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

Authors: Vadym Kazulkin Rodion Alukhanov

Resource Type: eBook.

Categories: COMPUTERS / Languages / Java

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

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

JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR

Authors: Schrijvers, Tom Demoen, B. Lifschitz, V.

Contributors: Schrijvers, Tom Demoen, B. Lifschitz, V.

Source: Lecture Notes in Computer Science ISBN: 9783540226710

Subject Terms: Technology, Science & Technology, Constraint Handling Rules, 4. Education, 1. No poverty, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy, Computer Science, Theory & Methods, Prolog, Computer Science, 0202 electrical engineering, electronic engineering, information engineering, memory model, Java

Access URL: https://link.springer.com/chapter/10.1007/978-3-540-27775-0_45
https://lirias.kuleuven.be/bitstream/123456789/124853/1/paper.pdf
https://dblp.uni-trier.de/db/conf/iclp/iclp2004.html#Schrijvers04
https://rd.springer.com/chapter/10.1007/978-3-540-27775-0_45
https://core.ac.uk/display/34329580

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

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

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

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/

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

Specifying Java thread semantics using a uniform memory model

Authors: Gary Lindstrom Ganesh Gopalakrishnan Yue Yang

Source: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande. :192-201

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

Access URL: http://www.cs.utah.edu/formal_verification/yyang/papers/umm0.pdf
https://dl.acm.org/doi/10.1145/583810.583832
https://core.ac.uk/display/20952693
https://dblp.uni-trier.de/db/conf/java/java2002.html#YangGL02