|
I am a PhD student at Penn State under the supervision
of Swarat Chaudhuri.
I am interested in many aspects of theoretical computer
science; currently idioms, formalisms and
verification of concurrent software systems.
Email: 
Publications
-
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman:
Continuity analysis of programs. In POPL 2010.
(pdf)
-
Roberto Lublinerman, Swarat
Chaudhuri, Pavol Cerny: Parallel programming with object
assemblies. In OOPSLA 2009.
(pdf)
-
P.
Caspi, A. Benveniste, R. Lublinerman, and S. Tripakis.
Actors without Directors: a Kahnian View of
Heterogeneous Systems. In
HSCC 2009.
(pdf)
-
R.
Lublinerman, C. Szegedy and S. Tripakis.
Modular Code Generation from Synchronous Block Diagrams
- Modularity vs. Code Size. In
POPL 2009.
(pdf)
-
R.
Lublinerman and S. Tripakis.
Translating Data Flow to Synchronous Block Diagrams.
In
ESTIMedia 2008.
(pdf)
-
R.
Lublinerman and S. Tripakis. Modular Code
Generation from Synchronous Block Diagrams.In
1st Intl. Workshop on Numerical Abstractions for
Software Verification (NSV 2008).
(pdf)
-
Yanxi Liu, Tamara Belkina, James Hays, Roberto
Lublinerman. Image De-fencing.
In
IEEE Computer Society
Conference on Computer Vision and Pattern Recognition
(CVPR 2008).
(pdf)
-
Grant Schindler, Panchapagesan
Krishnamurthy, Roberto Lublinerman, Yanxi Liu, and Frank
Dellaert. Detecting and Matching
Repeated Patterns for Automatic Geo-tagging in Urban
Environments. In
IEEE
Computer Society Conference on Computer Vision and
Pattern Recognition (CVPR 2008).
(pdf)
-
Roberto
Lublinerman and Stavros Tripakis.
Modular Code Generation from Triggered and Timed Block
Diagrams. In
Real-Time and Embedded Technology and Applications
Symposium (RTAS 2008).
(pdf)
-
Roberto
Lublinerman and Stavros Tripakis.
Modularity vs. Reusability: Code Generation from
Synchronous Block Diagrams.
In
Design, Automation and Test in Europe (DATE 2008).
(pdf)
-
Roberto Lublinerman, Necmiye Ozay,
Dimitrios Zarpalas, Octavia I. Camps.
Activity Recognition from Silhouettes using Linear
Systems and Model (In)validation Techniques. In
International Conference on Pattern Recognition (ICPR
2006).
(pdf)
Roberto Lublinerman, Mario Sznaier, Octavia I. Camps.
Dynamics Based Robust Motion Segmentation. In
IEEE Computer Society Conference on Computer Vision and
Pattern Recognition (CVPR 2006).
(pdf)
Copyright note: The papers provided here can be
accessed for personal use. They have been provided in
order to ensure timely dissemination of research
results. Copyright and all rights on these papers are
retained by authors or by other copyright holders (e.g.,
publishers). All persons copying this information are
expected to adhere to the terms and constraints invoked
by each copyright. These works may not be redistributed
without the explicit permission of the copyright holder
Software
jChorus System - Compiler and runtime system described
in the OOPSLA09
bdc - Block diagram compiler
described in the POPL09 paper
|
|
|
|
|
