PBE for Data Wrangling: From program synthesis to intent disambiguation

Programming by Examples (PBE) is a technique in which a user specifies the
desired behavior of a program as a set of input-output examples, and the
synthesizer automatically generates a program that is consistent with the
input-output examples. PBE is an especially useful technique in the domain of
data wrangling and providing input-output examples for data wrangling tasks is
significantly easier than manually writing the programs.

CS 506 [Software Engineering] Project Demos

CS 506 [Software Engineering] students work together in large semester project teams. Join us any time from 2:30pm until 3:45pm to see live demos of:

• Automated Drone Application
• CartCombo
• DineIn: Restaurant Management Application
• Gerrymandering Metrics Library and Educational Application
• Hearthstone Tournament App
• The University Bookstore Loyalty Rewards App
• UW Madison Wiki

These students have accomplished much in little time. Please drop by to see and celebrate their accomplishments!

CS 506 [Software Engineering] Project Demos

CS 506 [Software Engineering] students work together in large semester project teams. Join us any time from 2:30pm until 3:45pm to see live demos of:

• Cryptocurrency Counter
• Harameter: Enhance your Breathing!
• NextGen Scoring
• NumberPrime
• SMS Information Hub
• Social Octopus
• UW-Madison Textbook Exchange

These students have accomplished much in little time. Please drop by to see and celebrate their accomplishments! Also: more demos coming Thursday!

PBE for data wrangling : From program synthesis to intent disambiguation

Programming by Examples (PBE) is a technique in which a user specifies the
desired behaviour of a program as a set of input-output examples, and the
synthesizer automatically generates a program that is consistent with the
input-output examples. PBE is an especially useful technique in the domain of
data wrangling and providing input-output examples for data wrangling tasks is
significantly easier than manually writing the programs.

Being Flexible in a Rigid World: Using Ensembles to Improve Protein Structure Modeling

The structure-function relationship, where the 3D shape of a protein defines its function, is the theoretical cornerstone behind the success of computer-aided tools for protein engineering, drug design, and drug discovery. The structural dynamics of a protein are critically connected to its function; however, software tools often ignore conformational changes and localized fluctuations in order to reduce the complexity of the modeling process.

Experience with SIGMOD Programming Contest 2018 - Techniques Used and Lessons Learned

This year's SIGMOD Programming Contest (http://sigmod18contest.db.in.tum.de/index.shtml) was about evaluating as fast as possible batches of SPJA (Selection-Projection-Join-Aggregation) queries on a set of immutable relations, under a single-node multicore and in-memory setting. We built from scratch a system called Robin that ranked 1st place on the leaderboard, which was faster by a large margin (40%) than the runner-up solution.

Programmable Storage Systems: For I/O that doesn't fit under the rug

Traditional storage systems interfaces, including POSIX file I/O and block-based interfaces have been a major success. They are easy to understand and use and their decades-long rule have prevented vendor lock-in and encouraged innovation across common interfaces. However, HPC and cloud systems are pushing their scalability, and behind their veneer of simplicity, idiosyncratic "magic" numbers are lurking, destroying performance if applications fail to discover and properly tend to them.

CS Majors Lunch and Awards Ceremony

To celebrate the end of the academic year, the Computer Sciences Department invites you to our annual lunch on Monday, April 30th from 11:45 AM - 1:30 PM.

The lunch will be conveniently located over in WID (Wisconsin Inst. for Discovery), in the H.F. DeLuca Forum.

The event is a great opportunity to visit informally with CS faculty and other students, both undergraduates and graduates. At the lunch, we'll announce the winners of the CS Department Awards and Fellowships.

We hope you can join us!

Pages

Subscribe to UW-Madison Computer Sciences Department RSS