Search Results - (java OR jana) program analysis

Dynamic and Static Code Analysis for Java Programs on Heterogeneous Hardware

Authors: Stratikopoulos, Athanasios Zuo, Tianyu Harbalioglu, Umut Sarp et al.

Source: Stratikopoulos, A, Zuo, T, Harbalioglu, U S, Fumero Alfonso, J, Papadimitriou, M, Papadakis, O, Xekalaki, M & Kotselidis, C-E 2025, 'Dynamic and Static Code Analysis for Java Programs on Heterogeneous Hardware', Paper presented at 22nd ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Singapore, 12/10/25-18/10/25. < https://conf.researchr.org/details/icfp-splash-2025/mplr-2025-papers/2/Dynamic-and-Static-Code-Analysis-for-Java-Programs-on-Heterogeneous-Hardware >

Subject Terms: Program Analysis, Heterogeneous Hardware, Tool, Java

Access URL: https://research.manchester.ac.uk/en/publications/5ba6e333-62ab-4eec-874a-5ecf7fe717d1
https://research.manchester.ac.uk/en/publications/5ba6e333-62ab-4eec-874a-5ecf7fe717d1
https://conf.researchr.org/details/icfp-splash-2025/mplr-2025-papers/2/Dynamic-and-Static-Code-Analysis-for-Java-Programs-on-Heterogeneous-Hardware

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

Static Analysis for Data-race detection in Java

Authors: Ferreira, Jorge Lopes Paulino, Hervé Ravara, António et al.

Contributors: Ferreira, Jorge Lopes Paulino, Hervé Ravara, António et al.

Subject Terms: program analysis, points-to analysis, static analysis, data race, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

File Description: application/pdf

Availability: http://hdl.handle.net/10362/176239

The role of race and ethnicity in the State Children's Health Insurance Program (SCHIP) in four states: are there baseline disparities, and what do they mean for SCHIP?

Authors: Shone, Laura P Dick, Andrew W Brach, Cindy et al.

Source: Shone, Laura P and Dick, Andrew W and Brach, Cindy and Kimminau, Kim S and LaClair, Barbara J and Shenkman, Elizabeth A and Col, Jana F and Schaffer, Virginia A and Mulvihill, Frank and Szilagyi, Peter G and Klein, Jonathan D and VanLandeghem, Karen and Bronstein, Janet (2003) The role of race and ethnicity in the State Children's Health Insurance Program (SCHIP) in four states: are there baseline disparities, and what do they mean for SCHIP? Pediatrics, 112 (6 Pt 2). e521-e532. ISSN 1098-4275

Relation: http://pediatrics.aappublications.org/content/112/Supplement_E1/e521.abstract; http://health-equity.pitt.edu/2601/

JShellDetector: A Java Fileless Webshell Detector Based on Program Analysis

Authors: Xuyan Song Yiting Qin Xinyao Liu et al.

Source: Computers, Materials & Continua. 75:2061-2078

An application layer with protocol-based java smart contract verification

Authors: Olivieri, Luca Spoto, Fausto Tagliaferro, Fabio

Source: Frontiers in Computer Science. 7

Subject Terms: smart contract, software verification, program analysis, blockchain, distributed ledger technology, Tendermint, Ignite, Mokamint

File Description: application/pdf

Access URL: https://hdl.handle.net/10278/5102267
https://doi.org/10.3389/fcomp.2025.1596804

Partial program analysis for staged compilation systems.

Authors: Anand, Aditya Thakur, Manas

Source: Formal Methods in System Design; Apr2025, Vol. 65 Issue 1, p195-230, 36p

Subject Terms: COST analysis, EVALUATORS, TRANSLATORS, COMPILERS (Computer programs), LIBRARIES

IntraJ: an on-demand framework for intraprocedural Java code analysis

Authors: Riouak, Idriss Fors, Niklas Hedin, Görel et al.

Source: International Journal on Software Tools for Technology Transfer; (2025)

Subject Terms: Bug detection, Static Program Analysis, Computer Sciences, Control flow analysis, Reference Attribute Grammars, Interactive bug detection and fixing, Dataflow Analysis

File Description: application/pdf

Access URL: https://lup.lub.lu.se/record/823ca334-4a4c-4795-966c-e84449c80757

Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization

Authors: Anders Møller Oskar Haarklou Veileborg

Source: Møller, A & Veileborg, O H 2020, 'Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization', Proceedings of the ACM on Programming Languages, vol. 4, no. OOPSLA, 168. https://doi.org/10.1145/3428236
Proceedings of the ACM on Programming Languages

Subject Terms: program optimization, static program analysis, 0202 electrical engineering, electronic engineering, information engineering, Java 8, 02 engineering and technology

File Description: application/pdf

Access URL: https://dl.acm.org/doi/pdf/10.1145/3428236
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#MollerV20
https://dl.acm.org/doi/10.1145/3428236
https://dl.acm.org/doi/pdf/10.1145/3428236
https://pure.au.dk/portal/en/publications/fff150b1-aaf9-49b5-9600-300a4c50e1a8
https://pure.au.dk/portal/en/publications/fff150b1-aaf9-49b5-9600-300a4c50e1a8
https://doi.org/10.1145/3428236
https://pure.au.dk/ws/files/202402561/3428236.pdf

Whole program analysis of Java programs for virtual calls and exception handling

Authors: Simrandeep Nagra

Access URL: https://rshare.library.ryerson.ca/articles/thesis/Whole_program_analysis_of_Java_programs_for_virtual_calls_and_exception_handling_/14663895/files/28149795.pdf

Property probes: Live exploration of program analysis results

Authors: Alakula, Anton Risberg Hedin, Gorel Fors, Niklas et al.

Source: Journal of Systems and Software. 211

Subject Terms: Program analysis, Debugging, Property probes, CodeProber

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-202469
https://liu.diva-portal.org/smash/get/diva2:1851573/FULLTEXT01.pdf

Static Program Analysis Guided LLM Based Unit Test Generation

Authors: Sujoy Roy Chowdhury Giriprasad Sridhara A K Raghavan et al.

Source: Proceedings of the 8th International Conference on Data Science and Management of Data (12th ACM IKDD CODS and 30th COMAD). :279-283

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2503.05394

Building an Operable Graph Representation of a Java Program as a basis for automatic software maintainability analysis

Authors: Bertrand, Sébastien Favier, Pierre-­‐alexandre André, Jean-Marc et al.

Contributors: Bertrand, Sébastien Favier, Pierre-­‐alexandre André, Jean-Marc et al.

Source: 20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle
https://hal.science/hal-03765430
20èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, Jun 2022, Saint-Etienne, France
https://ci.mines-stetienne.fr/pfia2022/conferences/rjcia/

Subject Terms: Software Maintainability, Program Analysis, Program Graphs, Maintenabilité logicielle, Analyse de programme, Graphe de programme, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Subject Geographic: Saint-Etienne, France

Relation: hal-03765430; https://hal.science/hal-03765430; https://hal.science/hal-03765430/document; https://hal.science/hal-03765430/file/RJCIA22_paper12.pdf

Availability: https://hal.science/hal-03765430
https://hal.science/hal-03765430/document
https://hal.science/hal-03765430/file/RJCIA22_paper12.pdf

Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences

Authors: Tianchi Li Xin Zhang

Source: Proceedings of the ACM on Programming Languages. 9:1774-1801

Program Analysis of the School Literacy Movement in Central Java Elementary Schools

Authors: Arief Arffianto Muhammad Abduh Muhamad Taufik Hidayat

Source: Proceedings of the 7th Progressive and Fun Education International Conference (PROFUNEDU 2022) ISBN: 9782494069701

A Survey of Program Analysis for Distributed Software Systems.

Authors: Cai, Haipeng

Source: ACM Computing Surveys; Dec2025, Vol. 57 Issue 12, p1-45, 45p

Dynamic Java program analysis using virtual machine modification

Authors: M. . Ermakov S. . Vartanov

Source: Труды Института системного программирования РАН, Vol 27, Iss 2, Pp 23-38 (2018)

Subject Terms: динамический анализ программ, профилирование памяти, java, android, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/1088; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Access URL: https://doaj.org/article/ba9f65f005904093bf8ea271e78ffa09

Design of a toolset for dynamic analysis of concurrent Java programs

Authors: BECHINI, ALESSIO KUO CHUNG TAI

Source: Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242). :190-197

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Program testing, Concurrent Java programs, Dynamic program analysis, 01 natural sciences

Access URL: https://dblp.uni-trier.de/db/conf/iwpc/iwpc1998.html#BechiniT98

An Efficient and Scalable Platform for Java Source Code Analysis Using Overlaid Graph Representations

Authors: Rodriguez-Prieto, O Mycroft, A Ortin, F et al.

Contributors: Rodriguez-Prieto, O Mycroft, A Ortin, F et al.

Source: RUO. Repositorio Institucional de la Universidad de Oviedo
instname
Universidad de Oviedo (UNIOVI)
IEEE Access, Vol 8, Pp 72239-72260 (2020)

Subject Terms: Ciphers, graph database, Database languages, 02 engineering and technology, Cypher, Neo4j, TK1-9971, Semantics, Tools, Databases, coding guidelines, 0202 electrical engineering, electronic engineering, information engineering, program representation, Electrical engineering. Electronics. Nuclear engineering, declarative query language, Syntactics, Code analysis, Java

File Description: application/pdf

Access URL: http://hdl.handle.net/10651/54284
https://doaj.org/article/7071db08b8fe4e1f97d497fb8b460b4b
https://www.repository.cam.ac.uk/handle/1810/305771
https://dblp.uni-trier.de/db/journals/access/access8.html#Rodriguez-Prieto20
https://ieeexplore.ieee.org/document/9064792
https://doi.org/10.1109/ACCESS.2020.2987631
https://digibuo.uniovi.es/dspace/handle/10651/54284

The Strategy to Increase Women Farmer's Participation in the Program of Village Food Barn in East Java

Authors: Yuliatia, Yayuk Iskaskar, Riyanti

Source: International Journal of Environmental and Science Education. 2016 11(12):5728-5735.

Peer Reviewed: Y

Page Count: 8

Descriptors: Females, Agricultural Production, Agricultural Education, Agricultural Occupations, Food, Security (Psychology), Socialization, Gender Differences, Empowerment, Community Leaders, Program Descriptions, Qualitative Research, Wages, Standards, Foreign Countries, Factor Analysis

Geographic Terms: Indonesia