Roopsha Samanta

@roopshasamanta

Assistant Prof. and . Automated program verification, repair, and synthesis. Other interests:

cs.purdue.edu/homes/roopsha/
Vrijeme pridruživanja: prosinac 2015.
35 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @roopshasamanta

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @roopshasamanta

  1. Prikvačeni tweet
    14. lis 2019.

    I am actively looking for graduate students! Here's a talk on some recent/ongoing projects in my group: Discover[i]: Component-based Parameterized Reasoning for Distributed Applications More info:

    23 proslijeđena tweeta 48 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  2. prije 14 sati

    Yup. I am ashamed to confess that I tend to cross that line fairly often. Sorry and !

    Odgovor korisniku/ci @justinesherry
    can confirm that the parenting/advising line is very, very thin
    9 korisnika označava da im se sviđa
    Poništi
  3. prije 17 sati

    TFW when you safely roll back into your garage in your rear-drive roadster after driving it for the first time in (unexpected) snow. I will go back to our trusty AWD for the rest of winter.

    1 reply 9 korisnika označava da im se sviđa
    Poništi
  4. 4. velj

    For those interested, here's the video of my talk on Augmented Example-Based Synthesis: And the slides are available here: Many thanks to the POPL Video Chair --- Benjamin Chung!

    1 reply 2 proslijeđena tweeta 23 korisnika označavaju da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    30. sij

    PLMW is a great opportunity for people getting started (or thinking about getting started) in PL research. Scholarships available -- please apply!

    The Programming Languages Mentorship Workshop at PLDI is for late-stage undergrads and early-stage grad students.
    5 proslijeđenih tweetova 22 korisnika označavaju da im se sviđa
    Poništi
  6. 29. sij

    POPL conf. Check. POPL talk. Check. CAV submissions. Check. Now I am finally ready to bring in 2020. Where's the party?

    1 reply 1 proslijeđeni tweet 34 korisnika označavaju da im se sviđa
    Poništi
  7. 25. sij

    Goodbye NOLA and ! You were both exhilarating.

    25 korisnika označava da im se sviđa
    Poništi
  8. 23. sij

    Since I left out my coauthors from the title slide because I thought they deserved their own slide, here you go :-).

    5 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  9. 23. sij

    Couldn't have asked for a better summary of my talk . Thanks a ton, !

    Next, on a really great paper, imo.
    Prikaži ovu nit
    1 reply 17 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. 21. sij

    Guess who will be soon!

    52 korisnika označavaju da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    24. pro 2019.

    What a year it has been in Math and CS!

    3 proslijeđena tweeta 21 korisnik označava da mu se sviđa
    Poništi
  12. 21. pro 2019.

    One of the best parts of going home to India is recovering some long forgotten fragments of childhood. Some years it's a sketch or a painting, other years it's a poem scribbled in a favorite notebook. This year, I found these treasured delights from MIR Publishers and others.

    5 replies 44 korisnika označavaju da im se sviđa
    Poništi
  13. 19. pro 2019.

    Had a wonderful couple of days visiting India & & catching with some of the best PL/FM minds in India -Akash Lal, , Aseem Rastogi, Rahul Sharma, Deepak D'Souza, K. V. Raghavan & many young researchers. Thanks Akash & Deepak for hosting!

    33 korisnika označavaju da im se sviđa
    Poništi
  14. 4. pro 2019.

    Such a pleasure to host Isil Dillig for 's Excellence Lecture series. Look how happy all our students are after her program synthesis talk!

    Professor Işil Dillig- Thanks for your talk and sharing your knowledge at .
    Prikaži ovu nit
    1 reply 43 korisnika označavaju da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    25. stu 2019.

    NEXT WEEK welcomes Professor Işil Dillig of for our Excellence Lecture Series. Title: Computer-Aided Programming Across the Software Stack Details: Wed 12/4 | 2:30 | LWSN 1142

    8 proslijeđenih tweetova 24 korisnika označavaju da im se sviđa
    Poništi
  16. 12. stu 2019.

    Loving all the snow day pics on my feed! Here's one from West Lafayette ☃️.

    15 korisnika označava da im se sviđa
    Poništi
  17. 9. stu 2019.

    I believe this simple idea, which is totally reminiscent of data augmentation in ML, can be used to augment PBE in various domains (beyond the Boolean and integer domains we explored for the POPL paper). Ping me if you want to brainstorm about this!

    4 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. 9. stu 2019.

    We tackle the ambiguity-resolution problem in PBE by applying a semantic bias to the search space using properties that relate the change in an input to the change in an output (e.g. permutation invariance). We also show how one can infer applicable properties automatically.

    1 reply 2 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  19. 9. stu 2019.

    Delighted that our work on "Augmented Example-based Synthesis using Relational Perturbation Properties", with Shengwei An, and Sasa Misailovic will appear in !

    1 reply 5 proslijeđenih tweetova 54 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  20. 31. lis 2019.

    Winter, disguised as Fall. Happy Halloween!

    1 proslijeđeni tweet 53 korisnika označavaju da im se sviđa
    Poništi
  21. 28. lis 2019.

    CRA: Incentivize quality over quantity. Evaluate faculty candidates on 1-2 top papers. Evaluate tenure-track faculty on 3-5 top papers. Me: Amen!

    12 proslijeđenih tweetova 32 korisnika označavaju da im se sviđa
    Poništi

@roopshasamanta još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·