Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
vv-lab:news [2015/02/18 23:16]
egm [Recent News]
vv-lab:news [2015/02/18 23:17] (current)
egm [Older News]
Line 7: Line 7:
 == Older News == == Older News ==
  
-* '''​19-Mar-2012''':​ '''​Apply to my GSoC 2012 Project'''​ +* '''​19-Mar-2012''':​ '''​Apply to my GSoC 2012 Project'''​\\ ''​The [http://​babelfish.arc.nasa.gov/​trac/​jpf Java Pathfinder Team] has been accepted to participate in [http://​www.google-melange.com/​gsoc/​homepage/​google/​gsoc2012 Google Summer of Code 2012] (GSoC 2012). I would encourage interested students to [http://​www.google-melange.com/​gsoc/​homepage/​google/​gsoc2012 apply] to my project on [http://​babelfish.arc.nasa.gov/​trac/​jpf/​wiki/​events/​soc2012#​viz Concurrent Trace Visualization] or any other [http://​babelfish.arc.nasa.gov/​trac/​jpf/​wiki/​events/​soc2012 project] of interest that is sponsored by the Java Pathfinder Team. GSoC 2012 includes a stipend for working on a project and an opportunity to travel to the GSoC 2012 summit. --- egm''​ 
-*: ''​The [http://​babelfish.arc.nasa.gov/​trac/​jpf Java Pathfinder Team] has been accepted to participate in [http://​www.google-melange.com/​gsoc/​homepage/​google/​gsoc2012 Google Summer of Code 2012] (GSoC 2012). I would encourage interested students to [http://​www.google-melange.com/​gsoc/​homepage/​google/​gsoc2012 apply] to my project on [http://​babelfish.arc.nasa.gov/​trac/​jpf/​wiki/​events/​soc2012#​viz Concurrent Trace Visualization] or any other [http://​babelfish.arc.nasa.gov/​trac/​jpf/​wiki/​events/​soc2012 project] of interest that is sponsored by the Java Pathfinder Team. GSoC 2012 includes a stipend for working on a project and an opportunity to travel to the GSoC 2012 summit. --- egm''​ +*'''​18-Jan-2012''':​ '''​Winter 2012 Meeting Schedule Posted'''​\\ ''​I have posted the Winter 2012 Lab Meeting Schedule on the wiki. Please update the schedule with the paper you are presenting on your assigned dates at early as possible. The schedule is found in the Joining the lab side menu item. --- egm''​ 
-*'''​18-Jan-2012''':​ '''​Winter 2012 Meeting Schedule Posted'''​ +*'''​18-Nov-2011''':​ 4M Available for Download on GitHub\\ ''​The complete [https://​github.com/​ericmercer/​4M framework] for our modeling system of the MCAPI API is located on [http://​github.com Github]. We also have a separate framework for translating MCAPI executions traces into [https://​github.com/​ericmercer/​MP-trace-language SMT problems]. --- egm''​ 
-*: ''​I have posted the Winter 2012 Lab Meeting Schedule on the wiki. Please update the schedule with the paper you are presenting on your assigned dates at early as possible. The schedule is found in the Joining the lab side menu item. --- egm''​ +* '''​31-Mar-2011'''​ '''​Google Summer Of Code JPF Project'''​\\ ''​Java Pathfinder has again been accepted to the Google Summer of Code for 2011.  Please consider applying to the GSoC JPF Project!''​ 
-*'''​18-Nov-2011''':​ 4M Available for Download on GitHub +* '''​22-Nov-2010'''​ '''​PPoPP 2011 Poster'''​\\ ''​We have a poster and short papers appearing in [http://​ppopp11.ac.uma.es/​tiki-index.php PPoPP 2011] on our [[MCAPI]] work.  The paper presents way to model MCAPI executions as SMT problems to determine if an alternate concurrent execution exists to violate user defined error conditions. --- egm''​ 
-*:''​The complete [https://​github.com/​ericmercer/​4M framework] for our modeling system of the MCAPI API is located on [http://​github.com Github]. We also have a separate framework for translating MCAPI executions traces into [https://​github.com/​ericmercer/​MP-trace-language SMT problems]. --- egm''​ +* '''​31-Mar-2010'''​ '''​Google Summer of Code JPF Project'''​\\ ''​[http://​socghop.appspot.com/​gsoc/​org/​show/​google/​gsoc2010/​jpf Java PathFinder] has been selected to participate in the 2010 version of the [http://​socghop.appspot.com/​ Google Summer of Code]. ​ Please review the [http://​babelfish.arc.nasa.gov/​trac/​jpf/​wiki/​events/​soc2010 projects] and apply. ​ --- egm''​ 
-* '''​31-Mar-2011'''​ '''​Google Summer Of Code JPF Project'''​ +* '''​10-Feb-2010'''​ '''​Paper accepted in the NEIR track of ICSE 2010'''​\\ ''​Paper by [http://​ti.arc.nasa.gov/​profile/​nrungta/​ Neha Rungta] and Eric Mercer on incremental target directed partial order reduction using backward slicing has been accepted for publication in the New Ideas and Emerging Results Track at [http://​www.sbs.co.za/​ICSE2010/​ ICSE 2010] 
-*: ''​Java Pathfinder has again been accepted to the Google Summer of Code for 2011.  Please consider applying to the GSoC JPF Project!''​ +* '''​19-Jul-2009'''​ '''​Concurrency Tool Comparison'''​\\ ''​Here is a direct link the the [[Concurrency Tool Comparison]] page for PADTAD 2009 which can also be accessed through the vv-lab menu on the left under research projects.''​ --- egm 
-* '''​22-Nov-2010'''​ '''​PPoPP 2011 Poster'''​ +
-*: ''​We have a poster and short papers appearing in [http://​ppopp11.ac.uma.es/​tiki-index.php PPoPP 2011] on our [[MCAPI]] work.  The paper presents way to model MCAPI executions as SMT problems to determine if an alternate concurrent execution exists to violate user defined error conditions. --- egm''​ +
-* '''​31-Mar-2010'''​ '''​Google Summer of Code JPF Project'''​ +
-*: ''​[http://​socghop.appspot.com/​gsoc/​org/​show/​google/​gsoc2010/​jpf Java PathFinder] has been selected to participate in the 2010 version of the [http://​socghop.appspot.com/​ Google Summer of Code]. ​ Please review the [http://​babelfish.arc.nasa.gov/​trac/​jpf/​wiki/​events/​soc2010 projects] and apply. ​ --- egm''​ +
-* '''​10-Feb-2010'''​ '''​Paper accepted in the NEIR track of ICSE 2010'''​ +
-*: ''​Paper by [http://​ti.arc.nasa.gov/​profile/​nrungta/​ Neha Rungta] and Eric Mercer on incremental target directed partial order reduction using backward slicing has been accepted for publication in the New Ideas and Emerging Results Track at [http://​www.sbs.co.za/​ICSE2010/​ ICSE 2010] +
-* '''​19-Jul-2009'''​ '''​Concurrency Tool Comparison'''​ +
-*: ''​Here is a direct link the the [[Concurrency Tool Comparison]] page for PADTAD 2009 which can also be accessed through the vv-lab menu on the left under research projects.''​ --- egm +
-* '''​15-Jun-2009'''​ '''​Participate in PADTAD 2009'''​ +
-*: ''​On behalf of the PADTAD organizing committee, I would like to invite you to attend PADTAD 2009, July 19-20, held in Chicago, IL, in conjunction with ISSTA 2009.  Registration is only $200 and includes''​ +
-*:* ''​a half day hands-on tutorial on Intel Threading Building Blocks presented by Arch Robison, Senior Principal Engineer, Intel Corporation''​ +
-*:* ''​a half day hands-on tutorial on Cilk++ programming presented by Pablo Halpern, Member of Technical Staff, Cilk Arts''​ +
-*:* ''​a presentation on Memory Debugging with TotalView by Chris Gottbrath and Ariel Burton''​ +
-*:* ''​a one day technical program''​ +
-*:* ''​a Chicago architectural boat tour''​ +
-*:* ''​a world-class program committee''​ +
-*: ''​Further details can be found at [http://​www.haifa.ibm.com/​Workshops/​padtad2009/​index.shtml PADTAD Website] For inquiries, please email padtad09@cs.byu.edu.''​ +
-* '''​14-May-2009'''​ '''​Paper Accepted in PADTAD 2009'''​  +
-*: ''​Paper on Concurrency Tool Comparison by Neha and Eric has been accepted for publication in [http://​www.haifa.ibm.com/​Workshops/​padtad2009/​index.shtml PADTAD 2009] --- neha''​ +
-* '''​21-Apr-2009'''​ '''​Paper Accepted in SPIN 2009'''​ +
-*: ''​Neha'​s paper on guided model checking using abstract traces has been accepted for publication in [http://​ti.arc.nasa.gov/​event/​spin09/​ SPIN 2009]. ​ Congratulations Neha!  --- egm''​ +
-* '''​27-Mar-2009'''​ '''​PADTAD 2009 CFP'''​ +
-*: ''​The [http://​www.haifa.ibm.com/​Workshops/​padtad2009/​index.shtml PADTAD 2009] submission date is fast approaching (19-Apr-2009). ​ Please consider submitting work.  The workshop is a great opportunity to network and learn about Cilk++ and Intel'​s TBB.  Please consider submitting work and attending! ​ --- egm''​+
vv-lab/news.txt · Last modified: 2015/02/18 23:17 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0