Stem atom$ (all stems)

169 papers:

TACAS-2015-ZengSLH #precise #predict

A Method for Improving the Precision and Coverage of Atomicity Violation Predictions (RZ, ZS, SL, XH), pp. 116–130.

SEFM-2015-AmighiDBH #source code #specification #verification

Specification and Verification of Atomic Operations in GPGPU Programs (AA, SD, SB, MH), pp. 69–83.

ICML-2015-JewellSB #process

Atomic Spatial Processes (SJ, NS, ABC), pp. 248–256.

SAC-2015-DabrowskiLP #compilation #concurrent #thread

Nested atomic sections with thread escape: compilation (FD, FL, TP), pp. 2099–2106.

ESEC-FSE-2015-SamakR #detection #testing

Synthesizing tests for detecting atomicity violations (MS, MKR), pp. 131–142.

PPoPP-2015-Golan-GuetaRSY #automation #scalability #semantics

Automatic scalable atomicity via semantic locking (GGG, GR, MS, EY), pp. 31–41.

TLCA-2015-FairweatherFST #dependent type

Dependent Types for Nominal Terms with Atom Substitutions (EF, MF, NS, AT), pp. 180–195.

SIGMOD-2014-BailisFHGS #scalability #transaction

Scalable atomic visibility with RAMP transactions (PB, AF, JMH, AG, IS), pp. 27–38.

PLDI-2014-BiswasHSB #named #performance #precise

DoubleChecker: efficient sound and precise atomicity checking (SB, JH, AS, MDB), p. 6.

PLDI-2014-JagannathanPVPL #compilation #refinement

Atomicity refinement for verified compilation (SJ, GP, JV, DP, VL), p. 5.

AFL-2014-BrzozowskiD13

Maximally Atomic Languages (JAB, GD), pp. 151–161.

CIKM-2014-HannulaKL #independence #on the

On Independence Atoms and Keys (MH, JK, SL), pp. 1229–1238.

KDD-2014-NiTFZ #network #ranking

Inside the atoms: ranking on a network of networks (JN, HT, WF, XZ), pp. 1356–1365.

MoDELS-2014-ThummalaO #effectiveness #evaluation

An Evaluation of the Effectiveness of the Atomic Section Model (ST, JO), pp. 35–49.

MoDELS-2014-ThummalaO #effectiveness #evaluation

An Evaluation of the Effectiveness of the Atomic Section Model (ST, JO), pp. 35–49.

LOPSTR-2014-ChowdhuryLCKY #approximate #case study #logic programming #polynomial #semantics #source code

Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies (MSC, FL, WC, AK, JHY), pp. 279–296.

SAC-2014-DabrowskiLP #concurrent #thread

Nested atomic sections with thread escape: a formal definition (FD, FL, TP), pp. 1585–1592.

HPCA-2014-GopeL

Atomic SC for simple in-order processors (DG, MHL), pp. 404–415.

ISMM-2014-EgielskiHZ #parallel

Massive atomics for massive parallelism on GPUs (IJE, JH, EZZ), pp. 93–103.

CAV-2014-LesaniMP #automation #concurrent #data type #verification

Automatic Atomicity Verification for Clients of Concurrent Data Structures (ML, TDM, JP), pp. 550–567.

ISSTA-2014-ShachamYGABSV #independence #verification

Verifying atomicity via data independence (OS, EY, GGG, AA, NGB, MS, MTV), pp. 26–36.

LICS-CSL-2014-KlinLOT #complexity #constraints #problem #turing machine

Turing machines with atoms, constraint satisfaction problems, and descriptive complexity (BK, SL, JO, ST), p. 10.

HT-2013-StolzH #linked data #open data #rdf

From RDF to RSS and atom: content syndication with linked data (AS, MH), pp. 236–241.

PASTE-2013-DingesCA #automation #concurrent #execution #set

Automated inference of atomic sets for safe concurrent execution (PD, MC, GA), pp. 1–8.

DLT-J-2012-BrzozowskiT13 #complexity #regular expression

Complexity of atoms of Regular Languages (JAB, HT), pp. 1009–1028.

OOPSLA-2013-NorrisD #c #c++ #concurrent #data type #named

CDSchecker: checking concurrent data structures written with C/C++ atomics (BN, BD), pp. 131–150.

ESEC-FSE-2013-LiuDZ #composition

Finding incorrect compositions of atomicity (PL, JD, CZ), pp. 158–168.

ESEC-FSE-2013-SilicDS #clustering #predict #reliability #web #web service

Prediction of atomic web services reliability based on k-means clustering (MS, GD, SS), pp. 70–80.

ASPLOS-2013-AhnDT #alias #named #using

DeAliaser: alias speculation using atomic region support (WA, YD, JT), pp. 167–180.

ASPLOS-2013-WangW #hardware #named #optimisation #performance

TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations (CW, YW), pp. 509–520.

LICS-2013-BojanczykKLT #turing machine

Turing Machines with Atoms (MB, BK, SL, ST), pp. 183–192.

LICS-2013-GundersenHP #λ-calculus

Atomic λ Calculus: A Typed λ-Calculus with Explicit Sharing (TG, WH, MP), pp. 311–320.

DATE-2012-PanagopoulosAR #approach #framework #hybrid #simulation

A framework for simulating hybrid MTJ/CMOS circuits: Atoms to system approach (GP, CA, KR), pp. 1443–1446.

DLT-2012-BrzozowskiT #regular expression

Quotient Complexities of Atoms of Regular Languages (JAB, HT), pp. 50–61.

SEFM-2012-FathabadiBR #approach #composition

A Systematic Approach to Atomicity Decomposition in Event-B (ASF, MJB, AR), pp. 78–93.

ICSE-2012-LiuZ #automation #constraints #named

Axis: Automatically fixing atomicity violations through solving control constraints (PL, CZ), pp. 299–309.

HPCA-2012-DuanZAT #commit #execution #named

BulkCompactor: Optimized deterministic execution via Conflict-Aware commit of atomic blocks (YD, XZ, WA, JT), pp. 361–372.

HPCA-2012-QianST #design #execution #named #smt

BulkSMT: Designing SMT processors for atomic-block execution (XQ, BS, JT), pp. 153–164.

ASE-2011-Ganai #analysis #precise #scalability

Scalable and precise symbolic analysis for atomicity violations (MKG), pp. 123–132.

DocEng-2011-PinkneyBB #component #documentation

Reflowable documents composed from pre-rendered atomic components (AJP, SRB, DFB), pp. 163–166.

PLDI-2011-JinSZLL #automation

Automated atomicity-violation fixing (GJ, LS, WZ, SL, BL), pp. 389–400.

ICALP-v2-2011-GotsmanY #abstraction

Liveness-Preserving Atomicity Abstraction (AG, HY), pp. 453–465.

ICALP-v2-2011-Huang #game studies

Collusion in Atomic Splittable Routing Games (CCH), pp. 564–575.

ICML-2011-WickRBCM #graph #named

SampleRank: Training Factor Graphs with Atomic Gradients (MLW, KR, KB, AC, AM), pp. 777–784.

KDIR-2011-BicegoFBCM #grid #protocol

An Innovative Protocol for Comparing Protein Binding Sites via Atomic Grid Maps (MB, ADF, PB, AC, VM), pp. 413–422.

KDIR-2011-DAcuntoBDLPPS #3d #mining #re-engineering

Inferential Mining for Reconstruction of 3D Cell Structures in Atomic Force Microscopy Imaging (MD, SB, SD, ML, MP, AP, OS), pp. 348–353.

ECOOP-2011-HarmanciGF #coordination #exception #memory management #transaction

Atomic Boxes: Coordinated Exception Handling with Transactional Memory (DH, VG, PF), pp. 634–657.

OOPSLA-2011-AndersonG #composition

Composable, nestable, pessimistic atomic statements (ZRA, DG), pp. 865–884.

OOPSLA-2011-ShachamBASVY #concurrent #testing

Testing atomicity of composed concurrent operations (OS, NGB, AA, MS, MTV, EY), pp. 51–64.

OOPSLA-2011-WeeratungeZJ #using

Accentuating the positive: atomicity inference and enforcement using correct executions (DW, XZ, SJ), pp. 19–34.

OOPSLA-2011-WurthingerABWM #aspect-oriented #evolution #java #runtime

Safe and atomic run-time code evolution for Java and its application to dynamic AOP (TW, DA, WB, CW, HM), pp. 825–844.

ASPLOS-2011-BurnimNS #parallel #semantics #source code #specification #thread

Specifying and checking semantic atomicity for multithreaded programs (JB, GCN, KS), pp. 79–90.

CGO-2011-BorinWBW #commit #named #scalability

LAR-CC: Large atomic regions with conditional commits (EB, YW, MBJ, CW), pp. 54–63.

HPCA-2011-VantreaseLB #protocol

Atomic Coherence: Leveraging nanophotonics to build race-free cache coherence protocols (DV, MHL, NLB), pp. 132–143.

PPoPP-2011-RoyHH #consistency #memory management

Weak atomicity under the x86 memory consistency model (AR, SH, TLH), pp. 291–292.

CASE-2010-GuoZW #analysis

Directed motion of an atomic scale engine and stability analysis (YG, WZ, ZW), pp. 545–550.

PODS-2010-BenderHK #performance

Performance guarantees for B-trees with different-sized atomic keys (MAB, HH, BCK), pp. 305–316.

TACAS-2010-WangLGG #analysis

Trace-Based Symbolic Analysis for Atomicity Violations (CW, RL, MKG, AG), pp. 328–342.

FLOPS-2010-EstruchFHR #distance

An Integrated Distance for Atoms (VE, CF, JHO, MJRQ), pp. 150–164.

CIKM-2010-RonenS10a #concurrent #network #protocol #social

Concurrent atomic protocols for making and changing decisions in social networks (RR, OS), pp. 1337–1340.

ICPR-2010-DengH #composition #detection #exponential #process

Voice Activity Detection Based on Complex Exponential Atomic Decomposition and Likelihood Ratio Test (SD, JH), pp. 89–92.

OOPSLA-2010-KulkarniLS #pervasive

Task types for pervasive atomicity (AK, YDL, SFS), pp. 671–690.

OOPSLA-2010-UpadhyayaMP #automation #identification #memory management #source code

Automatic atomic region identification in shared memory SPMD programs (GU, SPM, VSP), pp. 652–670.

FSE-2010-Sanbonmatsu #biology #comprehension #towards

Supercomputing in biology: towards understanding living systems in atomic detail (KYS), pp. 1–2.

FSE-2010-SorrentinoFM #named #thread #weaving

PENELOPE: weaving threads to expose atomicity violations (FS, AF, PM), pp. 37–46.

ICSE-2010-LaiCC #detection #parallel #random #source code #testing #thread

Detecting atomic-set serializability violations in multithreaded programs through active randomized testing (ZL, SCC, WKC), pp. 235–244.

ASPLOS-2010-NeelakantamDZ #evaluation #hardware

A real system evaluation of hardware atomicity for software speculation (NN, DRD, CBZ), pp. 29–38.

CC-2010-LogozzoV #abstract interpretation #agile #analysis #javascript #named #optimisation

RATA: Rapid Atomic Type Analysis by Abstract Interpretation — Application to JavaScript Optimization (FL, HV), pp. 66–83.

CGO-2010-BorinWWLBHNRR #named #optimisation

TAO: two-level atomicity for dynamic binary optimizations (EB, YW, CW, WL, MBJ, SH, EN, SR, RR), pp. 12–21.

PPoPP-2010-UpadhyayaMP #data type #generative #performance #using

Using data structure knowledge for efficient lock generation and strong atomicity (GU, SPM, VSP), pp. 281–292.

PPoPP-2010-ZyulkyarovHUCV #debugging #memory management #source code #transaction

Debugging programs that use atomic blocks and transactional memory (FZ, TH, OSÜ, AC, MV), pp. 57–66.

ICLP-2010-BasolEFI10 #source code

HEX Programs with Action Atoms (SB, OE, MF, GI), pp. 24–33.

LICS-2010-GuglielmiGS #logic

Breaking Paths in Atomic Flows for Classical Logic (AG, TG, LS), pp. 284–293.

FASE-2009-ChenWYS #detection #named #static analysis

HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis (QC, LW, ZY, SDS), pp. 425–439.

TACAS-2009-FarzanM #complexity #predict

The Complexity of Predicting Atomicity Violations (AF, PM), pp. 155–169.

POPL-2009-ElmasQT #calculus

A calculus of atomic actions (TE, SQ, ST), pp. 2–15.

ASPLOS-2009-ParkLZ #debugging #named

CTrigger: exposing atomicity violation bugs from their hiding places (SP, SL, YZ), pp. 25–36.

PPoPP-2009-AbadiHM #hardware #memory management #off the shelf #transaction #using

Transactional memory with strong atomicity using off-the-shelf memory protection hardware (MA, TH, MM), pp. 185–196.

PPoPP-2009-ZyulkyarovGUCAHV #game studies #interactive #memory management #multi #transaction #using

Atomic quake: using transactional memory in an interactive multiplayer game server (FZ, VG, OSÜ, AC, EA, TH, MV), pp. 25–34.

CAV-2009-FarzanMS

Meta-analysis for Atomicity Violations under Nested Locking (AF, PM, FS), pp. 248–262.

PLDI-2008-CheremCG

Inferring locks for atomic sections (SC, TMC, SG), pp. 304–315.

PLDI-2008-FlanaganFY #named #parallel #source code #thread

Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs (CF, SNF, JY), pp. 293–303.

OOPSLA-2008-BeckmanBA #type system #verification

Verifying correct usage of atomic blocks and typestate (NEB, KB, JA), pp. 227–244.

OOPSLA-2008-SchneiderMSA #optimisation #performance

Dynamic optimization for efficient strong atomicity (FTS, VM, TS, ARAT), pp. 181–194.

FSE-2008-ParkS #concurrent #detection #random #source code

Randomized active atomicity violation detection in concurrent programs (CSP, KS), pp. 135–145.

ICSE-2008-HammerDVT #detection

Dynamic detection of atomic-set-serializability violations (CH, JD, MV, FT), pp. 231–240.

CC-2008-CunninghamGE

Keep Off the Grass: Locking the Right Path for Atomicity (DC, KG, SE), pp. 276–290.

CC-2008-LiuLS #concurrent #named

Coqa: Concurrent Objects with Quantized Atomicity (YDL, XL, SFS), pp. 260–275.

CAV-2008-FarzanM #concurrent #monitoring #source code

Monitoring Atomicity in Concurrent Programs (AF, PM), pp. 52–65.

VMCAI-2008-AbdullaHDR

Handling Parameterized Systems with Non-atomic Global Conditions (PAA, NBH, GD, AR), pp. 22–36.

ESOP-2007-AcciaiBD #calculus #concurrent #transaction

A Concurrent Calculus with Atomic Transactions (LA, MB, SDZ), pp. 48–63.

IFM-2007-DerrickSW #proving #refinement

Proving Linearizability Via Non-atomic Refinement (JD, GS, HW), pp. 195–214.

SEFM-2007-BanachJHS

Retrenchment and the Atomicity Pattern (RB, CJ, AH, SS), pp. 37–46.

SAC-2007-GramoliAV #configuration management #memory management #named #scalability

SQUARE: scalable quorum-based atomic memory with local reconfiguration (VG, EA, AV), pp. 574–579.

ESEC-FSE-2007-YeCCX #composition #detection

Detection and resolution of atomicity violation in service composition (CY, SCC, WKC, CX), pp. 235–244.

PPoPP-2007-MaratheHL #thread #transaction

Featherweight transactions: decoupling threads and atomic blocks (VJM, TLH, JRL), pp. 134–135.

ICLP-2007-LiuPST #constraints #logic programming #source code

Logic Programs with Abstract Constraint Atoms: The Role of Computations (LL, EP, TCS, MT), pp. 286–301.

ICALP-v1-2006-CominettiCM #game studies #network

Network Games with Atomic Players (RC, JRC, NESM), pp. 525–536.

ICALP-v1-2006-FotakisKS #game studies

Atomic Congestion Games Among Coalitions (DF, SCK, PGS), pp. 572–583.

FM-2006-Mostowski #java #logic #reasoning

Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic (WM), pp. 444–459.

OOPSLA-2006-RussellD

Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing (KR, DD), pp. 263–272.

POPL-2006-McCloskeyZGB #named

Autolocker: synchronization inference for atomic sections (BM, FZ, DG, EAB), pp. 346–358.

FSE-2006-YeCCX #analysis #collaboration

Local analysis of atomicity sphere for B2B collaboration (CY, SCC, WKC, CX), pp. 186–196.

ICSE-2006-YeCC #collaboration #composition

Publishing and composition of atomicity-equivalent services for B2B collaboration (CY, SCC, WKC), pp. 351–360.

ASPLOS-2006-LuTQZ #detection #invariant #named

AVIO: detecting atomicity violations via access interleaving invariants (SL, JT, FQ, YZ), pp. 37–48.

PPoPP-2006-WangS #concurrent #detection #fault #performance #runtime #source code

Accurate and efficient runtime detection of atomicity errors in concurrent programs (LW, SDS), pp. 137–146.

CAV-2006-FarzanM

Causal Atomicity (AF, PM), pp. 315–328.

CAV-2006-SenV #model checking #parallel #source code #thread

Model Checking Multithreaded Programs with Asynchronous Atomic Methods (KS, MV), pp. 300–314.

ASE-2005-AgarwalSWS #concurrent #detection #runtime #using

Optimized run-time race detection and atomicity checking using partial discovered types (RA, AS, LW, SDS), pp. 233–242.

DocEng-2005-HaralambousB #injection

Injecting information into atomic units of text (YH, GB), pp. 134–142.

ICALP-2005-KursaweS

Optimistic Asynchronous Atomic Broadcast (KK, VS), pp. 204–215.

ICFP-2005-RingenburgG #named

AtomCaml: first-class atomicity via rollback (MFR, DG), pp. 92–104.

SEKE-2005-HamzaF #reuse

Stable Atomic Knowledge Pattern (SAK) — Enabling Inter-Domain Knowledge Reuse (HSH, MEF), pp. 127–132.

PPoPP-2005-SasturkarAWS #analysis #automation #type system

Automated type-based analysis of data races and atomicity (AS, RA, LW, SDS), pp. 83–94.

PPoPP-2005-WangS #source code #static analysis

Static analysis of atomicity for programs with non-blocking synchronization (LW, SDS), pp. 61–71.

DAC-2004-RosenbandA #composition #scheduling

Modular scheduling of guarded atomic actions (DLR, A), pp. 55–60.

POPL-2004-FlanaganF #named #parallel #source code #thread

Atomizer: a dynamic atomicity checker for multithreaded programs (CF, SNF), pp. 256–267.

SAC-2004-Al-HoumailyC #commit #named #protocol

1-2PC: the one-two phase atomic commit protocol (YJAH, PKC), pp. 684–691.

IJCAR-2004-LutzW #source code

PDL with Negation of Atomic Programs (CL, DW), pp. 259–273.

VMCAI-2004-HatcliffRD #concurrent #model checking #object-oriented #specification #using #verification

Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking (JH, R, MBD), pp. 175–190.

PLDI-2003-FlanaganQ

A type and effect system for atomicity (CF, SQ), pp. 338–349.

CSL-2003-Brunnler #logic

Atomic Cut Elimination for classical Logic (KB), pp. 86–97.

FASE-2002-LaraV #metamodelling #multi #named

AToM3: A Tool for Multi-formalism and Meta-modelling (JdL, HV), pp. 174–188.

ICSM-2002-Koschke #architecture #component #comprehension #evolution

Atomic Architectural Component Recovery for Program Understanding and Evolution (RK), pp. 478–481.

ICGT-2002-Klempien-Hinrichs

Hyperedge Substitution in Basic Atom-Replacement Languages (RKH), pp. 192–206.

ICEIS-2002-LaraV #using

Using AToM3 as a Meta-Case Tool (JdL, HV), pp. 642–649.

ICPR-v3-2002-Ishii #bound #design #people

Tangible Bits: Designing the Boundary between People, Bits, and Atoms (HI), p. 277.

ECOOP-2002-HovemeyerPS #java

Atomic Instructions in Java (DH, WP, JS), pp. 133–154.

OOPSLA-2002-KawachiyaKO #java

Lock reservation: Java locks can mostly do without atomic operations (KK, AK, TO), pp. 130–141.

CADE-2002-GramlichP #algorithm #aspect-oriented #equation #modelling

Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations (BG, RP), pp. 241–259.

RTA-2002-CharatonikT #constraints #set

Atomic Set Constraints with Projection (WC, JMT), pp. 311–325.

ICPR-v3-2000-PeceP #composition #performance

Fast Atomic Decomposition by the Inhibition Method (AECP, NP), pp. 3215–3218.

HPDC-2000-AndersonC #network

Failure-Atomic File Access in an Interposed Network Storage System (DCA, JSC), pp. 157–164.

PODS-1999-Al-HoumailyC

Atomicity with Incompatible Presumptions (YJAH, PKC), pp. 306–315.

FM-v2-1999-DerrickB #refinement

Non-atomic Refinement in Z (JD, EAB), pp. 1477–1496.

ICFP-1999-ShiversCM #transaction

Atomic Heap Transactions and Fine-grain Interrupts (OS, JWC, RM), pp. 48–59.

LICS-1999-GottlobP #complexity #modelling

Working with Arms: Complexity Results on Atomic Representations of Herbrand Models (GG, RP), pp. 306–315.

LICS-1999-NiehrenMT #constraints #set

Entailment of Atomic Set Constraints is PSPACE-Complete (JN, MM, JMT), pp. 285–294.

VLDB-1998-Tygar #distributed #transaction

Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce (JDT), pp. 1–12.

CHI-1997-IshiiU #interface #people #towards

Tangible Bits: Towards Seamless Interfaces between People, Bits and Atoms (HI, BU), pp. 234–241.

AdaEurope-1997-RomanovskyMW #ada #on the #programming

On Programming Atomic Actions in Ada 95 (ABR, SEM, AJW), pp. 254–265.

POPL-1997-Rehof #type system

Minimal Typings in Atomic Subtyping (JR), pp. 278–291.

CAV-1996-Gribomont #reduction #refinement #theorem

Atomicity Refinement and Trace Reduction Theorems (EPG), pp. 311–322.

CSL-1996-Setzer #decidability #induction

Inductive Definitions with Decidable Atomic Formulas (AS), pp. 414–430.

PODS-1995-KeidarD #commit

Increasing the Resilience of Atomic Commit at No Additional Cost (IK, DD), pp. 245–254.

ECOOP-1995-StroudW #data type #protocol #using

Using Metaobject Protocols to Implement Atomic Data Types (RJS, ZW), pp. 168–189.

HPCA-1995-MichaelS #distributed #implementation #memory management #multi

Implementation of Atomic Primitives on Distributed Shared Memory Multiprocessors (MMM, MLS), pp. 222–231.

CAV-1995-Kupferman #branch #logic #quantifier

Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions (OK), pp. 325–338.

PODS-1994-AgrawalBAK #approach #transaction

Relative Serializbility: An Approach for Relaxing the Atomicity of Transactions (DA, JLB, AEA, VK), pp. 139–149.

SIGMOD-1994-ZhangNBB #flexibility #multi #transaction

Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems (AZ, MHN, BKB, OAB), pp. 67–78.

PLDI-1994-SrivastavaE #named #program analysis #tool support

ATOM — A System for Building Customized Program Analysis Tools (AS, AE), pp. 196–205.

Best-of-PLDI-1994-SrivastavaE94a #named #program analysis #tool support

ATOM: a system for building customized program analysis tools (with retrospective) (AS, AE), pp. 528–539.

ECOOP-1994-Guerraoui #composition

Atomic Object Composition (RG), pp. 118–138.

ALP-1994-BuenoHMR #concurrent #semantics #source code

From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics (FB, MVH, UM, FR), pp. 114–132.

SIGMOD-1993-KolodnerW #garbage collection #incremental #scalability

Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap (EKK, WEW), pp. 177–186.

PODS-1992-MehrotraRBKS #multi #transaction

Ensuring Transaction Atomicity in Multidatabase Systems (SM, RR, YB, HFK, AS), pp. 164–175.

VLDB-1992-Raz #multi #principle #using

The Principle of Commitment Ordering, or Guaranteeing Serializability in a Heterogeneous Environment of Multiple Autonomous Resource Mangers Using Atomic Commitment (YR), pp. 292–312.

IWMM-1992-KolodnerW #garbage collection

Atomic Garbage Collection (EKK, WEW), pp. 365–387.

KR-1991-PagePF #constraints #logic

Generalizing Atoms in Constraint Logic (CDPJ, AMF), pp. 429–440.

ML-1991-PageF #learning

Learning Constrained Atoms (CDPJ, AMF), pp. 427–431.

SIGMOD-1989-KolodnerLW #garbage collection

Atomic Garbage Collection: Managing a Stable Heap (EKK, BL, WEW), pp. 15–25.

ML-1989-Selfridge #adaptation #case study #contest #learning

Atoms of Learning II: Adaptive Strategies A Study of Two-Person Zero-Sum Competition (OGS), pp. 412–415.

STOC-1988-DolevGS #testing #towards

Toward a Non-Atomic Era: 𝓁-Exclusion as a Test Case (DD, EG, NS), pp. 78–92.

PODS-1987-Hadzilacos #analysis #protocol

A Knowledge Theoretic Analysis of Atomic Commitment Protocols (VH), pp. 129–134.

POPL-1986-GreifSW #abstraction #collaboration #distributed #editing

Atomic Data Abstractions in a Distributed Collaborative Editing System (IG, RS, WEW), pp. 160–172.

SOSP-1985-OkiLS #reliability

Reliable Object Storage to Support Atomic Actions (BMO, BL, RS), pp. 147–159.

PODS-1982-Lynch #multi

Multilevel Atomicity (NAL), pp. 63–69.

SOSP-1979-Montgomery #distributed #implementation #named

Polyvalues: A Tool for Implementing Atomic Updates to Distributed Data (WAM), pp. 143–149.

SOSP-1979-Reed #distributed #implementation

Implementing Atomic Actions on Decentralized Data (DPR), p. 163.