| Title: | 
						The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis | 
					
					
						| Article URLs: | 
						
							
						 | 
					
					
						| Alternative Article URLs: | 
						 | 
					
					
						| Authors: | 
						Sudip Roy | 
						
							
								- 
									Google Research
								
 
								- 
									Cornell University
								
 
							 
						 | 
					
					
						| Lucja Kot | 
						
							
						 | 
					
					
						| Gabriel Bender | 
						
							
						 | 
					
					
						| Bailu Ding | 
						
							
						 | 
					
					
						| Hossein Hojjat | 
						
							
						 | 
					
					
						| Christoph Koch | 
						
							
						 | 
					
					
						| Nate Foster | 
						
							
						 | 
					
					
						| Johannes Gehrke | 
						
							
								- 
									Cornell University
								
 
								- 
									Microsoft Corp
								
 
							 
						 | 
					
					
						| Sharing: | 
						
							Unknown
						 | 
					
					
						| Verification: | 
						
							Authors have
							not verified
							information
						 | 
					
					
						| Artifact Evaluation Badge: | 
						
							none
						 | 
					
					
						| Artifact URLs: | 
						
							
						 | 
					
					
						| Artifact Correspondence Email Addresses: | 
						
							
						 | 
					
					
						| NSF Award Numbers: | 
						
						1413972, 
						1253165, 
						1012593, 
						0911036
						 | 
					
					
						| DBLP Key: | 
						
							conf/sigmod/0002KBDHKFG15
						 | 
					
					
						| Author Comments: |  
						 |