[bitc-dev] Automated test frameworks come to kernels

Wed, 06 Nov 2013 15:57:08 -0800

Not sure if it's the first of its kind, but it's certainly an interesting example of combined static analysis and automated test generation to measure scalability:
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors, http://pdos.csail.mit.edu/commuter/clements-commutativity-sosp13.pdf <http://pdos.csail.mit.edu/commuter/clements-commutativity-sosp13.pdf> 

Sandro




Attachment:
smime.p7s

Description: S/MIME Cryptographic Signature


_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev














    











					Reply via email to