Roberto Lublinerman

Roberto Lublinerman

Many people would sooner die than think; in fact, they do so

-- Bertrand Russel

Wednesday March 31, 2010

Main Menu

About me

Publications

Software

Random Thoughts

   

About me

 

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: 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