Search Results - (( concurrent java (programs OR progress) ) OR ( concurrent java process ))

Synthesis of verifiable concurrent Java components from formal models by Mariño, Julio, Alborodo, Raúl N. N., Fredlund, Lars-Åke, Herranz, Ángel

“… In our work, we consider the problem of generating a concurrent Java component from a high-level model of inter-process interaction (i.e., communication…”
Get full text

RJ: a Java package providing JR-like concurrent programming by Olsson, Ronald A., Williamson, Todd

“…Summary The JR concurrent programming language extends Java with a richer concurrency model, by adding several new types and statements…”
Get full text

LLM-Based Java Concurrent Program to ArkTS Converter by Liu, Runlin, Lin, Yuhang, Hu, Yunge, Zhang, Zhe, Gao, Xiang

“…). This paper presents an LLM-based concurrent Java program to ArkTS converter.Our converter utilizes large language models (LLMs…”
Get full text

Falcon: fault localization in concurrent programs by Park, Sangmin, Vuduc, Richard W., Harrold, Mary Jean

“… This paper presents a new dynamic fault-localization technique that can pinpoint faulty data-access patterns in multi-threaded concurrent programs…”
Get full text

Hands-On Design Patterns with Kotlin: Build Scalable Applications Using Traditional, Reactive, and Concurrent Design Patterns in Kotlin by Soshin, Alexey

“…Design patterns enable you to speed up the development process by providing tested, proven development paradigms…”
Get full text

Understanding Asynchronous Interactions in Full-Stack JavaScript by Alimadadi, Saba, Mesbah, Ali, Pattabiraman, Karthik

“…JavaScript has become one of the most popular languages in practice. Developers now use JavaScript not only for the client-side but also for server-side programming, leading to "full-stack" applications written entirely in JavaScript…”
Get full text

Anomaly detection in concurrent Java programs using dynamic data flow analysis by Saleh, Kassem, Boujarwah, Abdel Aziz, Al-Dallal, Jehad

“… In this work, we first identify the different classes of synchronization anomalies that may occur in concurrent Java programs…”
Get full text

Behavior investigation of concurrent Java programs: an approach based on source-code instrumentation by Bechini, Alessio, Prete, Cosimo Antonio

“…Java makes easier the coding phase of concurrent applications and provides friendly mechanisms for the information exchange among threads and different processes…”
Get full text

Anomaly detection in concurrent Java programs using dynamic flow analysis by Kassem Saleh, Abdel Aziz Boujarwah, Al-Dallal, Jehad

“… The different classes of synchronization anomalies that may occur in concurrent Java programs are identified…”
Get full text

Data flow analysis for checking properties of concurrent Java programs by Naumovich, Gleb, Avrunin, George S., Clarke, Lori A.

“…In this paper we show how the FLAVERS data flow analysis technique, originally formulated for systems using a rendezvous concurrency model, can be applied to the various concurrency models used in Java programs…”
Get full text

Cooperative Exceptions for Concurrent Objects by Cabral, Bruno, Fonseca, Alcides, Marques, Paulo, Aldrich, Jonathan

“… One of the challenging aspects of this type of system is how to deal with exceptional situations, since it is very difficult to assert the precise state of a concurrent program when an exception arises…”
Get full text

Extracting static and dynamic structural information from java concurrent programs for coverage testing by Prado, Rafael R., Souza, Paulo S. L., Dourado, George G. M., Souza, Simone R. S., Estrella, Julio C., Bruschi, Sarita M., Lourenco, Joao

“…This paper proposes novel techniques for the extraction of structural information from the source code of Java concurrent programs for their coverage testing…”
Get full text

Towards Using Concurrent Java API Correctly by Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong

“…Concurrent Programs are hard to analyze or debug due to the complex program logic and unpredictable execution environment…”
Get full text

Formal verification applied to Java concurrent software by Iosif, Radu

“… In particular, it focuses on elaborating a formal method for the specification and validation of temporal logic properties concerning the behavior of Java concurrent…”
Get full text

A structured approach for developing concurrent programs in Java by Mizuno, Masaaki

“… A translation from coarse-grained solutions to efficient fine-grained programs in Java synchronization primitives that preserves global invariants is presented…”
Get full text

Assuring and evolving concurrent programs: annotations and policy by Greenhouse, Aaron, Scherlis, William L.

“…Assuring and evolving concurrent programs requires understanding the concurrency-related design decisions used in their implementation…”
Get full text

Guided test visualization: Making sense of errors in concurrent programs by Wesonga, Saint, Mercer, Eric G., Rungta, Neha

“…This paper describes a tool to help debug error traces found by the Java Pathfinder model checker in concurrent Java programs…”
Get full text

Safe and Verifiable Design of Concurrent Java Programs by Welch, P.H., Hilderink, G.H., Bakkers, A.W.P., Stiles, G.S.

“…The design of concurrent programs has a reputation for being difficult, and thus potentially dangerous in safety-critical real-time and embedded systems…”
Get full text

Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients by Deshmukh, J., Emerson, E.A., Sankaranarayanan, S.

“…Methods in object-oriented concurrent libraries hide internal synchronization details…”
Get full text

Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java by Kinneer, Alex, Dwyer, Matthew B., Rothermel, Gregg

“… Many dynamic analyses, however, share multiple common high-level requirements, e.g., capture of program data state as well as events, and efficient and accurate event capture in the presence of threading…”
Get full text