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 × France
4 × USA
Collaborated with:
M.C.Rinard K.Arkoudas S.Bugrara O.Gheorghioiu C.Boyapati W.S.Beebee
Talks about:
analysi (4) program (3) java (2) interprocedur (1) multithread (1) ownership (1) procedur (1) prealloc (1) dataflow (1) checkabl (1)

Person: Alexandru Salcianu

DBLP DBLP: Salcianu:Alexandru

Contributed to:

COCV 20052005
VMCAI 20052005
FSE 20042004
PLDI 20032003
POPL 20032003
PPoPP 20012001

Wrote 6 papers:

COCV-J-2005-SalcianuA #analysis #correctness #data flow #proving
Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses (AS, KA), pp. 53–68.
VMCAI-2005-SalcianuR #analysis #java #source code
Purity and Side Effect Analysis for Java Programs (AS, MCR), pp. 199–215.
FSE-2004-RinardSB #analysis #aspect-oriented #classification #source code
A classification system and analysis for aspect-oriented programs (MCR, AS, SB), pp. 147–158.
PLDI-2003-BoyapatiSBR #java #memory management #realtime
Ownership types for safe region-based memory management in real-time Java (CB, AS, WSB, MCR), pp. 324–337.
POPL-2003-GheorghioiuSR #analysis #interprocedural
Interprocedural compatibility analysis for static object preallocation (OG, AS, MCR), pp. 273–284.
PPoPP-2001-SalcianuR #analysis #parallel #pointer #source code #thread
Pointer and escape analysis for multithreaded programs (AS, MCR), pp. 12–23.

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.