nadia-polikarpova / cse291-program-synthesis Goto Github PK

Expected Behaviour: FlashFill paper is listed under "Reviews -> Assigned to me"
Actual Behaviour: FlashFill paper is not listed under "Reviews -> Assigned to me"

I'm not sure if it hasn't been assigned to just me or the entire class.
I attached a screenshot in case that's helpful.

Hi, I am Anirudh. I am a second year CS masters student, looking for a team to join. My courses at UCSD have mostly been focused on Machine Learning. So if you plan to work at the intersection of program synthesis and machine learning, I would like to work with you. I am open to other ideas too. I am new to the field of Program Synthesis, but otherwise have lots of programming experience.

If you have space in an existing team, or do not have a team yet, please let me know. My email is [email protected]. Here is my resume if it helps.

Thanks!

Where can I find the lecture slides?

Hi! I'm a third-year PhD student in Networking and Security, and looking for a teammate for this class. I am open to any project ideas on any topic, though would prefer to work on networking or security if at all possible. You can reach me at [email protected].
Thanks!
-Alex

So for the CSE 291 that will be offered in Fall 2018, I can see that it has the prerequisite as "CSE 230". I am an incoming graduate student and I already took CSE 130(undergraduate version of CSE 230) at UCSD. So am I considered to be eligible to be enrolled in this class?

For the programming background: I learn OCaml from CSE 130 and I personally use Haskell before

Thanks:blush:

Hi! I am a second year MS CSE student. Among the project ideas listed in course wiki, the ones that looks interesting to me are CEGIS, VSA, Synthesis for homomorphic encryption, Synthesis for lambda calculus and Extensions to Synquid (i).

I am thinking about doing one of the above but I am open to ideas, especially if related to Linguistics (doesn't have to be). If you are interested in working together, please contact me by replying below or by email.

Thanks,
Qian Xiong
[email protected]

Some background:

• My closest experience related to this course is writing an interpreter for COOL (Classroom Object-Oriented Language) in Reason (a dialect of OCaml). It was a pretty fun course project.
• Linguistics is my greatest academic interest outside of CS. I've taken quite a few Linguistics course from Linguistics/Anthropology department (phonology, morphology, syntax, theories etc.).

Hey Everyone,
I am Gaurav, First Year PhD in CSE. If possible, I am thinking of doing a joint project with Automated Reasoning.

Thanks!
Gaurav
[email protected]

To where should we submit our proposal?

If anyone is searching for project teammates, post a comment to this issue!

How many SMT modulo theories are there and what are their names? Which of them can be handled by the current synthesis techniques?
After reading EUSolver, I'm just kind of curious about this. Because the paper describes its method with examples in a subset of Linear Integer Arithmetic only. And I feel like such kind of enumeration-based techniques will not work on large-size or infinite theories, like float-point numbers and real numbers, right? Besides, I cannot see that this framework will support loops or recursions, yet we've seen recursion in
the program synthesized by Synquid in class. Therefore, I'm curious about which SMT modulo theory includes recursions, and about how well current synthesis techniques handle them.

Where should we submit our project report?