PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Neamtiu, Iulian"

Author of the publication

copydeleteadd this publication to your clipboard
Formalizing Soundness of Contextual Effects.

, , , and . TPHOLs, volume 5170 of Lecture Notes in Computer Science, page 262-277. Springer, (2008)

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.

No persons found for author name Neamtiu, Iulian
add a person with the name Neamtiu, Iulian
 

Other publications of authors with the same name

Finding and Reproducing Heisenbugs in Concurrent Programs., , , , , and . OSDI, page 267-280. USENIX Association, (2008)Fine-grained incremental learning and multi-feature tossing graphs to improve bug triaging., and . ICSM, page 1-10. IEEE Computer Society, (2010)Towards a better understanding of software evolution: An empirical study on open source software., , and . ICSM, page 51-60. IEEE Computer Society, (2009)ProfileDroid: multi-layer profiling of android applications., , , and . MobiCom, page 137-148. ACM, (2012)Competing memes propagation on networks: a case study of composite networks., , , , , and . Computer Communication Review, 42 (5): 5-12 (2012)Competing Memes Propagation on Networks: A Network Science Perspective., , , , , and . IEEE Journal on Selected Areas in Communications, 31 (6): 1049-1060 (2013)How to have your cake and eat it too: Dynamic software updating with just-in-time overhead., , and . HotSWUp, page 1-5. IEEE Computer Society, (2012)A cross-platform analysis of bugs and bug-fixing in open source projects: desktop vs. Android vs. iOS., , and . EASE, page 7:1-7:10. ACM, (2015)Bug-fix time prediction models: can we do better?, and . MSR, page 207-210. ACM, (2011)Effective parallelization of loops in the presence of I/O operations., , and . PLDI, page 487-498. ACM, (2012)