SENG2011 Notices

Notices

  • Sign-off for 2024

    Posted by Albert Nymeyer Monday 16 December 2024, 02:47:01 PM.

    Thanks to everyone for participating in SENG2011, we enjoyed giving the course very much. For most of you the course is finished, but there is a large group that will be doing the supplementary exam in 2025 (I cannot give you the exact date or time, the school will contact you in January). 177 students attended the final exam: the distribution of the final course marks for these students is as follows:

    • 95-100 marks: 7 students, 85-94: 23 students, 75-84: 36, 65-74: 37, 50-64: 44
    We have already started on ideas to re-style the course for 2025 taking into account the responses to the survey. If you wish to make any final comments on the legacy of the course for you, Ana has a 'takeaway' thread on the forum. If you wish to make any comments on the lecture slides, particularly where you think they need more work, more explanation, more examples, then please start a new thread. If you want to contact me regarding the course, do so via the forum as it will have my undivided attention over the summer. Good luck in the future.

    Albert (and Stephen and Sam)

  • Assignment 2

    Posted by Albert Nymeyer Wednesday 11 December 2024, 12:13:01 PM.

    Assignment 2 results have been released. Also, sample solutions and some general feedback is provided on the Assignments page. If you wish to query your mark, do so on the forum, privately of course, but make sure you have read the general feedback first. Please do not email me.

  • Final Exam This Afternoon

    Posted by Stephen Chuang Wednesday 04 December 2024, 12:06:37 PM, last modified Wednesday 04 December 2024, 12:26:01 PM.

    The final exam will be this afternoon for most students.

    Make sure you arrive early and allocate your time well. Don't spend too long on a single question.

    By now you should have familiarised yourself with the exam environment (see the Examination Description and Environment document under the Exam section) and where you will be seated (see https://cgi.cse.unsw.edu.au/~exam/24T3/seating/register.cgi/allocations/ ).

    There will be a hurdle for this exam, but if you have made a good attempt at the assignments and have done all the practice exercises, the hurdle should not be an issue for you.

    Good luck.

  • Course website down and up again

    Posted by Albert Nymeyer Saturday 30 November 2024, 03:21:53 PM.

    Some may have noticed WebCMS3 went down Friday night (a problem with the network I understand). To prove it's up again I'll announce it.

  • Last Mini-Exam Released

    Posted by Stephen Chuang Thursday 28 November 2024, 06:39:05 PM.

    The last mini-exam is now available under the Practice and Play section. Answers for the second mini-exam are also available.

    Answers for the third and fourth mini-exams will be released this Friday and Sunday respectively.

    Best of luck with your revision.

  • Another Mini-Exam Released

    Posted by Stephen Chuang Monday 25 November 2024, 05:59:56 PM.

    The third mini-exam has now been released. Solutions to the first mini-exam are also available.

    The last mini-exam will be released later this week.

  • Exam Seating Allocations

    Posted by Stephen Chuang Friday 22 November 2024, 10:52:59 AM.

    You can check your seating allocations at https://cgi.cse.unsw.edu.au/~exam/24T3/seating/register.cgi/allocations . Make sure you know where to go on the day.

  • Some Exam Information

    Posted by Stephen Chuang Thursday 21 November 2024, 04:08:04 PM.

    A document describing the exam environment has been released under the 'Exam' section on this website. Please read it carefully and familiarise yourself with using a terminal and at least one of the editors available (doing the mini-exams in an exam-like environment is a good way to practice this). Don't be that one student who asks how to open a text editor during the exam (it has happened in previous years).

    Another mini-exam containing two questions on lemmas has also been released to help with your exam preparation. As always, there will be forum assistance for the mini-exams and the other Practice and Play exercises.

    The myExperience response rate has reached 42%, so the Bonus Upgrade Mark policy is still within reach. The survey closes tonight, so fill it out as soon as you can!

  • myExperience Update

    Posted by Stephen Chuang Wednesday 20 November 2024, 05:25:21 PM.

    The response rate is at approximately 26% so far. Still a decent way to go before the Bonus Upgrade Mark policy is implemented.

    In 2021 which was a rather exceptional year for this policy, 13 students went up a grade.

    Don't fall victim to the bystander effect and assume other people will do the myExperience survey. Completing the survey will provide valuable feedback that can be used to improve this course in the future.

  • A Few Study Period Reminders

    Posted by Stephen Chuang Tuesday 19 November 2024, 09:37:22 AM, last modified Tuesday 19 November 2024, 09:37:38 AM.

    The Bonus Upgrade Mark policy gives a bonus mark to students with a mark of 49, 64, 74 or 84 to upgrade them to the next grade. This policy will be applied if the myExperience response rate reaches 66.66%. Don't forget to fill it out and encourage your classmates to do so as well! myExperience is due at 11:59 p.m. on Thursday 21 November . The current response rate is about 10%.

    As we move into week 11, the late penalty for assignment 2 will continue to accumulate by the day and will be deducted from your obtained mark. If you don't have an approved extension, please try to submit assignment 2 as soon as you can. At the moment, about 68% of students have submitted.

    You should now have all your marks for the six quizzes. Take your total mark out of 70 (quiz 1 was worth 20 marks) and that will contribute 10% towards your grade.

  • Mini-Exams Now Available

    Posted by Stephen Chuang Monday 18 November 2024, 11:13:10 AM, last modified Monday 18 November 2024, 01:38:59 PM.

    Four One mini-exam has been opened under the Practice and Play section. These are great practice for the final exam.

    Forum help will be available for the mini-exams.

    Solutions will be released starting from the end of this week.

    Update: The rest of the mini-exams still need a bit more work before they can be released, so focus on the first mini-exam for now.

  • Assignment 2 Due Tomorrow

    Posted by Stephen Chuang Saturday 16 November 2024, 09:50:29 AM.

    Good morning! Assignment 2 is due at 9 p.m. on Sunday 17 November unless you have an approved extension.

    Continue to use the forum for any questions about the assignment. The forum may be busy this weekend, so there is no guarantee your question can be answered in time if you post it too close to the deadline.

    Some mini-exams will be released after the assignment is due. These are great practice for the final exam on 4 December.


  • End of Week 9 Notice

    Posted by Stephen Chuang Friday 08 November 2024, 11:47:30 PM.

    Assignment 2 is now well underway and is due in a little under 9 days from the time this notice was posted.

    Both quiz 5 and 6 are due this Sunday at 9 p.m.

    There will be no quiz for week 10.

    Forum help for the assignment will be available over both this weekend and next weekend, or you can also attend the week 10 post-lecture consultation.

  • Assignment 2 update

    Posted by Albert Nymeyer Wednesday 06 November 2024, 07:33:44 AM.

    Assignment 2 is now complete, a 4th exercise on lemmas that uses this and next week's lecture has been added. Get on the forum if anything is unclear or you get stuck.

    I will write a small blurb on performance, which is an issue you may need to consider when you get close to submission as there is a verification time limit in the auto-marker.

  • Week 9 notes and a new video

    Posted by Albert Nymeyer Friday 01 November 2024, 09:53:01 AM.

    Week 9 Dafny chapters ' Le mma Introductio n' and 'Lemma Induction 1' have been made opened. Also, a new video that shows Sam doing a proof by induction has been added to Practice and Play. Please take a look at them.

  • Quiz 5 Deadline Extended

    Posted by Stephen Chuang Thursday 31 October 2024, 07:23:58 PM.

    Due to quiz 5 having questions on lemmas which have not yet been covered in lectures, the deadline for quiz 5 has been extended by one week to 9 p.m. on Sunday 10 November.

    More exercises have also been opened up under Practice and Play.

  • Assignment 1 results released

    Posted by Albert Nymeyer Wednesday 30 October 2024, 11:02:39 PM.

    You should be able to collect your marked first assignment. You will find the solutions under Assignments. Please send marking queries to the forum, made private of course.

    The distribution of marks is quite flat and is as follows (highest mark is 35): 47 students were in the range 30--35, 67 in the range 26--29.75, 34 in range 23--25.75, and 39 in range 17--22.75. Most of those scoring less than 17 were not far off passing, and would have passed if they had done all the exercises. All in all, the assignment was well done.

  • Assignment 2 released

    Posted by Albert Nymeyer Sunday 27 October 2024, 06:54:55 PM.

    Some of you have already noticed that the second assignment is now available. I'm doing things a bit different this year. Firstly, fewer exercises so these last few weeks are not so stressful for you. Secondly, the exercises are more closely related to the lecture content or what you've seen before, so you have familiarity. The assignment is currently 3 exercises, I will be adding the fourth and final exercise later in the week that is related to this week's lecture.

    Assignment 2 exercises typically push Dafny closer to its limits, so you'll need to be conscious of the time it takes to verify your programs. I will let you know more about this later this week as well.

    Assignment 1 has been completely marked. I'll be releasing results shortly.

  • More Exercises Opened

    Posted by Stephen Chuang Monday 14 October 2024, 05:13:38 PM, last modified Wednesday 23 October 2024, 07:18:06 PM.

    More exercises have been opened under Practice and Play, and solutions to the previously released exercises are now available. This includes two more exercises under the videos section.

    Solutions will continue to be released over the coming week.

    Assignment 1 was due on Sunday 13 October at 9 p.m. Roughly 90% of students have submitted so far.

    Quiz 4 is now out and will be assessing content up to and including week 7.

  • End of Week 4 Updates

    Posted by Stephen Chuang Saturday 05 October 2024, 08:35:10 AM.

    The census date is tomorrow (Sunday 6 October). If you drop a course after 11:59 p.m. on this date, you will be financially liable for the course.

    Assignment 1 is due in a little over a week and by now you should know most of the content to get through the exercises. Try to avoid doing it all at the last minute. Forum availability may be limited during the weekend for week 5 and depending on the volume of forum queries, there is no guarantee that you will be able to get questions answered if you post them too close to the deadline.

    There have been quite a few problems with quiz submissions for the first two quizzes. Make sure you submit every quiz with plenty of extra time as WebCMS may be busy and your submission might take a while to go through. Session time outs are also quite a common occurrence, so don't spend too long with the quiz open. It's also a good idea to save your answers somewhere (even if on paper) so that you don't lose your progress due to a time out.

    There will be no quiz next week. Use this extra time wisely.

    Enjoy your long weekend.

  • Assignment 1 and More Fully Released

    Posted by Stephen Chuang Thursday 26 September 2024, 09:29:29 AM, last modified Thursday 26 September 2024, 09:29:40 AM.

    Exercise 6 from assignment 1 is now ready and can be viewed from the 'Assignments' page.

    In addition:

    • Some theory exercises have also been released under the 'Practice and Play' section.
    • A video by Samuel Zheng has been released under the same section.
    • Week 3 lecture slides have been released.

  • Assignment 1 Released (Almost)

    Posted by Stephen Chuang Wednesday 25 September 2024, 08:26:08 AM.

    The first 5 of 6 exercises from Assignment 1 have been released under the 'Assignments' section of this website. There will be another announcement made when exercise 6 is ready.

    This assignment will contribute 15% of your final mark for this course and is to be done individually. It is due at 9 p.m. on Sunday 13 October (in week 5).

    You won't be able to finish the entire assignment with the content that has been covered so far in lectures at the moment, but it is a good idea to look through the exercises and make a start on them.

  • End of Week 2 Notice

    Posted by Stephen Chuang Saturday 21 September 2024, 08:37:08 PM.

    A reminder that quiz 1 is due at 9 p.m. on Sunday 22 September. Only your latest submission will be marked and late submissions will not be accepted unless you have an extension.

    Quiz results will be released on the Tuesday after the quiz is due. This should give you enough time to review them and learn from the feedback before the next lecture.

    There is a document under the Practice and Play section called "Dafny: make a start" that will show you how to use Dafny. Be sure to familiarise yourselves with these commands as you will be using them frequently throughout this course.

    If you want to install Dafny on your machine instead of doing your work on CSE, make sure you install version 4.7. For repeat students, this is a different version to what was used last year. Assignments must verify with CSE Dafny so it is a good idea to make sure everything works on the CSE systems before you submit.

  • Lecture Recordings Fixed

    Posted by Stephen Chuang Saturday 14 September 2024, 02:14:31 PM.

    Lecture recordings have been fixed. Contact the course account if you still have issues with accessing them.

    Quiz 1 covers content from both weeks 1 and 2, so no extension will be given.

  • Welcome to SENG2011!

    Posted by Stephen Chuang Saturday 07 September 2024, 10:11:50 PM.

    Welcome to SENG2011! I'm Stephen and I will be your course admin for this offering of the course. Albert Nymeyer will be your lecturer/course convenor, and Samuel Zheng will also be helping out with delivering the course this year.

    This course's resources include:

    • WebCMS3 - the main course website and the main source of information. You can find the course outline, course announcements, lecture slides, practice exercises, quizzes, assignments, and exam information here.
    • Moodle has lecture recordings, but attending lectures in person is highly recommended.
    • The Ed Forum, which should be your first point of contact for any questions about the course. It is accessible through the link in the sidebar. I encourage you all to be actively asking and answering questions – explaining concepts to others is a great way to learn. Course announcements will not typically be posted on the forum.

    The Ed Forum also allows private posts, which is especially important for assignment-related questions where you share parts of your approach or solution. The invite link is https://edstem.org/au/join/CDaRh8 .

    For some queries, it may be more appropriate to talk directly to course staff by emailing the class account se2011@cse.unsw.edu.au rather than posting on the forum. Contacting course staff through personal email addresses is discouraged.

    Make sure you have read both course outline on ECOS and the Course Outline Appendix so that you are familiar with the prerequisite knowledge that is expected of you, the course schedule, and assessment details.

    Enjoy the rest of your break.

    Stephen

Back to top

SENG2011 24T3 (Workshop on Reasoning about Programs) is powered by WebCMS3
CRICOS Provider No. 00098G