wiki:summer-projects/start

JPF Summer Projects

This page is reserved for mentored summer projects, including Google Summer of Code (GSoC) projects and Ames internships. Summer projects are limited in time, and can be moved to the projects or external projects sections if they become permanent projects.

Each project has its own page with title, student, mentor, specifications, repository URL and project blog.

2013

JPF GSoC 2013 Summer Projects

2012

title student mentor program
Semantic Porting Analysis Based on Regression DiSE & DSE Baishakhi RayNeha Rungta GSoC
Abstract Model Checking Artem KhyzhaCorina Pasareanu GSoC
Human Automation Interaction PatternsAnakreontas MentisDimitra Giannakopoulou GSoC
Dimensional AnalysisDavid BrazdilDavid Bushnell GSoC
Conformance CheckerMatteo CeccarelloNastaran Shafiei GSoC
Trace ServerIgor AndjelkovicCyrille Artho GSoC
net-iocache: Analysis of Networked SoftwareAadish KotwalRichard Potter GSoC
Sanitizer ValidationMateus Araujo BorgesMarcelo d'Amorim GSoC
Quantitative Information Flow AnalysisQuoc-Sang PhanOksana Tkachuk GSoC
Security Policy VerificationAnton PhilippovEric Mercer GSoC
Analyzing Android ApplicationsHeila van der Merwe Willem Visser GSoC
Automated android.jar Generation Marko DimjasevicZvonimir Rakamaric GSoC

2011

title student mentor program
Checking Java annotationsFilip RogaczewskiSuzette Person GSoC
JPF inspectorPavel JancikPavel Parizek GSoC
Effective representation of symbolic execution tree for SPFGuowei YangCorina Pasareanu GSoC
Backtrackable FileSystemIvan Mushketik Peter Mehlitz GSoC
JPF-Regression: Extending DiSE for Inter-procedural Analysis Josh BranchaudNeha Rungta GSoC
Detecting Infinite Loops Kevin DurantWillem Visser GSoC
Extending support for Java concurrency NastaranMateusz Ujma GSoC
JPF-BDDrheinFranco Raimondi GSoC
Improving Error Discovery of the Slicing and Dicing TechniqueSaint WesongaEric Mercer GSoC
Checking human machine interactionsSebastien CombefisDimitra Giannakopoulou GSoC
Extracting JPF Options from CodeWojciech LuksOksana Tkachuk GSoC
Extracting JPF Types from CodeCarlos UribeDarko MarinovFujitsu internship
Parallelization Framework for JPFMiriam Levy Matt StaatsFujitsu internship

2010

title student mentor program
Checking Java annotationsFilip RogaczewskiSuzette Person GSoC
Model checking Android applicationsAbdul HaseebFlavio Lerda GSoC
Extending string analysis in symbolic JPFGideon RedelinghuysWillem Visser GSoC
JPF inspectorPavel JancikPavel Parizek GSoC
Checking human machine interactionsSebastien CombefisDimitra Giannakopoulou GSoC
LTL verification in JPFEwgenij StarostinFranco Raimondi GSoC
Construction of linear temporal property verification extensionPhuc Nguyen DinhHoang Truong GSoC
Coverage visualizationYoonki SongTao Xie GSoC
Customizable trace serverIgor AndjelkovicCyrille Artho GSoC
Verifying X10 applicationsMilos GligoricDarko Marinov Ames internship
Java Memory Model and JPFKyungHee KimEric Mercer Ames internship
Fast Native collectionsElena ShermanNeha Rungta Ames internship
JET - JPF Eclipse ToolkitMatt KirnPeter Mehlitz Ames internship
JPF Shell enhancementsSandro BadamePeter Mehlitz Ames internship
Load testing using JPFPingyu ZhangCorina PasareanuFujitsu internship
Last modified 5 years ago Last modified on 06/04/2013 04:16:20 PM