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 × China
1 × Germany
1 × Hungary
1 × Spain
4 × USA
Collaborated with:
S.Chaudhuri S.Tripakis S.Gulwani J.Zhao Z.Budimlic V.Sarkar P.Cerný C.Szegedy S.NavidPour N.Ozay D.Zarpalas O.I.Camps
Talks about:
program (3) modular (3) code (3) synchron (2) parallel (2) generat (2) diagram (2) block (2) isol (2) silhouett (1)

Person: Roberto Lublinerman

DBLP DBLP: Lublinerman:Roberto

Contributed to:

OOPSLA 20132013
ESEC/FSE 20112011
OOPSLA 20112011
POPL 20102010
OOPSLA 20092009
POPL 20092009
DATE 20082008
ICPR v1 20062006

Wrote 8 papers:

OOPSLA-2013-ZhaoLBCS #parallel
Isolation for nested task parallelism (JZ, RL, ZB, SC, VS), pp. 571–588.
ESEC-FSE-2011-ChaudhuriGLN #proving #robust #source code
Proving programs robust (SC, SG, RL, SN), pp. 102–112.
Delegated isolation (RL, JZ, ZB, SC, VS), pp. 885–902.
POPL-2010-ChaudhuriGL #analysis #source code
Continuity analysis of programs (SC, SG, RL), pp. 57–70.
OOPSLA-2009-LublinermanCC #parallel #programming
Parallel programming with object assemblies (RL, SC, PC), pp. 61–80.
POPL-2009-LublinermanST #code generation #composition #diagrams
Modular code generation from synchronous block diagrams: modularity vs. code size (RL, CS, ST), pp. 78–89.
DATE-2008-LublinermanT #code generation #composition #diagrams #reuse #usability
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams (RL, ST), pp. 1504–1509.
ICPR-v1-2006-LublinermanOZC #linear #process #recognition #using #validation
Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques (RL, NO, DZ, OIC), pp. 347–350.

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.