Roberto Lublinerman

16 papers A* 4A 5Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2018 — conf
Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality.
Principles of Modeling
Stavros Tripakis, Roberto Lublinerman
2013 A conf
Isolation for nested task parallelism.
OOPSLA
Jisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar
2012 J jnl
Continuity and robustness of programs.
Commun. ACM
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
2011 A conf
Delegated isolation.
OOPSLA
Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar
2011 — conf
Proving programs robust.
SIGSOFT FSE
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour
2010 A* conf
Continuity analysis of programs.
POPL
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
2009 — conf
Actors without Directors: A Kahnian View of Heterogeneous Systems.
HSCC
Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis
2009 A* conf
Modular code generation from synchronous block diagrams: modularity vs. code size.
POPL
Roberto Lublinerman, Christian Szegedy, Stavros Tripakis
2009 A conf
Parallel programming with object assemblies.
OOPSLA
Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný
2008 A* conf
Detecting and matching repeated patterns for automatic geo-tagging in urban environments.
CVPR
Grant Schindler, Panchapagesan Krishnamurthy, Roberto Lublinerman, Yanxi Liu, Frank Dellaert
2008 A* conf
Image de-fencing.
CVPR
Yanxi Liu, Tamara Belkina, James Hays, Roberto Lublinerman
2008 A conf
Modular Code Generation from Triggered and Timed Block Diagrams.
IEEE Real-Time and Embedded Technology and Applications Symposium
Roberto Lublinerman, Stavros Tripakis
2008 A conf
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams.
DATE
Roberto Lublinerman, Stavros Tripakis
2008 — conf
Translating data flow to synchronous block diagrams.
ESTIMedia
Roberto Lublinerman, Stavros Tripakis
2006 — conf
Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques.
ICPR (1)
Roberto Lublinerman, Necmiye Ozay, Dimitrios Zarpalas, Octavia I. Camps
2006 — conf
Dynamics Based Robust Motion Segmentation.
CVPR (1)
Roberto Lublinerman, Mario Sznaier, Octavia I. Camps