Difference between revisions of "Grigore Rosu"

From FSL
Jump to: navigation, search
 
(15 intermediate revisions by one user not shown)
Line 7: Line 7:
 
: '''University of Illinois at Urbana-Champaign'''
 
: '''University of Illinois at Urbana-Champaign'''
 
:  
 
:  
:* [[Grigore Rosu - Curriculum Vitae | CV]] [[File:linkedin.png|20px|link=https://www.linkedin.com/in/grigorerosu|alt=]][[File:github.png|15px|link=https://github.com/grosu|alt=]]  
+
:* [[Grigore Rosu - Curriculum Vitae | CV]] [[File:linkedin.png|20px|link=https://www.linkedin.com/in/grigorerosu|alt=]][[File:github.png|15px|link=https://github.com/grosu|alt=]] [[File:twitter.png|18px|link=http://twitter.com/RosuGrigore|alt=]]
 
:* [[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]])
 
:* [[Grigore Rosu - Editing and Service | Editing and Service]]
 
:* [[Grigore Rosu - Editing and Service | Editing and Service]]
 
:* [[Grigore Rosu's Teaching | Teaching]]
 
:* [[Grigore Rosu's Teaching | Teaching]]
:* [[Grigore Rosu's Join Group Page | Join my group!]]
+
:* [[Grigore Rosu's Join Group Page | Join the FSL group!]]
:* [[Grigore Rosu's Aviation Page | Aviation page]]
+
:* [http://www.kframework.org/index.php/K_Project_Needs_Professional_Developers '''<span style=color:red> Join the K Team!</span>''']
 +
:* [[Grigore Rosu's Aviation Page | Aviation page]]
 
:* [[Grigore Rosu's Contact Information | Contact]]
 
:* [[Grigore Rosu's Contact Information | Contact]]
 
| [[Image:Velocity.jpg|left|center|Velocity]]
 
| [[Image:Velocity.jpg|left|center|Velocity]]
Line 19: Line 20:
  
 
{{Header | Conferences and journals in which I am involved}}
 
{{Header | Conferences and journals in which I am involved}}
:* (conferences, ordered backwards by deadline): [http://fscdconference.org/editions/fscd-2018/ FSCD'18], WRLA'18, [http://popl18.sigplan.org/home POPL'18], [http://ase2017.org/ ASE'17] (general chair), [http://www.cs.ox.ac.uk/conferences/fscd2017/ FSCD'17], [http://2017.ecoop.org/home ECOOP'17], [http://coalg.org/mfps-calco2017/cfp-calco.html CALCO'17], [http://icse2017.gatech.edu/ ICSE'17]
+
:* (conferences, ordered backwards by deadline): [https://pldi18.sigplan.org PLDI'18], [http://www.cs.le.ac.uk/events/fscd2018/ FSCD'18], WRLA'18, [http://popl18.sigplan.org/home POPL'18], [http://ase2017.org/ ASE'17] (general chair), [http://www.cs.ox.ac.uk/conferences/fscd2017/ FSCD'17], [http://2017.ecoop.org/home ECOOP'17], [http://coalg.org/mfps-calco2017/cfp-calco.html CALCO'17], [http://icse2017.gatech.edu/ ICSE'17]
 
:* (journals): [http://www.journals.elsevier.com/the-journal-of-logic-and-algebraic-programming Journal of Logic and Algebraic Programming]
 
:* (journals): [http://www.journals.elsevier.com/the-journal-of-logic-and-algebraic-programming Journal of Logic and Algebraic Programming]
  
Line 31: Line 32:
 
{{Header | Runtime Verification, Inc.}}
 
{{Header | Runtime Verification, Inc.}}
  
:* [http://runtimeverification.com Runtime Verification, Inc.]: a startup company that I founded, commercializing tools for increasing software quality.
+
:* [http://runtimeverification.com Runtime Verification, Inc. (RV)]: a startup company that I founded, commercializing tools for increasing software quality.
 
::* 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 [http://runtimeverification.com/predict RV-Predict tool], which implements our maximal causal model approach in [http://dx.doi.org/10.1145/2594291.2594315 PLDI'14] and [http://dx.doi.org/10.1007/978-3-642-35632-2_16 RV'12].  It gives you the peace of mind that it is the best you can do dynamically without false alarms.
 
::* 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 [http://runtimeverification.com/predict RV-Predict tool], which implements our maximal causal model approach in [http://dx.doi.org/10.1145/2594291.2594315 PLDI'14] and [http://dx.doi.org/10.1007/978-3-642-35632-2_16 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 [http://runtimeverification.com/match RV-Match tool], which builds upon our [https://github.com/kframework/c-semantics formal ISO C11 semantics] in [http://kframework.org K] published in [http://dx.doi.org/10.1145/2813885.2737979 PLDI'15] and [http://doi.acm.org/10.1145/2103656.2103719 POPL'12].  It is already showing [https://runtimeverification.com/match/1.0-SNAPSHOT/docs/benchmark/ better results] than the best static analysis tools and it reports no 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 [http://runtimeverification.com/match RV-Match tool], which builds upon our [https://github.com/kframework/c-semantics formal ISO C11 semantics] in [http://kframework.org K] published in [http://dx.doi.org/10.1145/2813885.2737979 PLDI'15] and [http://doi.acm.org/10.1145/2103656.2103719 POPL'12].  It is already showing [https://runtimeverification.com/match/1.0-SNAPSHOT/docs/benchmark/ better results] than the best static analysis tools and it reports no false alarms.
 +
::* [http://www.kframework.org/index.php/K_Project_Needs_Professional_Developers '''<span style=color:red> Join RV and the K Team!</span>''']
  
 
{{Header | Other links}}
 
{{Header | Other links}}
  
 
:* [[Grigore Rosu's Resource Page | Useful, Interesting, Fun]]
 
:* [[Grigore Rosu's Resource Page | Useful, Interesting, Fun]]

Latest revision as of 13:03, 16 September 2017

Grigore Rosu
Professor of Computer Science
University of Illinois at Urbana-Champaign
Velocity
Conferences and journals in which I am involved
Research Topics in which I am currently interested

You want to work on these topics? See my list of Open Problems and Challenges.

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.
  • Join RV and the K Team!
Other links
Personal tools
Namespaces

Variants
Actions
Navigation