Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

ACDC: towards a universal mutator for benchmarking heap management systems., and . ISMM, page 75-84. ACM, (2013)I/O resource management through system call scheduling., , and . Operating Systems Review, 42 (5): 44-54 (2008)How FIFO is your concurrent FIFO queue?, , , and . RACES@SPLASH, page 1-8. ACM, (2012)Runtime Programming through Model-Preserving, Scalable Runtime Patches., , , and . ACSD, page 77-86. IEEE Computer Society, (2011)JMOCHA: A Model Checking Tool that Exploits Design Structure., , , , , , , , and . ICSE, page 835-836. IEEE Computer Society, (2001)Low-latency time-portable real-time programming with Exotasks., , , , , , and . ACM Trans. Embedded Comput. Syst., 8 (2): 15:1-15:48 (2009)Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit., , , , and . CoRR, (2014)Fast and Scalable, Lock-Free k-FIFO Queues., , and . PaCT, volume 7979 of Lecture Notes in Computer Science, page 208-223. Springer, (2013)Performance, Scalability, and Semantics of Concurrent FIFO Queues., , , and . ICA3PP (1), volume 7439 of Lecture Notes in Computer Science, page 273-287. Springer, (2012)CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors., , , , , , and . IEEE Real-Time and Embedded Technology and Applications Symposium, page 67-76. IEEE Computer Society, (2009)