Eitan Farchi
AuthID: R-006-E1X
1
TITLE: Special issue on testing, analysis and debugging of concurrent programs Full Text
AUTHORS: Eitan Farchi; Robert M Hierons; Joao Lourenco;
PUBLISHED: 2015, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 25, ISSUE: 3
AUTHORS: Eitan Farchi; Robert M Hierons; Joao Lourenco;
PUBLISHED: 2015, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 25, ISSUE: 3
2
TITLE: Special Track on Multicore Software Engineering, Performance, Applications, and Tools (MUSEPAT)
AUTHORS: Bradbury, JS; Farchi, E; Lourenço, J;
PUBLISHED: 2015, SOURCE: 30th Annual ACM Symposium on Applied Computing, SAC 2015 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 13-17-April-2015
AUTHORS: Bradbury, JS; Farchi, E; Lourenço, J;
PUBLISHED: 2015, SOURCE: 30th Annual ACM Symposium on Applied Computing, SAC 2015 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 13-17-April-2015
INDEXED IN: 
Scopus
Scopus3
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Lourenco, JM ; Farchi, E;
PUBLISHED: 2013, SOURCE: International Conference on Multicore Software Engineering, Performance, and Tools, MUSEPAT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8063 LNCS
AUTHORS: Lourenco, JM ; Farchi, E;
PUBLISHED: 2013, SOURCE: International Conference on Multicore Software Engineering, Performance, and Tools, MUSEPAT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8063 LNCS
INDEXED IN: Scopus
Scopus4
TITLE: Using program closures to make an application programming interface (API) implementation thread safe
AUTHORS: Farchi, E; Segall, I; Lourenco, JM ; Sousa, D;
PUBLISHED: 2012, SOURCE: 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 in 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 - Proceedings
AUTHORS: Farchi, E; Segall, I; Lourenco, JM ; Sousa, D;
PUBLISHED: 2012, SOURCE: 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 in 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 - Proceedings
INDEXED IN: Scopus
Scopus5
TITLE: Practical verification of high-level dataraces in transactional memory programs
AUTHORS: Pessanha, V; Dias, RJ; Lourenco, JM ; Farchi, E; Sousa, D;
PUBLISHED: 2011, SOURCE: 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
AUTHORS: Pessanha, V; Dias, RJ; Lourenco, JM ; Farchi, E; Sousa, D;
PUBLISHED: 2011, SOURCE: 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
6
TITLE: Foreword
AUTHORS: Lourenco, J ; Farchi, E; Ur, S;
PUBLISHED: 2011, SOURCE: 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
AUTHORS: Lourenco, J ; Farchi, E; Ur, S;
PUBLISHED: 2011, SOURCE: 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
INDEXED IN: Scopus
Scopus7
TITLE: Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011, Toronto, ON, Canada, July 17-21, 2011
AUTHORS: João Lourenço ; Eitan Farchi;
PUBLISHED: 2011, SOURCE: PADTAD
AUTHORS: João Lourenço ; Eitan Farchi;
PUBLISHED: 2011, SOURCE: PADTAD
INDEXED IN: 
DBLP
DBLP8
TITLE: PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging: Foreword
AUTHORS: Lourenco, J ; Farchi, E; Ur, S;
PUBLISHED: 2010, SOURCE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
AUTHORS: Lourenco, J ; Farchi, E; Ur, S;
PUBLISHED: 2010, SOURCE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
INDEXED IN: Scopus
Scopus9
TITLE: Detection of Transactional Memory anomalies using static analysis
AUTHORS: Teixeira, B; Lourenco, J ; Farchi, E; Dias, R; Sousa, D;
PUBLISHED: 2010, SOURCE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
AUTHORS: Teixeira, B; Lourenco, J ; Farchi, E; Dias, R; Sousa, D;
PUBLISHED: 2010, SOURCE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
10
TITLE: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009
AUTHORS: Ganesh Gopalakrishnan; Eitan Farchi; Eric Mercer;
PUBLISHED: 2009, SOURCE: PADTAD
AUTHORS: Ganesh Gopalakrishnan; Eitan Farchi; Eric Mercer;
PUBLISHED: 2009, SOURCE: PADTAD
INDEXED IN: DBLP
DBLP