News

From FSL
Jump to: navigation, search
2014-08-26: K version 3.4 was released.
2014-07-16: All-Path Reachability Logic was presented at RTA'13 by Andrei Stefanescu.
2014-06-14: RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties was accepted at RV'14.
2014-06-14: ROSRV: Runtime Verification for Robots was accepted at RV'14.
2014-06-02: Symbolic Analysis Tools for CSP was accepted at ICTAC 2014.
2014-04-09: All-Path Reachability Logic was accepted at RTA 2014.
2014-03-03: Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions was accepted at ECOOP 2014.
2014-03-01: Maximal Sound Predictive Race Detection with Control Flow Abstraction was accepted at PLDI'14.
2014-02-02: ROSRV page has been launched.
2013-12-09: A talk on Efficient Parametric Runtime Verification with Deterministic String Rewriting was presented by Patrick Meredith at ASE 2013.
2013-11-11: Optimizing SYB is Easy! was accepted at PEPM 2014.
2013-10-25: A talk on 25px-Pdf_icon.png Optimizing "Scrap Your Boilerplate" with HERMIT Info_circle.png was presented by Michael D. Adams at the Indiana University Programming Languages Fest 2013.
2013-09-25: On the Complexity of Stream Equality accepted for publication in Journal of Functional Programming.
2013-09-24: 25px-Zip_icon.png PPTX Info_circle.pngAn invited talk about K and Matching Logic at SYNASC by Grigore Rosu.
2013-09-23: Behavioral Rewrite Systems and Behavioral Productivity accepted to Futatsugi's Festschrift.
2013-09-22: A talk on 25px-Pdf_icon.png Optimizing "Scrap Your Boilerplate" with HERMIT Info_circle.png was presented by Michael D. Adams at the Haskell Implementers Workshop 2013.
2013-07-29: Michael D. Adams joined FSL as a postdoc.
2013-07-24: Efficient Parametric Runtime Verification with Deterministic String Rewriting accepted to ASE 2013.
2013-06-29: Low-Level Program Verification using Matching Logic Reachability was presented at LOLA'13 by Andrei Stefanescu.
2013-06-27: Reachability Logic was presented at LICS'13 by Grigore Rosu.
2013-06-25: 25px-Zip_icon.png PPTX Info_circle.pngA talk about K and Matching Logic at SLS by Grigore Rosu.
2013-05-08: Low-Level Program Verification using Matching Logic Reachability was accepted at LOLA'13.
2013-05-01: EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs was accepted at ISSTA'13.
2013-04-23: Reachability Logic was accepted at LICS'13.
2013-01-21: A K Tutorial was given at POPL'13 by Grigore Rosu.
2012-10-27: Checking Reachability using Matching Logic was presented at OOPSLA'12 by Andrei Stefanescu.
2012-10-18: Matching Logic Website launched at http://matching-logic.org
2012-09-27: Maximal Causal Models for Sequentially Consistent Systems was presented at RV'12 by Traian Florin Serbanuta.
2012-09-25: A Trully Concurrent Semantics for the K Framework Based on Graph Transformations was presented at ICGT'12 by Traian Florin Serbanuta.
2012-09-25: 25px-Zip_icon.png PPTX Info_circle.pngA talk about K and Matching Logic at IFIP W.G 2.2 by Grigore Rosu.
2012-07-31: Executing Formal Semantics with the K Tool was presented at FM'12 by David Lazar.
2012-07-30: From Hoare Logic to Matching Logic Reachability was presented at FM'12 by Andrei Stefanescu.
2012-07-29: A one-day [K] tutorial has been presented by Grigore Rosu at SSLF'12.
2012-07-12: Towards a Unified Theory of Operational and Axiomatic Semantics was presented at ICALP'12 by Grigore Rosu.
2012-07-04: Checking Reachability using Matching Logic was accepted at OOPSLA'12.
2012-06-28: Chucky Ellison passed his final defense, congratulations!
2012-06-28: Patrick Meredith passed his final defense, congratulations!
2012-06-16: A half-day PLDI'12 tutorial on [K] has been presented by Grigore Rosu
2012-06-12: 25px-Zip_icon.png PPTX Info_circle.pngA talk about K and Matching Logic at IFIP W.G 1.3 by Grigore Rosu
2012-05-23: Dongyun Jin passed his final defense, congratulations!
2012-05-11: JavaMOP 3.0.0 is available for download HERE.
2012-05-08: From Hoare Logic to Matching Logic was accepted at FM'12.
2012-04-17: Towards a Unified Theory of Operational and Axiomatic Semantics was accepted at ICALP'12.
2012-03-20: JavaMOP: Efficient Parametric Runtime Monitoring Framework was accepted at ICSE'12 TOOL.
2012-03-16: The FSL has been accepted as a Google Summer of Code mentoring organization.
2012-02-23: Semantics and Algorithms for Parametric Monitoring appeared in J.LMCS
2012-02-10: JavaMOP 2.3.2 is available for download HERE.
2012-01-27: An Executable Formal Semantics of C with Applications was presented at POPL'12, with much interest.
2012-01-24: Our paper on Making Maude Definitions more Interactive was accepted at WRLA'12.
2012-01-10: David Lazar gave a talk at Galois on Formalizing Haskell 98 in the K framework.
2011-11-01: A 5 minute K Framework Demo video is now available
2011-10-15: An Executable Formal Semantics of C with Applications was accepted for POPL'12. Congratulations to Chucky Ellison and Grigore Rosu!
2011-09-30: Chucky Ellison presented An Executable Formal Semantics of C with Applications at Midwest Verification Day 25px-Pdf_icon.png PDF Info_circle.png
2011-09-30: K and Matching LogicGrigore Rosu gave an invited talk at Midwest Verification Day 25px-Zip_icon.png PPTX Info_circle.png 25px-Pdf_icon.png PDF Info_circle.png
2011-09-04: Grigore Rosu gave an invited talk on Concurrent Runtime Verification at the Workshop on Assurances for Self-Adaptive Systems 25px-Zip_icon.png PPTX Info_circle.png 25px-Pdf_icon.png PDF Info_circle.png
2011-08-05: JavaMOP 2.3 is available for download HERE.
2011-08-01: JavaMOP Googlecode page launched.
2011-06-20: Wolfram Schulte interviewed Grigore Rosu about Rewriting Logic Semantics, K, and Matching Logic on Microsoft's Channel 9.
2011-06-20: The call for papers and the website for the 2011 K Workshop was launched.
2011-05-29: Improved Multithreaded Unit Testing was accepted to FSE'11.
2011-04-27: Our C semantics, written in the K Framework, has been reviewed by Professor John Regehr.
2011-03-01: JavaMOP 2.2 is available for download HERE.
2011-03-01: Garbage Collection for Monitoring Parametric Properties was accepted to PLDI'11.
2011-02-17: ICSE'11 paper on mining parametric specifications
2011-02-01: Final revision of An Overview of the MOP Runtime Verification Framework is available.
2010-10-29: Traian Florin Serbanuta successfully defended his PhD thesis.
2010-08-22: The first annual K Workshop, K10, is complete, and was a success.
2010-04-12: A new website for the K-Maude tool was launched.
2009-08-14: Sad news -- Feng Chen, our colleague and our friend has passed away last Saturday. Feng Chen — In Memoriam
2009-07-12: Matching Logic now has its own wiki page. Matching logic is a new formalism for verifying programs.
2009-01-23: Circ has been updated. New features include: automatized detection and verification of (user-defined) special contexts, a new induction engine, applying user-defined strategies.
2008-12-22: Towards a Module System for K describes ongoing work on modularity features for the K framework
2008-12-01: FSM page has been launched. JavaMOP specific examples can be found here
2007-10-18: ptCaRet page has been launched
2007-10-2: jPredictor 0.2 has been released
2007-07-2: K-Scheme page has been launched Online-sm.JPG
2007-06-11: FMOODS'07 paper on tuning analysis performance for object-oriented languages defined using rewriting logic semantics was published in LNCS 4468, pp 107-121
2007-04-20: MProlog page has been launched Online-sm.JPG
2007-02-21: KOOL version 1.2 has been released, including updated semantics and a web-based interface
2006-11-27: JavaFAN page has been launched
2006-11-06: JavaMOP version 1.1 has been released, together with a new web-based interface
2006-10-03: Technical report on applying Monitoring-Oriented Programming in software development
2006-08-24: SAS'06 paper on parametric and termination-sensitive control dependence was published in LNCS 4134, pp 387-404
2006-07-28: RTA'06 paper on translating conditional term rewriting systems into equivalent unconditional ones was published in LNCS 4098, pp 19-34
2006-05-10: JavaMOP version 1.0 has been released
2006-05-01: RTA'06 paper on translating conditional term rewriting systems into equivalent unconditional ones
2006-04-25: CAV'06 paper on Allen temporal logic, its translation to LTL, and monitor synthesis
2006-04-22: Technical report on K,a rewrite logic framework for language design, semantics, analysis and implementation
2006-04-01: FOSSACS'06 paper on a model theoretical approach to Craig interpolation
Personal tools
Namespaces

Variants
Actions
Navigation