Difference between revisions of "Grigore Rosu"
From FSL
| Line 20: | Line 20: | ||
{{Header | Conferences and journals in which I am involved}} | {{Header | Conferences and journals in which I am involved}} | ||
| − | :* <span style=color:red>Note to PC chairs</span>: Starting with 2019, I'm not going to accept to be part of any program committee that requires me to attend a physical meeting. PC meetings are totally useless in my view, and considering that 30+ people are required to drop what they do to fly for them, also extremely expensive. So please do not bother inviting me on the PC if you plan to require me attend a physical PC meeting. | + | :* '''<span style=color:red>Note to PC chairs</span>''': Starting with 2019, I'm not going to accept to be part of any program committee that requires me to attend a physical meeting. PC meetings are totally useless in my view, and considering that 30+ people are required to drop what they do to fly for them, also extremely expensive. So please do not bother inviting me on the PC if you plan to require me attend a physical PC meeting. |
:* (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] | :* (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] | ||
Revision as of 12:18, 25 December 2018
|
|
 |
| Conferences and journals in which I am involved |
|---|
- Note to PC chairs: Starting with 2019, I'm not going to accept to be part of any program committee that requires me to attend a physical meeting. PC meetings are totally useless in my view, and considering that 30+ people are required to drop what they do to fly for them, also extremely expensive. So please do not bother inviting me on the PC if you plan to require me attend a physical PC meeting.
- (conferences, ordered backwards by deadline): PLDI'18, FSCD'18, WRLA'18, POPL'18, ASE'17 (general chair), FSCD'17, ECOOP'17, CALCO'17, ICSE'17
- (journals): Journal of Logic and Algebraic Programming
| Research Topics in which I am currently interested |
|---|
- Programming Language Design and Semantics - Designing and verifying programming languages using formal executable semantics
- Runtime Verification - Checking programs against properties as they execute
- Circular Coinduction - Proving behavioral equivalence by exhaustive testing of indistinguishability
You want to work on these topics? See my list of Open Problems and Challenges.
| Runtime Verification, Inc. |
|---|
- 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 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 |
|---|
