BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Estonia
1 × France
1 × Germany
1 × India
1 × Russia
1 × The Netherlands
2 × USA
Collaborated with:
A.Abadi R.Ettinger M.Shomrat M.Abadi L.Gendler Y.Cohen D.Friedman D.Harel Y.Dubinsky M.Goldstein O.Barzilay S.S.Tyszberowicz
Talks about:
automat (4) logic (3) probabilist (2) contract (2) comput (2) slice (2) dynam (2) interprocedur (1) statechart (1) discoveri (1)

Person: Yishai A. Feldman

DBLP DBLP: Feldman:Yishai_A=

Contributed to:

SCAM 20142014
ECOOP 20132013
ESEC/FSE 20132013
ASE 20122012
FASE 20122012
ESEC/FSE 20092009
SEFM 20062006
ASE 19971997
KBSE 19951995
STOC 19831983
STOC 19821982

Wrote 12 papers:

SCAM-2014-AbadiF #algorithm #interprocedural #on-demand #parallel
A Parallel On-Demand Algorithm for Computing Interprocedural Dominators (AA, YAF), pp. 235–244.
ECOOP-2013-ShomratF #detection
Detecting Refactored Clones (MS, YAF), pp. 502–526.
ESEC-FSE-2013-DubinskyFG #logic #question
Where is the business logic? (YD, YAF, MG), pp. 667–670.
ASE-2012-AbadiF #automation
Automatic recovery of statecharts from procedural code (MA, YAF), pp. 238–241.
FASE-2012-AbadiEF #slicing #theory and practice
Fine Slicing — Theory and Applications for Computation Extraction (AA, RE, YAF), pp. 471–485.
ESEC-FSE-2009-AbadiEF #control flow #slicing
Improving slice accuracy by compression of data and control flow paths (AA, RE, YAF), pp. 223–232.
SEFM-2006-FeldmanBT #aspect-oriented #contract #design #named
Jose: Aspects for Design by Contract80-89 (YAF, OB, SST), pp. 80–89.
SEFM-2006-FeldmanG #automation #contract #named #towards
Discern: Towards the Automatic Discovery of Software Contracts (YAF, LG), pp. 90–99.
ASE-1997-CohenF #abstraction #automation #database #re-engineering #source code
Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction (YC, YAF), pp. 90–97.
KBSE-1995-FeldmanF #automation #case study #scalability
Portability by Automatic Translation — A Large-Scale Case Study (YAF, DF), pp. 123–130.
STOC-1983-Feldman #decidability #logic #probability
A Decidable Propositional Probabilistic Dynamic Logic (YAF), pp. 298–309.
STOC-1982-FeldmanH #logic #probability
A Probabilistic Dynamic Logic (YAF, DH), pp. 181–195.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.