The ALAS lab explores various problems related to logic, software engineering, software verification, security, and programming languages. We write formal models to make sense of computing problems, figure out how to describe complex system behaviors in useful ways as programs and for human end users, and build software tools that make programs more reliable and secure.

Group Meetings All are welcome: Send email to "alas [at] cs.wpi.edu" to learn our meeting time for the current semester.

Current Group Members
Alumni
Recent Publications

2013

2012

2011

2010

2009

2008

  • Alchemy: Transmuting Base Alloy Specifications into Implementations. Shriram Krishnamurthi, Daniel J. Dougherty, Kathi Fisler, and Daniel Yoo. ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE). November 2008. PDF
  • Characterizing privacy in online social networks. Balachander Krishnamurthy and Craig E. Wills. In Proceedings of the Workshop on Online Social Networks in conjunction with ACM SIGCOMM Conference, pages 37-42, Seattle, WA USA, August 2008. ACM. PDF

pre-2008

  • Two-Dimensional Regular Expressions for Compositional Bus Protocols (short paper). Kathi Fisler. International Conference on Formal Methods in Computer-Aided Design (FMCAD). November 2007. PDF
  • Obligations and their Interaction with Programs. Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi. European Symposium on Research in Computer Security (ESORICS), September 2007. PDF .
  • Modular access control via strategic rewriting. Daniel J. Dougherty, Claude Kirchner, Helene Kirchner, and Anderson Santana de Oliveira. Modular access control via strategic rewriting. European Symposium On Research In Computer Security (ESORICS), September 2007. PDF
  • Balachander Krishnamurthy and Craig E. Wills. Generating a privacy footprint on the Internet. In Proceedings of the ACM SIGCOMM Internet Measurement Conference, pages 65-70, Rio de Janeiro, Brazil, October 2006. PDF
  • Balachander Krishnamurthy and Craig Wills. Cat and mouse: Content delivery tradeoffs in web access. In Proceedings of the International World Wide Web Conference, pages 337-346, Edinburgh, Scotland, May 2006. PDF
  • Specifying and Reasoning about Dynamic Access Control Policies. Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi. International Joint Conference on Automated Reasoning (IJCAR), August 2006. PDF.
  • Verification and Change Impact Analysis of Access-Control Policies. Kathi Fisler, Shriram Krishnamurthi, Leo Meyerovich, and Michael Tschantz. International Conference on Software Engineering (ICSE), May 2005. PDF .