Search Results - (( ((programmes OR programy) OR programy) java ) OR ( programm java ))*

Towards Practical and Automated Type-Based Program Analysis in Java

Authors: Karimipour, Nima

Subject Terms: Computer science, Computer engineering, Java, Large Language Models, Pluggable Type Systems and Inference, Program Analysis, Program Repair, Static Analysis

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/98m4t37q
https://escholarship.org/content/qt98m4t37q/qt98m4t37q.pdf

To Send or to Carry? Gendered Evaluations of Formal and Informal Remittance Practices in Migrant-Origin Villages in Central Java, Indonesia (Final Report)

Authors: Chan, Carol

Subject Terms: Indonesia, Yogyakarta, Cilacap, gender, migrant labor, remittances, cash, physical cash transfer

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/33x5t9fg
https://escholarship.org/content/qt33x5t9fg/qt33x5t9fg.pdf

Improving interpreted execution performance with Java bytecode SuperOperators

Authors: Azevedo, Ana Veidenbaum, Alex Nicolau, Alex

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/1s07c76x
https://escholarship.org/content/qt1s07c76x/qt1s07c76x.pdf

Annotating the Java bytecodes in support of optimization

Authors: Hummel, Joseph Azevedo, Ana Kolson, David et al.

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/1n06p1c8
https://escholarship.org/content/qt1n06p1c8/qt1n06p1c8.pdf

The use of Java in large scientific applications in HPC environments

Authors: Fries, Aidan

Contributors: University/Department: Universitat de Barcelona. Departament d'Astronomia i Meteorologia

Thesis Advisors: aidan.fries@gmail.com, Portell de Mora, Jordi, Sirvent Pardell, Raül, Luri Carrascoso, Xavier

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Java (Llenguatge de programació), Java (Lenguaje de programación), Java (Computer program language), HPC, MPJ, Gaia (Space astronomy mission), Gaia (Misión astronómica espacial), Gaia (Missió astronòmica espacial), Ciències Experimentals i Matemàtiques

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/98405

FlowProf: Profiling Multi-threaded Program Performance using Information-Flow.

Authors: Nahian, Ahamed Al

Subject Terms: Computer science, Computer engineering, Information Flow, Multithreading, Performance, Profiling, Programming Languages

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/37b7w644
https://escholarship.org/content/qt37b7w644/qt37b7w644.pdf

Gleipner: A benchmark for gadget chain detection in Java Deserialization Vulnerabilities

Authors: Kreyssig, Bruno Bartel, Alexandre

Source: Proceedings of the ACM on Software Engineering. 2(FSE001):1-21

Subject Terms: Java, benchmark, deserialization, gadget chain, program analysis, vulnerabilitiy, Computer Science, datalogi

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-249205
https://doi.org/10.1145/3715711

Enabling efficient program analysis for dynamic optimization of a family of safe mobile code formats

Authors: Wang, Ning Dalton, Niall Franz, Michael

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/03t3k43q
https://escholarship.org/content/qt03t3k43q/qt03t3k43q.pdf

Bulk file I/O extensions to Java

Authors: Bonachea, D

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/6x1065gt
https://escholarship.org/content/qt6x1065gt/qt6x1065gt.pdf

Java annotation-aware just-in-time (AJIT) compilation system

Authors: Azevedo, Ana Nicolau, Alex Hummel, Joe

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/6sq1b6b4
https://escholarship.org/content/qt6sq1b6b4/qt6sq1b6b4.pdf

A tree-based alternative to Java byte-codes

Authors: Kistler, Thomas Franz, Michael

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/9gn5r830
https://escholarship.org/content/qt9gn5r830/qt9gn5r830.pdf

Abstractions and Algorithms for Specializing Dynamic Program Analysis and Random Fuzz Testing

Authors: Padhye, Rohan Raju

Subject Terms: Computer science

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/6r94r40b
https://escholarship.org/content/qt6r94r40b/qt6r94r40b.pdf

Experiences of Gen Zs in Movement Competency Training Course: Basis for Contextualizing the Philippine PATH-Fit

Authors: Ruben L. Tagare Daniel B. Saroca Jerrwin C. Aguinaldo et al.

Source: Journal of Education and Learning (EduLearn). 2026 20(1):113-125.

Peer Reviewed: Y

Page Count: 13

Descriptors: Foreign Countries, College Students, Higher Education, Young Adults, Physical Activities, Physical Fitness, Rural Areas, Student Attitudes, Student Experience, Program Evaluation

Geographic Terms: Philippines

Measuring Programming Competence byAssessing Chunk Structures in a Code Transcription Task

Authors: Albehaijan, Noorah Cheng, Peter C-H.

Source: Proceedings of the Annual Meeting of the Cognitive Science Society. 41

Subject Terms: Chunking, program comprehension, competencemeasurement, transcription.

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/0v08f2g9
https://escholarship.org/content/qt0v08f2g9/qt0v08f2g9.pdf

Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages

Authors: Xiang, Jian Chong, Stephen

Source: J. Xiang and S. Chong, "Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages," 2021 IEEE Symposium on Security and Privacy (SP), San Francisco, CA, USA, 2021, pp. 18-35, doi: 10.1109/SP40001.2021.00002.

File Description: application/pdf

Relation: 2021 IEEE Symposium on Security and Privacy (SP)

Access URL: https://nrs.harvard.edu/URN-3:HUL.INSTREPOS:37376795

Abstract Certification of Java Programs in Rewriting Logic

Authors: ALBA CASTRO, MAURICIO FERNANDO

Contributors: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació

Thesis Advisors: Alpuente Frasnedo, María, Escobar Román, Santiago

Source: Riunet

Subject Terms: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS

Access URL: http://hdl.handle.net/10251/13617

Abstract Certification of Java Programs in Rewriting Logic

Contributors: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació

Thesis Advisors: Alpuente Frasnedo, María, Escobar Román, Santiago

Source: Riunet

Subject Terms: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS

Access URL: http://hdl.handle.net/10251/13617

RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair

Authors: Silva, Andre Fang, Sen Monperrus, Martin

Source: IEEE Transactions on Software Engineering. 51(8):2366-2380

Subject Terms: Automated Program Repair, Code Representations, Large Language Models, Parameter-Efficient Fine-Tuning

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-368761
https://doi.org/10.1109/TSE.2025.3581062

Coverage-Based Debloating for Java Bytecode

Authors: Soto Valero, César Durieux, Thomas Harrand, Nicolas et al.

Source: WASP ACM Transactions on Software Engineering and Methodology. 32(2):1-34

Subject Terms: software bloat, code coverage, program specialization, bytecode, software maintenance, Datalogi, Computer Science

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-316426
https://doi.org/10.1145/3546948

Programmieren lernen mit Java

Authors: Hans-Peter Habelitz

Resource Type: eBook.

Subjects: Java (Computer program language)

Categories: COMPUTERS / Languages / JavaScript