processalgebra.blogspot.com
Process Algebra Diary: March 2015
http://processalgebra.blogspot.com/2015_03_01_archive.html
Papers I find interesting- -mostly, but not solely, in Process Algebra- -, and some fun stuff in Mathematics and Computer Science at large and on general issues related to research, teaching and academic life. Tuesday, March 31, 2015. Ode to the Automata Tutor. In both editions of my course, which has been followed by about 500 students overall, I have used the AutomataTutor. To support my teaching of material related to finite automata and to grade student assignments automatically. For what it is worth...
cis.upenn.edu
Rajeev Alur
http://www.cis.upenn.edu/~alur
Department of Computer and Information Science. 3330 Walnut Street, Philadelphia, PA 19104-6389. Email: alur at cis upenn edu. Phone: 1 (215) 573-7483. And I also collaborate with Penn's PL Club. And Theory Research Group. Textbook: Principles of Cyber-Physical Systems, MIT Press, 2015. My current research is focused on two directions:. Synthesis for System Design:. I am leading NSF Expeditions in Computer Augmented Program Engineering (ExCAPE). For scenario-based programming of network policies). We...
research.microsoft.com
Sumit Gulwani's Homepage
http://research.microsoft.com/en-us/um/people/sumitg
Research Manager and Principal Researcher @ Microsoft. Adjunct Faculty @ IIT Kanpur. Affiliate Faculty @ Univ. of Washington. One Microsoft Way, Redmond, WA, 98052. Sumitg at microsoft dot com. 425) 936 7329 (attn: sumitg). Productizing that research, and be part of a team of incredible researchers and engineers, please ping me. I am also interested in building intelligent tutoring systems. Please send me email. Ships in Powershell and Azure OMS. Framework for creating PBE technologies. Programming ( PLD...
excape.cis.upenn.edu
Personalized Education | ExCAPE
https://excape.cis.upenn.edu/cp_personalized-edu.html
Skip directly to: content. Programing for Mobile Platofrms. Theme Leaders: Bjoern Hartmann (Berkeley) and Sanjit Seshia (Berkeley). PIs: Alur (Penn) and Hartmann (Berkeley). We have developed novel ways of automatically computing alternative hints. Our tool, AutomataTutor. Can suggest edits to the student’s DFA, highlight phrases from the problem that the student may have misunderstood, or produce a description of the set of all incorrectly handled strings. PI: Seshia (Berkeley) and Hartmann (Berkeley).
alexanderweinert.net
Projects
http://www.alexanderweinert.net/projects
An online tool that helps students and instructors to teach and learn basic concepts in automata theory. Provides automated feedback to the student if they provide a wrong automaton. You can try it out here. During my work on my Master's thesis I have contributed to AProVE. A powerful tool for proving termination of Java-, C- and Prolog-Programs. When I was a research assistant at the Group for High Performance Computing. Of the IT Center. Of RWTH Aachen University.
blog.ieeesoftware.org
IEEE Software Blog: February 2016
http://blog.ieeesoftware.org/2016_02_01_archive.html
Sunday, February 28, 2016. Do commercial software teams use GitHub? University of Victoria, Canada ( @irina kAl. University of California, Davis. USA ( @b. Is really popular. Right now it has more than 31 million repositories and over 12 million users. We surveyed and interviewed professional developers that use GitHub in their workplace. The practices that we heard about from the commercial software teams fall under 3 categories: the teams’ workflow, their communication and coordination, and t...We aske...