demo

397c8b3f · jiangdongchen · c2a06f4e · c2a06f4e · c2a06f4e · c2a06f4e
Commit 397c8b3f authored May 09, 2025 by jiangdongchen
66 changed files
--- a/Papers/j29/10-AGreyLiteratureReviewonDataStreamProcessingapplications_testing.pdf
+++ b/Papers/j29/10-AGreyLiteratureReviewonDataStreamProcessingapplications_testing.pdf
--- a/Papers/j29/11-The_Aurora_Single_Level_Store_Operating_System.pdf
+++ b/Papers/j29/11-The_Aurora_Single_Level_Store_Operating_System.pdf
--- a/Papers/j29/13-Efficient_Auditing_of_Event-driven_Web_Applications.pdf
+++ b/Papers/j29/13-Efficient_Auditing_of_Event-driven_Web_Applications.pdf
--- a/Papers/j29/14-Efficient_Replay-based_Regression_Testing_for_Distributed_Reactive_Systems_in_the_Context_of_Model-driven_Development.pdf
+++ b/Papers/j29/14-Efficient_Replay-based_Regression_Testing_for_Distributed_Reactive_Systems_in_the_Context_of_Model-driven_Development.pdf
--- a/Papers/j29/15-Efficient_and_Deterministic_Record_&_Replay_for_Actor_Languages.pdf
+++ b/Papers/j29/15-Efficient_and_Deterministic_Record_&_Replay_for_Actor_Languages.pdf
--- a/Papers/j29/16-HyCoR_Fault-Tolerant_Replicated_Containers_Based_on_Checkpoint_and_Replay.pdf
+++ b/Papers/j29/16-HyCoR_Fault-Tolerant_Replicated_Containers_Based_on_Checkpoint_and_Replay.pdf
--- a/Papers/j29/17-Reversible_debugging_of_concurrent_Erlang_programs_Supporting_imperative_primitives.pdf
+++ b/Papers/j29/17-Reversible_debugging_of_concurrent_Erlang_programs_Supporting_imperative_primitives.pdf
--- a/Papers/j29/19-Event-Based_Out-of-Place_Debugging.pdf
+++ b/Papers/j29/19-Event-Based_Out-of-Place_Debugging.pdf
--- a/Papers/j29/20-Efficient_Reordering_and_Replay_of_Execution_Traces_of_Distributed_Reactive_Systems_in_the_Context_of_Model-driven_Development.pdf
+++ b/Papers/j29/20-Efficient_Reordering_and_Replay_of_Execution_Traces_of_Distributed_Reactive_Systems_in_the_Context_of_Model-driven_Development.pdf
--- a/Papers/j29/21-The_W5_Framework_for_Computation_Offloading_in_the_Internet_of_Things.pdf
+++ b/Papers/j29/21-The_W5_Framework_for_Computation_Offloading_in_the_Internet_of_Things.pdf
--- a/Papers/j29/23-AggrePlay_Efficient_Record_and_Replay_of_Multi-threaded_Programs.pdf
+++ b/Papers/j29/23-AggrePlay_Efficient_Record_and_Replay_of_Multi-threaded_Programs.pdf
--- a/Papers/j29/25-SimuBoost_Scalable_Parallelization_of_Functional_System_Simulation.pdf
+++ b/Papers/j29/25-SimuBoost_Scalable_Parallelization_of_Functional_System_Simulation.pdf
--- a/Papers/j29/26-Towards_an_Open_Format_for_Scalable_System_Telemetry.pdf
+++ b/Papers/j29/26-Towards_an_Open_Format_for_Scalable_System_Telemetry.pdf
--- a/Papers/j29/27-Abstractions_for_Practical_Virtual_Machine_Replay.pdf
+++ b/Papers/j29/27-Abstractions_for_Practical_Virtual_Machine_Replay.pdf
--- a/Papers/j29/28-LDT_Lightweight_Dirty_Tracking_of_Memory_Pages_for_x86_Systems.pdf
+++ b/Papers/j29/28-LDT_Lightweight_Dirty_Tracking_of_Memory_Pages_for_x86_Systems.pdf
--- a/Papers/j29/29-Efﬁcient_Transaction-Based_Deterministic_Replay_for_Multi-threaded_Programs.pdf
+++ b/Papers/j29/29-Efﬁcient_Transaction-Based_Deterministic_Replay_for_Multi-threaded_Programs.pdf
--- a/Papers/j29/3-A_Survey_on_Parallelism_and_Determinism.pdf
+++ b/Papers/j29/3-A_Survey_on_Parallelism_and_Determinism.pdf
--- a/Papers/j29/30-Verifying_Determinism_in_Sequential_Programs.pdf
+++ b/Papers/j29/30-Verifying_Determinism_in_Sequential_Programs.pdf
--- a/Papers/j29/31-The_Aurora_Operating_System_Revisiting_the_Single_Level_Store.pdf
+++ b/Papers/j29/31-The_Aurora_Operating_System_Revisiting_the_Single_Level_Store.pdf
--- a/Papers/j29/33-Classification_of_Resilience_Techniques_Against_Functional_Errors_at_Higher_Abstraction_Layers_of_Digital_Systems.pdf
+++ b/Papers/j29/33-Classification_of_Resilience_Techniques_Against_Functional_Errors_at_Higher_Abstraction_Layers_of_Digital_Systems.pdf
--- a/Papers/j29/34-A_Methodology_to_Capture_Fine-Grained_Internal_Visibility_During_Multisession_Silicon_Debug.pdf
+++ b/Papers/j29/34-A_Methodology_to_Capture_Fine-Grained_Internal_Visibility_During_Multisession_Silicon_Debug.pdf
--- a/Papers/j29/35-Adaptive_Erasure_Coded_Fault_Tolerant_Linear_System_Solver.pdf
+++ b/Papers/j29/35-Adaptive_Erasure_Coded_Fault_Tolerant_Linear_System_Solver.pdf
--- a/Papers/j29/36-MReplayer_A_Trace_Replayer_of_Distributed_UML-RT_Models.pdf
+++ b/Papers/j29/36-MReplayer_A_Trace_Replayer_of_Distributed_UML-RT_Models.pdf
--- a/Papers/j29/37-获取访存依赖_并发程序动态分析基础技术综述.pdf
+++ b/Papers/j29/37-获取访存依赖_并发程序动态分析基础技术综述.pdf
--- a/Papers/j29/38-Postmortem_Accurate_IR-level_State_Recovery_for_Deployed_Concurrent_Programs.pdf
+++ b/Papers/j29/38-Postmortem_Accurate_IR-level_State_Recovery_for_Deployed_Concurrent_Programs.pdf
--- a/Papers/j29/40-Shortening_Feedback_Loops_in_a_Live_Game_Development_Environment.pdf
+++ b/Papers/j29/40-Shortening_Feedback_Loops_in_a_Live_Game_Development_Environment.pdf
--- a/Papers/j29/41-TraceSanitizer_–_Eliminating_the_Effects_of_Non-determinism_on_Error_Propagation_Analysis.pdf
+++ b/Papers/j29/41-TraceSanitizer_–_Eliminating_the_Effects_of_Non-determinism_on_Error_Propagation_Analysis.pdf
--- a/Papers/j29/43-Taming_Nondeterminism_Programming_language_abstractions_and_tools_for_dealing_with_nondeterministic_programs.pdf
+++ b/Papers/j29/43-Taming_Nondeterminism_Programming_language_abstractions_and_tools_for_dealing_with_nondeterministic_programs.pdf
--- a/Papers/j29/46-Capturing_High-level_Nondeterminism_in_Concurrent_Programs_for_Practical_Concurrency_Model_Agnostic_Record_&_Replay.pdf
+++ b/Papers/j29/46-Capturing_High-level_Nondeterminism_in_Concurrent_Programs_for_Practical_Concurrency_Model_Agnostic_Record_&_Replay.pdf
--- a/Papers/j29/49-STRAB_State_Recovery_using_Reverse_Execution_at_IR_Level_for_Concurrent_Programs.pdf
+++ b/Papers/j29/49-STRAB_State_Recovery_using_Reverse_Execution_at_IR_Level_for_Concurrent_Programs.pdf
--- a/Papers/j29/50-On_the_Application_of_Formal_Techniques_for_Dependable_Concurrent_Systems.pdf
+++ b/Papers/j29/50-On_the_Application_of_Formal_Techniques_for_Dependable_Concurrent_Systems.pdf
--- a/Papers/j29/51-Exploring_OS-based_Full-system_Deterministic_Replay.pdf
+++ b/Papers/j29/51-Exploring_OS-based_Full-system_Deterministic_Replay.pdf
--- a/Papers/j29/52-Advanced_Debugging_Techniques_to_Identify_Concurrency_Bugs_in_Actor-based_Programs.pdf
+++ b/Papers/j29/52-Advanced_Debugging_Techniques_to_Identify_Concurrency_Bugs_in_Actor-based_Programs.pdf
--- a/Papers/j29/53-Deterministic_Record-and-Replay_Research_for_Practice.pdf
+++ b/Papers/j29/53-Deterministic_Record-and-Replay_Research_for_Practice.pdf
--- a/Papers/j29/54-Pure_User_Mode_Deterministic_Replay_on_Windows.pdf
+++ b/Papers/j29/54-Pure_User_Mode_Deterministic_Replay_on_Windows.pdf
--- a/Papers/j29/55-Optimal_Record_and_Replay_under_Causal_Consistency.pdf
+++ b/Papers/j29/55-Optimal_Record_and_Replay_under_Causal_Consistency.pdf
--- a/Papers/j29/56-Accurate_Record_&_Replay_of_x86_MMU_Behavior_for_SimuBoost.pdf
+++ b/Papers/j29/56-Accurate_Record_&_Replay_of_x86_MMU_Behavior_for_SimuBoost.pdf
--- a/Papers/j29/57-Practical_Dependable_Systems_with_OS_Hypervisor_Support.pdf
+++ b/Papers/j29/57-Practical_Dependable_Systems_with_OS_Hypervisor_Support.pdf
--- a/Papers/j29/59-Recording_Rendering_API_Commands_for_Instant_Replay_A_Runtime_Overhead_Comparison_to_Real-Time_Video_Encoding.pdf
+++ b/Papers/j29/59-Recording_Rendering_API_Commands_for_Instant_Replay_A_Runtime_Overhead_Comparison_to_Real-Time_Video_Encoding.pdf
--- a/Papers/j29/6-Multiview_Finding_Blind_Spots_in_Access-Deny_Issues_Diagnosis.pdf
+++ b/Papers/j29/6-Multiview_Finding_Blind_Spots_in_Access-Deny_Issues_Diagnosis.pdf
--- a/Papers/j29/60-Formal_Methods_for_Constraint-Based_Testing_and_Reversible_Debugging_in_Erlang.pdf
+++ b/Papers/j29/60-Formal_Methods_for_Constraint-Based_Testing_and_Reversible_Debugging_in_Erlang.pdf
--- a/Papers/j29/61-Effective_Techniques_for_Post-silicon_Validation_and_Debug.pdf
+++ b/Papers/j29/61-Effective_Techniques_for_Post-silicon_Validation_and_Debug.pdf
--- a/Papers/j29/62-Exploiting_non-uniform_program_execution_time_to_evade_record_replay_forensic_analysis.pdf
+++ b/Papers/j29/62-Exploiting_non-uniform_program_execution_time_to_evade_record_replay_forensic_analysis.pdf
--- a/Papers/j29/63-A_Constraint-Aware_Optimization_Method_for_Concurrency_Bug_Diagnosis_Service_in_a_Distributed_Cloud_Environment.pdf
+++ b/Papers/j29/63-A_Constraint-Aware_Optimization_Method_for_Concurrency_Bug_Diagnosis_Service_in_a_Distributed_Cloud_Environment.pdf
--- a/Papers/j29/65-Debugging_Nondeterministic_Failures_in_Linux_Programs_through_Replay_Analysis.pdf
+++ b/Papers/j29/65-Debugging_Nondeterministic_Failures_in_Linux_Programs_through_Replay_Analysis.pdf
--- a/Papers/j29/69-Cooperative_Concurrency_Debugging.pdf
+++ b/Papers/j29/69-Cooperative_Concurrency_Debugging.pdf
--- a/Papers/j29/7-Understanding_and_Improving_Model-Driven_IoT_Systems_through_Accompanying_Digital_Twins.pdf
+++ b/Papers/j29/7-Understanding_and_Improving_Model-Driven_IoT_Systems_through_Accompanying_Digital_Twins.pdf
--- a/Papers/j29/70-Debugging_Support_for_Multi-paradigm_Concurrent_Programs.pdf
+++ b/Papers/j29/70-Debugging_Support_for_Multi-paradigm_Concurrent_Programs.pdf
--- a/Papers/j29/9-Causal-Consistent_Replay_Reversible_Semantics_for_Message_Passing_Concurrent_Programs.pdf
+++ b/Papers/j29/9-Causal-Consistent_Replay_Reversible_Semantics_for_Message_Passing_Concurrent_Programs.pdf
--- a/Papers/j29/Causal-Consistent Replay Debugging for Message Passing Programs.pdf
+++ b/Papers/j29/Causal-Consistent Replay Debugging for Message Passing Programs.pdf
--- a/Papers/j29/Cores that dont count.pdf
+++ b/Papers/j29/Cores that dont count.pdf
--- a/Papers/j29/Debugging Nondeterministic Failures in Linux Programs.pdf
+++ b/Papers/j29/Debugging Nondeterministic Failures in Linux Programs.pdf
--- a/Papers/j29/Efficient_Replay-based_Regression_Testing_for_Distributed_Reactive_Systems_in_the_Context_of_Model-driven_Development.pdf
+++ b/Papers/j29/Efficient_Replay-based_Regression_Testing_for_Distributed_Reactive_Systems_in_the_Context_of_Model-driven_Development.pdf
--- a/Papers/j29/Global Reproducibility Through Local Control for Distributed Active Objects.pdf
+++ b/Papers/j29/Global Reproducibility Through Local Control for Distributed Active Objects.pdf
--- a/Papers/j29/Internet of Things (IoT), mobile cloud, cloudlet, mobile IoT, IoT cloud, fog, mobile edge, and edge emerging computing paradigms Disambiguation and research directions.pdf
+++ b/Papers/j29/Internet of Things (IoT), mobile cloud, cloudlet, mobile IoT, IoT cloud, fog, mobile edge, and edge emerging computing paradigms Disambiguation and research directions.pdf
--- a/Papers/j29/Malrec Compact Full-Trace Malware Recording for Retrospective Deep Analysis.pdf
+++ b/Papers/j29/Malrec Compact Full-Trace Malware Recording for Retrospective Deep Analysis.pdf
--- a/Papers/j29/Regression testing of distributed real-time embedded systems in the context of model-driven development.pdf
+++ b/Papers/j29/Regression testing of distributed real-time embedded systems in the context of model-driven development.pdf
--- a/Papers/j29/The Aurora Operating System.pdf
+++ b/Papers/j29/The Aurora Operating System.pdf
--- a/Papers/j29/Verifying_Determinism_in_Sequential_Programs.pdf
+++ b/Papers/j29/Verifying_Determinism_in_Sequential_Programs.pdf
--- a/Papers/j29/{RRC} Responsive Replicated Containers.pdf
+++ b/Papers/j29/{RRC} Responsive Replicated Containers.pdf
--- a/README.md
+++ b/README.md
@@ -9,14 +9,14 @@
    - pdf_dir
        - pdf_dir文件夹下按照工作表名称开子文件夹存放论文pdf
        - Paper中以j24为范例给出pdf的存储方法，pdf的命名可以随意，但是必须保证pdf的第一页是论文的标题和关键信息, 否则pdf需要手动识别
-        - others中的j24表格是示范excel表格
    - result_dir
        - 输出关键信息json文件的文件夹
    - source_excel_path
        - 放置需要check的excel表格
        - 第context_start+1行开始实际表项
        - https://docs.qq.com/sheet/DZEVmZ2thTEd4R1Zh?tab=000001&nlc=1
-        - **一定一定一定要按照上述链接中的格式！不然会失败**
+        - **一定一定一定要按照上述链接中的格式并且第三行加上bibtex！不然会失败**
+        - others中的j24表格是示范excel表格,请仿照该格式简单更改原表格保证规范, 注意要在第三行加上bibtex
    - target_excel_path
        - 输出的格式化表格
    - ccfa_excel_path

--- a/others/Arch/j24_target.xlsx
+++ b/others/Arch/j24_target.xlsx
--- a/others/Arch/j29_target.xlsx
+++ b/others/Arch/j29_target.xlsx
--- a/others/j1-j34.xlsx
+++ b/others/j1-j34.xlsx
--- a/others/j24.xlsx
+++ b/others/j24.xlsx
--- a/others/~$j24.xlsx
+++ b/others/~$j24.xlsx