Difference between revisions of "Grigore Rosu"

From FSL
Jump to: navigation, search
Line 4: Line 4:
 
| align = "center" | [[Image:rosu-small.jpg|Grigore Rosu]]
 
| align = "center" | [[Image:rosu-small.jpg|Grigore Rosu]]
 
| width="100%" align=left |
 
| width="100%" align=left |
:* [[Grigore Rosu - Curriculum Vitae | CV]]
+
:* [[Grigore Rosu - Curriculum Vitae | CV]], [https://www.linkedin.com/in/grigorerosu LinkedIn]
 
:* [[Grigore Rosu's Publications | Publications]] ([http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rosu:Grigore.html DBLP],[http://scholar.google.com/citations?user=yxpqbdQAAAAJ&hl=en Google],[http://fsl.cs.uiuc.edu/~grosu/publications.html old])
 
:* [[Grigore Rosu's Publications | Publications]] ([http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rosu:Grigore.html DBLP],[http://scholar.google.com/citations?user=yxpqbdQAAAAJ&hl=en Google],[http://fsl.cs.uiuc.edu/~grosu/publications.html old])
 
:* [[Projects]] ([http://kframework.org K], [[MOP]], [[jPredictor]], [[Circ]])
 
:* [[Projects]] ([http://kframework.org K], [[MOP]], [[jPredictor]], [[Circ]])

Revision as of 14:42, 10 January 2016

Grigore Rosu
Velocity


Conferences and journals in which I am involved


Research ideas in which I am currently interested


Runtime Verification, Inc.
  • Are data races something that really annoy you? Do you suspect your tests are non-deterministic and sometimes fail because of a data race that you were not able to catch yet? Find it using our RV-Predict tool, which implements our maximal causal model approach in PLDI'14 and RV'12. It gives you the peace of mind that it is the best you can do dynamically without false alarms.
  • Are you fed up with the lack of portability of your C code, due to undefined behaviors? Do you want bug-free C code? Then try our RV-Match tool, which builds upon our formal ISO C11 semantics in K published in PLDI'15 and POPL'12. It is already showing better results than the best static analysis tools and it reports no false alarms.
Other links
Personal tools
Namespaces

Variants
Actions
Navigation