A Concurrent Perspective on Smart Contracts

[1]  Song Jiang,et al.  Wormhole: A Fast Ordered Index for In-memory Data Management , 2018, EuroSys.

[2]  Prateek Saxena,et al.  Making Smart Contracts Smarter , 2016, IACR Cryptol. ePrint Arch..

[3]  Nikhil Swamy,et al.  Formal Verification of Smart Contracts: Short Paper , 2016, PLAS@CCS.

[4]  Peter W. O'Hearn,et al.  Concurrent separation logic , 2016, SIGL.

[5]  Xinyu Feng,et al.  A program logic for concurrent objects under fair scheduling , 2016, POPL.

[6]  Constantin Enea,et al.  Symbolic abstract data type inference , 2016, POPL.

[7]  Pierre-Yves Strub,et al.  Dependent types and multi-monadic effects in F* , 2016, POPL.

[8]  Ilya Sergey,et al.  Mechanized verification of fine-grained concurrent programs , 2015, PLDI.

[9]  Tom Ridge,et al.  Lem: reusable engineering of real-world semantics , 2014, ICFP.

[10]  Ilya Sergey,et al.  Communicating State Transition Systems for Fine-Grained Concurrent Resources , 2014, ESOP.

[11]  Edwin Brady,et al.  Programming and reasoning with algebraic effects and dependent types , 2013, ICFP.

[12]  Lars Birkedal,et al.  Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency , 2013, ICFP.

[13]  Yu Lin,et al.  CHECK-THEN-ACT Misuse of Java Concurrent Collections , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

[14]  Jean-Christophe Filliâtre,et al.  Why3 - Where Programs Meet Provers , 2013, ESOP.

[15]  Lars Birkedal,et al.  Modular Reasoning about Separation of Concurrent Data Structures , 2013, ESOP.

[16]  Juan Chen,et al.  Secure distributed programming with value-dependent types , 2011, Journal of Functional Programming.

[17]  Viktor Vafeiadis,et al.  Concurrent Abstract Predicates , 2010, ECOOP.

[18]  N. Shavit,et al.  Flat combining and the synchronization-parallelism tradeoff , 2010, SPAA '10.

[19]  Bjarne Stroustrup,et al.  Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs , 2010, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[20]  Viktor Vafeiadis,et al.  Proving that non-blocking algorithms don't block , 2009, POPL '09.

[21]  D. M. Hutton,et al.  The Art of Multiprocessor Programming , 2008 .

[22]  Peter W. O'Hearn,et al.  Permission accounting in separation logic , 2005, POPL '05.

[23]  Peter W. O'Hearn,et al.  Resources, Concurrency and Local Reasoning , 2004, CONCUR.

[24]  Leslie Lamport,et al.  Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.

[25]  Maurice Herlihy,et al.  Linearizability: a correctness condition for concurrent objects , 1990, TOPL.

[26]  Martín Abadi,et al.  The existence of refinement mappings , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[27]  Robert Edström,et al.  Safer smart contracts through type-driven development , 2016 .

[28]  Daniel Davis Wood,et al.  ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER , 2014 .

[29]  David Holmes,et al.  Java Concurrency in Practice , 2006 .