nadia-polikarpova / cse291-program-synthesis Goto Github PK
View Code? Open in Web Editor NEWProgram Synthesis Course
Program Synthesis Course
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:
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 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 should we submit our project report?
To where should we submit our proposal?
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]
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
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.
If anyone is searching for project teammates, post a comment to this issue!
Where can I find the lecture slides?
cse291-program-synthesis/README.md
Line 6 in dc14355
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.