Groups

cs294-synthesis

Contact owners and managers

1–30 of 31

Hello,

This is the mailing list for UC Berkeley CS294-80: Program Synthesis for Everyone.

The web page for the course is http://www.cs.berkeley.edu/~bodik/cs294fa12.html.

Welcome to the course!

--Ras Bodik and Emina Torlak

0 selected

Brandon King, … Tikhon Jelvis5

9/9/12

Extensional vs. Non-extensional Theory of Arrays

BitVectors are inherently bounded where integers are not. For integers, specifying the comparisons

unread,

Extensional vs. Non-extensional Theory of Arrays

BitVectors are inherently bounded where integers are not. For integers, specifying the comparisons

9/9/12

12/13/12

Final paper for 'Synthesis for Everyone'

Hi all, I emailed this to Ras and Emina to turn in, but I thought it'd be fun if people shared

unread,

Final paper for 'Synthesis for Everyone'

Hi all, I emailed this to Ras and Emina to turn in, but I thought it'd be fun if people shared

12/13/12

Ras Bodik, … wh4

12/12/12

final report and demo

Here's a digital copy of my report. On Sun, Dec 9, 2012 at 9:56 PM, Ras Bodik <bodik@cs.

unread,

final report and demo

Here's a digital copy of my report. On Sun, Dec 9, 2012 at 9:56 PM, Ras Bodik <bodik@cs.

12/12/12

Matt Torok, … wh6

12/9/12

Final project supporting materials?

thanks On Dec 9, 2012 8:41 PM, "Edward Lu" <edwar...@berkeley.edu> wrote: I talked

unread,

Final project supporting materials?

thanks On Dec 9, 2012 8:41 PM, "Edward Lu" <edwar...@berkeley.edu> wrote: I talked

12/9/12

12/4/12

room and a small time change for final demos

Hi all, Our demos will take place in 380 Soda, on 12/12 from 2:30-4:30pm. --Ras

unread,

room and a small time change for final demos

Hi all, Our demos will take place in 380 Soda, on 12/12 from 2:30-4:30pm. --Ras

12/4/12

11/26/12

Reading for tomorrow

Really sorry I am sending this late. people.csail.mit.edu/asolar/papers/pldi276-chaudhuri.pdf http://

unread,

Reading for tomorrow

Really sorry I am sending this late. people.csail.mit.edu/asolar/papers/pldi276-chaudhuri.pdf http://

11/26/12

11/16/12

reading for Tuesday

http://arxiv.org/pdf/1211.0557v1.pdf

unread,

reading for Tuesday

http://arxiv.org/pdf/1211.0557v1.pdf

11/16/12

Ras Bodik, … Ras Bodik3

11/8/12

template slides for tomorrow

Got it, thanks. From: cs294-s...@googlegroups.com [mailto:cs294-s...@googlegroups.com] On

unread,

template slides for tomorrow

Got it, thanks. From: cs294-s...@googlegroups.com [mailto:cs294-s...@googlegroups.com] On

11/8/12

Ras Bodik, … Ras Bodik3

10/25/12

templates for Thursday

Got it. From: cs294-s...@googlegroups.com [mailto:cs294-s...@googlegroups.com] On Behalf Of

unread,

templates for Thursday

Got it. From: cs294-s...@googlegroups.com [mailto:cs294-s...@googlegroups.com] On Behalf Of

10/25/12

Ras Bodik, Emina Torlak2

10/19/12

Racket 5.3 bugs

Hi all, The second bug that Ras mentions is fairly serious if you are communicating with an external

unread,

Racket 5.3 bugs

Hi all, The second bug that Ras mentions is fairly serious if you are communicating with an external

10/19/12

10/13/12

a paper on version space algebra

Hi all, On Thursday I mentioned that Warren's and Sarah/Shaon's projects may be amenable to

unread,

a paper on version space algebra

Hi all, On Thursday I mentioned that Warren's and Sarah/Shaon's projects may be amenable to

10/13/12

10/13/12

sim-syn code has been posted

Hi all, Sim-syn, the simple synthesizer presented on Tuesday has been revised, extended, and

unread,

sim-syn code has been posted

Hi all, Sim-syn, the simple synthesizer presented on Tuesday has been revised, extended, and

10/13/12

10/12/12

Monday webinar on synthesis

Hi all, On Monday 9am PDT, Anthony Cozzie will speak about his dissertation work, and his talk will

unread,

Monday webinar on synthesis

Hi all, On Monday 9am PDT, Anthony Cozzie will speak about his dissertation work, and his talk will

10/12/12

10/11/12

Please send me your slides by 10am. Thank you --Ras

unread,

Please send me your slides by 10am. Thank you --Ras

10/11/12

9/25/12

guide for Thursday P2 presentations

Hi all, The attached slide templates should help you prepare for your Thursday 3-minute presentations

unread,

guide for Thursday P2 presentations

Hi all, The attached slide templates should help you prepare for your Thursday 3-minute presentations

9/25/12

9/17/12

reading for tuesday

HI all, On Tuesday, we will discuss how to design and implement languages in Racket. This article

unread,

reading for tuesday

HI all, On Tuesday, we will discuss how to design and implement languages in Racket. This article

9/17/12

Ras Bodik, Ali Sinan Köksal2

9/13/12

instructions for tomorrow's presentation

Hi Ras, Please find attached my slides for today. -- ali On Wed, Sep 12, 2012 at 7:58 PM, Ras Bodik

unread,

instructions for tomorrow's presentation

Hi Ras, Please find attached my slides for today. -- ali On Wed, Sep 12, 2012 at 7:58 PM, Ras Bodik

9/13/12

Aaron Davidson, Ras Bodik2

9/12/12

Guidelines for presentation

Hi Aaron, I just sent the directions to the mailing list. From: cs294-s...@googlegroups.com [

unread,

Guidelines for presentation

Hi Aaron, I just sent the directions to the mailing list. From: cs294-s...@googlegroups.com [

9/12/12

9/10/12

expected performance for part 2 of hw2

Hi all, Several of you have asked what kind of performance to expect for Part 2 of HW2. To give you

unread,

expected performance for part 2 of hw2

Hi all, Several of you have asked what kind of performance to expect for Part 2 of HW2. To give you

9/10/12

9/10/12

Rohin pointed out that the input matrix 0, 1, …, 15 is not a safe input for Part 2 of the homework.

unread,

Rohin pointed out that the input matrix 0, 1, …, 15 is not a safe input for Part 2 of the homework.

9/10/12

9/10/12

HW2 is due Monday 11:59pm

unread,

HW2 is due Monday 11:59pm

9/10/12

9/9/12

xpose.sk where thew input is fixed

If you are working on the challenge of synthesizing xpose for data sizes larger than 4x4, you may

unread,

xpose.sk where thew input is fixed

If you are working on the challenge of synthesizing xpose for data sizes larger than 4x4, you may

9/9/12

Mangpo Phitchaya Phothilimthana, … Emina Torlak3

9/9/12

sketch doesn't work for me

Hi Mangpo, Following up on Ras's response, I verified in Rosette that the QF_AUFLIA solution is

unread,

sketch doesn't work for me

Hi Mangpo, Following up on Ras's response, I verified in Rosette that the QF_AUFLIA solution is

9/9/12

9/9/12

lecture 5 slides and screencast have been posted

Please report any broken links.

unread,

lecture 5 slides and screencast have been posted

Please report any broken links.

9/9/12

9/8/12

screencast for L3 has been posted

Hi all, The screencast for L3 has been posted. You may find it useful when working on HW2.

unread,

screencast for L3 has been posted

Hi all, The screencast for L3 has been posted. You may find it useful when working on HW2.

9/8/12

-w, … Ras Bodik20

9/8/12

You may want to review the proposals submitted by other students, both for inspiration and also to

unread,

You may want to review the proposals submitted by other students, both for inspiration and also to

9/8/12

9/4/12

reading for today

Hi all, If you find today's reading too terse, remember that the authors recommend the extended

unread,

reading for today

Hi all, If you find today's reading too terse, remember that the authors recommend the extended

9/4/12

9/4/12

lecture slides have been posted

Hi all, Slides for lectures 2 and 3 are now posted. L2 slides have been significantly revised and

unread,

lecture slides have been posted

Hi all, Slides for lectures 2 and 3 are now posted. L2 slides have been significantly revised and

9/4/12

9/1/12

Hi all, Homework 2 description has been posted: http://people.csail.mit.edu/emina/cs294/L3/hw2/hw2.

unread,

Hi all, Homework 2 description has been posted: http://people.csail.mit.edu/emina/cs294/L3/hw2/hw2.

9/1/12

8/30/12

Hi, I am attaching my hw1 and looking forward to your comments. Best, Dai

unread,

Hi, I am attaching my hw1 and looking forward to your comments. Best, Dai

8/30/12

8/28/12

Hi cs294! This is a reminder that HW1 is due Thursday before class. Originally, I asked you to email

unread,

Hi cs294! This is a reminder that HW1 is due Thursday before class. Originally, I asked you to email

8/28/12

Search

Clear search

Close search

Google apps

Main menu