taoxie.cs.illinois.edu
Software Engineering Conferences (Statistics)
http://taoxie.cs.illinois.edu/seconferences.htm
Software Engineering Academic Genealogy. Upcoming Software Engineering Conference Map. ICSE Most Influential Papers. ACM SIGSOFT Distinguished Papers. ASE Best Paper Nominations. EASST Best Paper Awards. Formal Methods (Formal Methods and Software Technology Conferences):. Programming Languages and Compilers:. More Programming Languages and Compilers. Conferences on Privacy, Security and Software Engineering. Guofei Gu's security conference statitics. More Security and Systems:. By Axel van Lamsweerde,.
gracelang.org
Grace at ECOOP | A Graceful Blog
http://gracelang.org/applications/2014/07/27/grace-at-ecoop
News about the Grace Programming Language Project. The Grace Programming Language. Grace in one page. Grace in action : make your own Snake! Binary Trees in Grace. Articles & Projects. The European Conference on Object-Oriented Programming. Starts tomorrow, and Grace people will be there. On Wednesday, the first day of the full conference, we’ll present the technical paper Graceful Dialects. At workshops held earlier in the week, Tim Jones will talk about Tinygrace. Workshop on Monday,. You may use these.
soft-dev.org
Software Development Team
http://www.soft-dev.org/events/icooolps14
9th ICOOOLPS (Implementation, Compilation, Optimization of OO Languages, Programs and Systems) workshop, 2014. July 28th 2014, Uppsala, Sweden. Lecture Hall XI (see page 65 of the programme for directions. Invited talk: Handcrafting VMs for dynamic languages: reality and dreams. Break (coffee outside Lecture Hall X). An Efficient Approach for Accessing C Data Structures from JavaScript. Matthias Grimmer, Thomas Würthinger, Andreas Wöß, Hanspeter Mössenböck. Data Interface Algorithms = Efficient Programs.
gracelang.org
Grace at ECOOP | A Graceful Blog
http://gracelang.org/applications/2015/06/26/grace-at-ecoop-2
News about the Grace Programming Language Project. The Grace Programming Language. Grace in one page. Grace in action : make your own Snake! Binary Trees in Grace. Articles & Projects. The European Conference on Object-Oriented Programming. Starts next month, and, once again Grace people will be there. On Sunday, the first workshop day, Andrew Black will discuss. The Expression Problem, Gracefully. In the MASPEGHI workshop. As part of the ECOOP Summer School. Visitors to Victoria for Winter 2015.
sback.it
Activities - Alberto Bacchelli
http://www.sback.it//activities.php
PC member), ICSME. Tool Demo Track co-chair), IWESEP. PC member), MSR. PC member), SANER. Tool Demo Track PC member), FSE. Tool Demo Track PC member), ICSE. Social networking co-chair), ICSME. PC member and Tool Demo Track PC member), ISEC. PC member), SANER. PC member), DAPSE. PC member), CSMR-WCRE. PC member), ECOOP. Artifact Evaluation committee member), ICSME. PC member), MSR. PC member), MUD. ERA Track PC member), CSEE&T. PC member), ICPC. ERA Track PC member), ICSM. Tool Demo PC member), MSR.
people.cs.umass.edu
Arjun Guha
http://people.cs.umass.edu/~arjun
University of Massachusetts, Amherst. My research focuses on programming languages with an emphasis on security, programmability, and mechanized proof. I particularly enjoy applying programming languages techniques to various domains. For example, I'm actively working on problems in Web security and software-defined networking. I work with a great group of students:. We are part of the Programming Languages and Systems (PLASMA). Group, which includes several other students and faculty. Frenetic demo at ONS.
SOCIAL ENGAGEMENT