Search results for "atomicity"

Hits ?▲	Authors	Title	Venue	Year	Link
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