Travelled to:
1 × Latvia
1 × United Kingdom
3 × USA
Collaborated with:
T.Cheatham Y.Zhou A.Thomo L.Thomo H.Gao A.F.Fahmy
Talks about:
interpret (2) abstract (2) general (2) analysi (2) suit (2) base (2) framework (1) distribut (1) function (1) support (1)
Person: Dan C. Stefanescu
DBLP: Stefanescu:Dan_C=
Contributed to:
Wrote 5 papers:
- SAC-2005-StefanescuTT #distributed #evaluation #query
- Distributed evaluation of generalized path queries (DCS, AT, LT), pp. 610–616.
- CC-1994-CheathamGS #analysis #interpreter #tool support
- A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter (TC, HG, DCS), pp. 188–202.
- LFP-1994-StefanescuZ #analysis #equation #framework #functional #higher-order #source code
- An Equational Framework for the Flow Analysis of Higher Order Functional Programs (DCS, YZ), pp. 318–327.
- SEKE-1994-CheathamFS #compilation #evolution #multi
- Supporting multiple evolving compilers (TC, AFF, DCS), pp. 241–248.
- PEPM-1992-CheathamS #abstract interpretation
- A Suite of Optimizers Based on Abstract Interpretation (TC, DCS), pp. 75–81.