Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Chang-Hui Bae, Euteum Choi, Yong-Kee Jun, Ok-Kyoon Ha |
Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations. |
ICSTW |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu 0003, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan |
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. |
ESEC/SIGSOFT FSE |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Fahad Rahman, Chafiq Titouna, Farid Naït-Abdesselam |
Scaling a Blockchain System from Eventual to Full Atomicity Using Confederation Approach. |
BRAINS |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Ievgen Kabin, Zoya Dyka, Peter Langendoerfer |
Atomicity and Regularity Principles Do Not Ensure Full Resistance of ECC Designs against Single-Trace Attacks. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Aistis Atminas, Vadim V. Lozin |
Deciding Atomicity of Subword-Closed Languages. |
DLT |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, Mengfei Yang |
Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Philippa Gardner |
Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk). |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Junfu Luo, Jiaqi Yin, Huibiao Zhu |
MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity. |
PDCAT |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Akhil S. Nair, Anakuthil Anoop, Rajeev Ahuja, Biswarup Pathak |
Role of atomicity in the oxygen reduction reaction activity of platinum sub nanometer clusters: A global optimization study. |
J. Comput. Chem. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | M. McDevitt, Nikola Ruskuc |
Atomicity and Well Quasi-Order for Consecutive Orderings on Words and Permutations. |
SIAM J. Discret. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Lingzhi Ouyang, Yu Huang 0002, Hengfeng Wei, Jian Lu 0001 |
Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores. |
IEEE Trans. Parallel Distributed Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Dan Frumin, Robbert Krebbers, Lars Birkedal |
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity. |
Log. Methods Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Xiaoxue Ma, Shangru Wu, Ernest Bota Pobee, Xiupei Mei, Hao Zhang 0085, Bo Jiang 0001, Wing Kwong Chan |
RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces. |
ACM Trans. Softw. Eng. Methodol. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Tangliu Wen, Jie Peng, Jinyun Xue, Zhen You, Lan Song |
Strict Linearizability and Abstract Atomicity. |
Int. J. Found. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Xiaoxue Ma, Imran Ashraf, W. K. Chan 0001 |
Sound Predictive Atomicity Violation Detection§. |
QRS |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Jaewon Jung, Jungsik Choi, Hwansoo Han |
Libpubl: exploiting persistent user buffers as logs for write atomicity. |
HotStorage |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Shegufta Bakht Ahsan, Rui Yang, Shadi A. Noghabi, Indranil Gupta |
Home, safehome: smart home reliability with visibility and atomicity. |
EuroSys |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Dan Frumin, Robbert Krebbers, Lars Birkedal |
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
19 | Umang Mathur 0001, Mahesh Viswanathan 0001 |
Atomicity Checking in Linear Time using Vector Clocks. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
19 | Shegufta Bakht Ahsan, Rui Yang, Shadi A. Noghabi, Indranil Gupta |
Home, SafeHome: Smart Home Reliability with Visibility and Atomicity. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
19 | Xiaoxue Ma, Shangru Wu, Ernest Bota Pobee, Xiupei Mei, Hao Zhang 0085, Bo Jiang 0001, Wing Kwong Chan |
RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
19 | Alberto Ros 0001, Stefanos Kaxiras |
Speculative Enforcement of Store Atomicity. |
MICRO |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Ning Han, Ximeng Li 0003, Guohui Wang, Zhiping Shi 0002, Yong Guan |
Formal Verification of Atomicity Requirements for Smart Contracts. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Zakaria Maamar, Mohamed Sellami, Thar Baker, Said Elnaffar, Maj Alshibly |
Atomicity in the Internet of Transactional Things (Io2T). |
AINA Workshops |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Umang Mathur 0001, Mahesh Viswanathan 0001 |
Atomicity Checking in Linear Time using Vector Clocks. |
ASPLOS |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Pengfei Wang 0010, Jens Krinke, Xu Zhou, Kai Lu |
AVPredictor: Comprehensive prediction and detection of atomicity violations. |
Concurr. Comput. Pract. Exp. |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Qian Zhou, Fan Ye 0003 |
APEX: automatic precondition execution with isolation and atomicity in internet-of-things. |
IoTDI |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Xiaoning Chang, Wensheng Dou, Yu Gao 0002, Jie Wang 0035, Jun Wei 0001, Tao Huang 0001 |
Detecting atomicity violations for event-driven Node.js applications. |
ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Greg Speegle |
Semantic Atomicity. |
Encyclopedia of Database Systems (2nd ed.) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Gerhard Weikum |
Atomicity. |
Encyclopedia of Database Systems (2nd ed.) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | K. Vidyasankar |
Atomicity of batches in stream processing. |
J. Ambient Intell. Humaniz. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Luis Alejandro Fletscher, Julian Barreiro-Gomez, Carlos Ocampo-Martinez, Catalina Valencia Peroni, José María Maestre Torreblanca |
Atomicity and Non-Anonymity in Population-Like Games for the Energy Efficiency of Hybrid-Power HetNets. |
IEEE Trans. Netw. Serv. Manag. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Tangliu Wen |
Strict Linearizability and Abstract Atomicity. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
19 | Gayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri |
On the structure of C-algebras through atomicity and if-then-else. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
19 | Mahdi Eslamimehr, Mohsen Lesani, George Edwards |
Efficient detection and validation of atomicity violations in concurrent programs. |
J. Syst. Softw. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Wojciech M. Golab, Xiaozhou (Steve) Li, Alejandro López-Ortiz, Naomi Nishimura |
Computing k-Atomicity in Polynomial Time. |
SIAM J. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Qingrui Liu, Joseph Izraelevitz, Se Kwon Lee, Michael L. Scott, Sam H. Noh, Changhee Jung |
iDO: Compiler-Directed Failure Atomicity for Nonvolatile Memory. |
MICRO |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Zhuo Sun, Reng Zeng, Xudong He |
A Method for Predicting Two-Variable Atomicity Violations. |
QRS |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Tatsuya Abe 0001 |
Local Data Race Freedom with Non-multi-copy Atomicity. |
SPIN |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Chih-Kai Kang, Chun-Han Lin, Pi-Cheng Hsiu, Ming-Syan Chen |
HomeRun: HW/SW Co-Design for Program Atomicity on Self-Powered Intermittent Systems. |
ISLPED |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Christian DeLozier, Ariel Eizenberg, Brandon Lucia, Joseph Devietti |
SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably. |
ASPLOS |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Hengfeng Wei, Yu Huang 0002, Jian Lu 0001 |
Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems. |
IEEE Trans. Computers |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Dharavath Ramesh, Chiranjeev Kumar, Amit Kumar Jain |
Preserving atomicity and isolation for multi-row transactions in column-oriented heterogeneous distributed databases. |
Int. J. Inf. Commun. Technol. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Keehang Kwon, Dae-Seong Kang |
A Concurrent Model for Imperative Languages with Improved Atomicity. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
19 | Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav |
Automatic Scalable Atomicity via Semantic Locking. |
ACM Trans. Parallel Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Seongbae Son, Jinsoo Yoo, Youjip Won |
Guaranteeing the Metadata Update Atomicity in EXT4 File system. |
APSys |
2017 |
DBLP DOI BibTeX RDF |
|
19 | David M. Ungar, David Grove, Hubertus Franke |
Dynamic atomicity: optimizing swift memory management. |
DLS |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Yan Cai 0001, Lingwei Cao, Jing Zhao 0016 |
Adaptively generating high quality fixes for atomicity violations. |
ESEC/SIGSOFT FSE |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Michael Gruhn, Felix C. Freiling |
Evaluating atomicity, and integrity of correct memory acquisition methods. |
Digit. Investig. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Shangru Wu, Chunbai Yang, Changjiang Jia, Wing Kwong Chan |
ASP: Abstraction Subspace Partitioning for Detection of Atomicity Violations with an Empirical Study. |
IEEE Trans. Parallel Distributed Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Qingkai Shi, Jeff Huang 0001, Zhenyu Chen 0001, Baowen Xu |
Verifying Synchronization for Atomicity Violation Fixing. |
IEEE Trans. Software Eng. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Endre Pap, Alina Gavrilut, Maricel Agop |
Atomicity via regularity for non-additive set multifunctions. |
Soft Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Basil A. Karádais |
Atomicity, coherence of information, and point-free structures. |
Ann. Pure Appl. Log. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Vivek Kumar 0001, Julian Dolby, Stephen M. Blackburn |
Integrating Asynchronous Task Parallelism and Data-centric Atomicity. |
PPPJ |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Dan Zhang 0002, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper 0001, Bart Jacobs 0002, Anton Wijs |
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. |
MODELSWARD |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Dan Zhang 0002, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs 0002, Ruurd Kuiper 0001, Anton Wijs |
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. |
MODELSWARD (Revised Selected Papers) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Poulami Das 0003, Debapriya Basu Roy, Debdeep Mukhopadhyay |
Improved Atomicity to Prevent HCCA on NIST Curves. |
AsiaPKC@AsiaCCS |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Adarsh Yoga, Santosh Nagarakatte |
Atomicity violation checker for task parallel programs. |
CGO |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Pierre-Alain Fouque, Sylvain Guilley, Cédric Murdica, David Naccache |
Safe-Errors on SPA Protected Implementations with the Atomicity Technique. |
The New Codebreakers |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Jay Patel, Yann-Hang Lee |
Dynamic Analysis of Multi-threaded Embedded Software to Expose Atomicity Violations. |
ICESS |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Dezhi Wang, Lei Xu 0003, Baowen Xu, Weifeng Zhang 0001 |
Dynamically Detecting DOM-Related Atomicity Violations in JavaScript with Asynchronous Call. |
SATE |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Constantin Enea, Azadeh Farzan |
On Atomicity in Presence of Non-atomic Writes. |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Yudith Cardinale, Joyce El Haddad, Maude Manouvrier, Marta Rukoz |
Measuring Fuzzy Atomicity for Composite Service Execution. |
OBD |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira 0001, João Lourenço |
Preventing Atomicity Violations with Contracts. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
19 | Pierre-Alain Fouque, Sylvain Guilley, Cédric Murdica, David Naccache |
Safe-Errors on SPA Protected implementations with the Atomicity Technique. |
IACR Cryptol. ePrint Arch. |
2015 |
DBLP BibTeX RDF |
|
19 | Shangru Wu, Chunbai Yang, W. K. Chan 0001 |
ASR: Abstraction Subspace Reduction for Exposing Atomicity Violation Bugs in Multithreaded Programs. |
QRS |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Mahdi Eslamimehr, Mohsen Lesani |
AtomChase: Directed search towards atomicity violations. |
ISSRE |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Malavika Samak, Murali Krishna Ramanathan |
Synthesizing tests for detecting atomicity violations. |
ESEC/SIGSOFT FSE |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Reng Zeng, Zhuo Sun, Su Liu, Xudong He |
A Method for Improving the Precision and Coverage of Atomicity Violation Predictions. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav |
Automatic scalable atomicity via semantic locking. |
PPoPP |
2015 |
DBLP DOI BibTeX RDF |
|
19 | François Avril |
Mécanismes pour la cohérence, l'atomicité et les communications au niveau des clusters : application au clustering hiérarchique distribué adaptatif. (Mechanism for coherence, atomicity and communications at clusters level : application to adaptative distributed hierarchical clustering). |
|
2015 |
RDF |
|
19 | Woon-Hak Kang, Sang-Won Lee 0001, Bongki Moon, Gi-Hwan Oh, Changwoo Min |
Supporting Transactional Atomicity in Flash Storage Devices. |
IEEE Data Eng. Bull. |
2014 |
DBLP BibTeX RDF |
|
19 | Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek |
Atomicity Refinement for Verified Compilation. |
ACM Trans. Program. Lang. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Mohsen Lesani, Todd D. Millstein, Jens Palsberg |
Automatic Atomicity Verification for Clients of Concurrent Data Structures. |
CAV |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Ben Rogers, Brian Henderson-Sellers |
Applying a Test for Atomicity of Method Fragments. |
APCCM |
2014 |
DBLP BibTeX RDF |
|
19 | Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte |
Atomicity refinement for verified compilation. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond |
DoubleChecker: efficient sound and precise atomicity checking. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev |
Verifying atomicity via data independence. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Chia-Yu Lu, Shang-Ming Jen, Chi-Sung Laih |
A General Framework of Side-Channel Atomicity for Elliptic Curve Scalar Multiplication. |
IEEE Trans. Computers |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Wojciech M. Golab, Jeremy Hurwitz, Xiaozhou Li 0001 |
On the k-Atomicity-Verification Problem. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
19 | Kaiyuan Wen, Zhuzhong Qian, Sanglu Lu |
Breaking the atomicity of virtual network embedding. |
GLOBECOM |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Peng Liu 0010, Julian Dolby, Charles Zhang 0001 |
Finding incorrect compositions of atomicity. |
ESEC/SIGSOFT FSE |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Wojciech M. Golab, Jeremy Hurwitz, Xiaozhou Li 0001 |
On the k-Atomicity-Verification Problem. |
ICDCS |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Vömel, Felix C. Freiling |
Correctness, atomicity, and integrity: Defining criteria for forensically-sound memory acquisition. |
Digit. Investig. |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Amitabha Roy 0002, Steven Hand 0001, Tim Harris 0001 |
Weak atomicity for the x86 memory consistency model. |
J. Parallel Distributed Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Shan Lu 0001, Soyeon Park, Yuanyuan Zhou 0001 |
Finding Atomicity-Violation Bugs through Unserializable Interleaving Testing. |
IEEE Trans. Software Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Chih-Yuan Chen, Cheng-Pin Wang, Tetz C. Huang, Ji-Cherng Lin |
Correctness of Self-Stabilizing Algorithms Under the Dolev Model When Adapted to Composite Atomicity Models. |
Int. J. Artif. Life Res. |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Reggie Davidrajuh |
Achieving Atomicity of Tokens in Time Petri Nets: An Approach Based on Virtual Tokens. |
EMS |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Reng Zeng, Zhuo Sun, Su Liu, Xudong He |
McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking. |
SPIN |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Siliang Li, Yu David Liu, Gang Tan |
JATO: Native Code Atomicity for Java. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Yin Wang 0001, Peng Liu 0010, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang |
On atomicity enforcement in concurrent software via Discrete Event Systems theory. |
CDC |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Girish Chandra, Divakar Yadav |
Verification of Money Atomicity in Digital Cash Based Payment System. |
ICISS |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Kjetil Raaen, Håvard Espeland, Håkon Kvale Stensland, Andreas Petlund, Pål Halvorsen, Carsten Griwodz |
LEARS: A Lockless, Relaxed-Atomicity State Model for Parallel Execution of a Game Server Partition. |
ICPP Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Ricardo J. Dias, Vasco Pessanha, João Lourenço |
Precise Detection of Atomicity Violations. |
Haifa Verification Conference |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Peng Liu 0010, Charles Zhang 0001 |
Axis: Automatically fixing atomicity violations through solving control constraints. |
ICSE |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh |
A Systematic Approach to Atomicity Decomposition in Event-B. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Asieh Salehi Fathabadi |
An approach to atomicity decomposition in the Event-B formal method. |
|
2012 |
RDF |
|
19 | Ohad Shacham |
Verifying atomicity of composed concurrent operations |
|
2012 |
RDF |
|
19 | Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps |
A decision procedure for detecting atomicity violations for communicating processes with locks. |
Int. J. Softw. Tools Technol. Transf. |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Zalán Gyenis |
On atomicity of free algebras in certain cylindric-like varieties. |
Log. J. IGPL |
2011 |
DBLP DOI BibTeX RDF |
|