http://132.161.132.157/drupal6/taxonomy/term/528/0 en http://132.161.132.157/drupal6/student-publications-presentations <p> Student-faculty projects with Grinnell CS students have strong track record of articles and presentations at national and regional conferences. Some examples from the past five years: </p> <h2>2017</h2> <ul><li>Jianting Chen, Medha Gopalaswamy, Prabir Pradhan, Sooji Son, and <a href="http://www.cs.grinnell.edu/~osera/">Peter-Michael Osera</a>. <q>ORC2A: A Proof Assistant for Undergraduate Education.</q> In: Symposium on Computer Science Education (<a href="https://sigcse.org/sigcse/">SIGCSE</a>). March 2017.</li> </ul> <h2>2016</h2> <ul> <li>Kevin Connors, Reilly Grant, Zachary Segall, and <a href="http://www.cs.grinnell.edu/~osera/">Peter-Michael Osera</a>. <q>Semi-automated Program Synthesis.</q> Invited talk delivered at the <a href="http://pl.cs.uchicago.edu/PLSummit/2016/">2016 Midwest PL Summit</a>. December 2016.</li> <li>Jianting Chen, Medha Gopalaswamy, Prabir Pradhan, Sooji Son, and <a href="http://www.cs.grinnell.edu/~osera/">Peter-Michael Osera</a>. <q>Introducing ORC²A: A Proof Assistant for Computer Science Pedagogy.</q> Poster presented at the <a href="http://pl.cs.uchicago.edu/PLSummit/2016/">2016 Midwest PL Summit</a>. December 2016.</li> <li>Marija Ivica, Sara Marku, Thu Nguyen, Ruth Wu, and <a href="http://www.cs.grinnell.edu/~walker/">Henry M. Walker</a>. <q>Student-faculty collaboration in developing and testing infrastructure for a C-based course using robots,</q> <em>Journal of Computing Sciences in Colleges</em> 32(1): 57-64. Presented at 23rd Annual Midwest Conference of the Consortium for Computer Science in Colleges, October 2016.</li> <li>Sara Marku and Ruth Wu. <q>A Team Approach for Software Development and Testing,</q> Student Poster Presented at the 23rd Annual Midwest Conference of the Consortium for Computer Science in Colleges, October 2016. Received a "Best Student Poster" award.</li> </ul> <h2>2015</h2> <ul> <li>Vasili Vasilisa Bashlovkina, Anita DeWitt, Anqing Liu, Nicolas Knoebber, and <a href="http://www.cs.grinnell.edu/~walker/">Henry M. Walker</a>. <q>A refined C-based infrastructure and curriculum to support robots in introductory CS,</q> <em>Journal of Computing Sciences in Colleges</em> 30(5):136-143. Presented at 21st Annual Central Plains Conference of the Consortium for Computer Science in Colleges, May 2015.</li> <li>Vasilisa Bashlovkina and Anita DeWitt. <q>Image Processing in the revised MyroC 2.1,</q> Student Poster Presented at at 21st Annual Central Plains Conference of the Consortium for Computer Science in Colleges, May 2015.</li> <li>Nicholas Knoeber and Anquing Liu. <q>Blocking versus Non-blocking Movements in MyroC2.1,</q> Student Poster Presented at at 21st Annual Central Plains Conference of the Consortium for Computer Science in Colleges, May 2015.</li> </ul> <h2>2014</h2> <ul> <li> <p> Erik Opavsky, Dilan Ustek, David Cowden, and <a href="http://www.cs.grinnell.edu/~walker/">Henry M. Walker</a>. <q>Course Development through Student-Faculty Collaboration: A Case Study</q>, Proceedings of the 19th ACM SIGCSE Conference on Innovation and Technology in Computer Science Education, June 2014, Uppsala, Sweden. </p> <p> <img src="/drupal6/sites/default/files/iticse-2014.jpg" alt="presentation at SIGCSE 2012" width="200" /> &nbsp; <img src="/drupal6/sites/default/files/iticse-2014-dilan-ustek.jpg" alt="Dilan Ustek at SIGCSE 2012" width="200" /> &nbsp; <img src="/drupal6/sites/default/files/iticse-2014-erik-opavsky.jpg" alt="Erik Opavsky at SIGCSE 2012" width="200" /><br /> <strong>Henry Walker with students, Dilan Ustek and Erik Opavsky, at ITiCSE 2014, Uppsala, Sweden</strong> </p> </li> <li>Nediyana Daskalova, Nathalie Ford, Ann Hu, Kyle Moorehead, and Benjamin Wagnon with Janet Davis. <q>Informing Design of Suggestion and Self-Monitoring Tools through Participatory Experience Prototypes.</q> In Anna Spagnolli, Luca Chittaro, Luciano Gamberini (Ed.) The 9th International Conference on Persuasive Technology (PERSUASIVE 2014), 8462, Springer, 68-79. </li> <li>Michael Cermak, David Hanle, and Yirong Jing with Jeffrey Blanchard (Mathematics). <q> <!--<a href="http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=6719509">--> Greedy Algorithms for Joint Sparse Recovery<!--</a>-->,</q> <em>IEEE Transactions on Signal Processing</em>, 62(7): 1694-1704, 2014. </li> </ul> <table id="attachments" class="sticky-enabled"> <thead><tr><th>Attachment</th><th>Size</th> </tr></thead> <tbody> <tr class="odd"><td><a href="http://132.161.132.157/drupal6/sites/default/files/iticse-2014.jpg">iticse-2014.jpg</a></td><td>105.62 KB</td> </tr> <tr class="even"><td><a href="http://132.161.132.157/drupal6/sites/default/files/iticse-2014-dilan-ustek.jpg">iticse-2014-dilan-ustek.jpg</a></td><td>43.88 KB</td> </tr> <tr class="odd"><td><a href="http://132.161.132.157/drupal6/sites/default/files/iticse-2014-erik-opavsky.jpg">iticse-2014-erik-opavsky.jpg</a></td><td>80.39 KB</td> </tr> </tbody> </table> papers posters publications student-faculty research Tue, 27 May 2014 22:13:16 +0000 walker 732 at http://132.161.132.157/drupal6