Yaniv Eytani

From FSL
Jump to: navigation, search


Yaniv Eytani

Ph.D. candidate

Computer Science Department
University of Illinois

2111A Siebel Center

201 N. Goodwin

Urbana, IL 61801

yeytani2 [at uiuc (dot) edu]


I am a Ph.D. candidate at the department of computer science at UIUC, USA. I am a member of the formal systems laboratory, involved in research under the direction of Prof. Grigore Rosu.

I completed my M.Sc. studies at the Computer Science Department at the University of Haifa. My supervisors were Dr. Yosi Ben-Asher and Dr. Eitan Farchi. My thesis topic was: "Efficient Framework for Finding Concurrent Bugs in Java".

My research project is a tool for uncovering concurrent bugs called raceFinder. I am also helping Dr. Shmuel Ur from IBM Haifa Labs to develop the Multi-threaded benchmark for Java.

I was a research assistant to Dr. Shuly Winter at the Computational Linguistics Group at the University of Haifa, working on a project for Hebrew to English Machine Translation. This is a joint project with a team at the Language Technologies Institute, Carnegie Mellon University, headed by Alon Lavie.

Upcoming Conferences: SMAP’08, SBT'08, Web Intelligence’08, SBSE @ GECCO’08, ICEIS’08

Previous Conferences: SMAP’07, Web Intelligence’07, SBSE @ GECCO’07, ICEIS’07 SAC’06, Web Intelligence’06, PEP’06, UbiqUM’06, PADTAD’06, FATES/RV’06.

IBM verification conference, Runtime Verification’05, Web Intelligence’05.

Selected Publications (full list)

  1. Y. Eytani, K. Havelund, S. D. Stoller, and S. Ur. "Toward a Framework and Benchmark for Testing Tools for Multi-Threaded Programs". Concurrency and Computation: Practice & Experience, to appear. (PDF)
  2. Y. Eytani. "Concurrent Java Test Generation as a Search Problem". Fifth Workshop on Runtime Verification, Edinburgh', UK', 2005. (PDF)(ppt) (Pic1)(Pic2)'
  3. Y. Ben-Asher, Y. Eytani, and E. Farchi. "Heuristics for Finding Concurrent Bugs". Workshop on Parallel and Distributed Testing and Debugging, proceedings of IPDPS, Nice, France, 2003. (PDF)(ppt)
  4. Y. Ben-Asher, S. Berkovsky, and Y. Eytani. “Management of Unspecified Semi-Structured Data in Multi-Agent Environment”. The 21st Annual ACM Symposium on Applied Computing, Dijon, France, April 23 -27, 2006
  5. S. Berkovsky, Y. Eytani, and A. Gal. "Measuring the Relative Performance of Schema Matchers" In the Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2005), Compiegne, France, 2005. (PDF)(ppt).
  6. Lavie, A., S. Wintner, Y. Eytani, E. Peterson, and K. Probst. "Rapid Prototyping of a Transfer-based Hebrew-to-English Machine Translation System". In the International Conference on Theoretical and Methodological Issues in Machine Translation (TMI), Baltimore, MD, 2004. (PDF)


I am/was involved with the following projects:

Check Urbana-Champaign Weather

Home page of Yaniv Eytani is maintained by ieytani [at ]. Last update: 07-Feb-2006.
Personal tools