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!

Theory Seminar: Pricing for Online Allocation with Interval Preferences

We study an online resource allocation problem where a seller has many items with multiplicities to offer and the items are arranged in a total order. Buyers are interested in buying intervals of items, and have different values for different intervals, drawn from a known distribution. The seller’s goal is to design an online allocation mechanism that maximizes social welfare. Importantly, buyers’ preferences have complementarities, so that recently-developed constant-factor approximations via item prices do not apply, and indeed strong negative results are known.

Full-Stack Engineer

In the fight against cancer, Standard Imaging delivers precision QA products that help lead to better patient outcomes. We are a market leader specializing in radiotherapy QA technology.

Do you have strong back end engineering skills with a passion for creating exceptional user experiences? We are seeking a creative, talented full-stack engineer to help us build medical device applications for the radiotherapy, quality assurance industry.

Pages

Subscribe to UW-Madison Computer Sciences Department RSS