Ahmed Abdelmeged

 

Research:

Scientific Community Game:

Karl J. Lieberherr, Ahmed Abdelmeged and Bryan Chadwick The Specker Challenge Game for Education and Innovation in Constructive Domains . Bionetics 2010 Keynote Paper.


Ahmed Abdelmeged and Karl Lieberherr The Scientific Community Game: A Lens to Focus the Global Brain. Submitted to FDG’13.



Optimization Aspects:

Ahmed Abdelmeged and Karl Lieberherr, Cache-Based Optimization Aspects. submitted to AOSD’11.


Adaptive Programming:

Ahmed Abdelmeged and Therapon Skotiniotis and Karl Lieberherr, Navigating Object Graphs Using Incomplete Meta-Information . Technical Report April 2010.


Ahmed Abdelmeged and Karl Lieberherr, Abbreviated Path Expressions With Iterated Wild Cards: WYSIWYG Semantics and Efficient Implementations . Technical Report June 2010.


Ahmed Abdelmeged and Therapon Skotiniotis and Karl J. Lieberherr Controlled Evolution of Adaptive Programs . Proceedings of the joint international and annual ERCIM workshops on Principles of Software evolution (IWPSE) and software Evolution (Evol) workshops, August 2009. (Technical Report, Talk)


Ahmed Abdelmeged and Therapon Skotiniotis and Panagiotis Manolios and Karl J. Lieberherr Traversal Graphs: Characterization and Efficient Implementation . Technical Report, July 2008.


Bryan Chadwick and Ahmed Abdelmeged and Therapon Skotiniotis and Karl J. Lieberherr Abstraction of Communication in Traversal-Related Concerns . Technical Report, December 2007.


Ahmed Abdelmeged and Karl J. Lieberherr, Recursive Adaptive Computations Using PerObject Variables. OOPSLA07. (technical report extended abstract pdf poster zipped ppt flyer)



Satisfiability:

Ahmed Abdelmeged and Christine D. Hang and Daniel Rinehart and Karl J. Lieberherr, The Evergreen Game: The Promise of Polynomials to Boost Boolean MAX-CSP Solvers . Northeastern University, 2007, April, NU-CCIS-07-03.


Christine D. Hang and Ahmed Abdelmeged and Daniel Rinehart and Karl J. Lieberherr, The Promise of Polynomial-based Local Search to Boost Boolean MAX-CSP Solvers . Proceedings of Fourth International Workshop on Local Search Techniques in Constraint Satisfaction, CP2007, Providence, Rhode Island, September 2007


Ahmed Abdelmeged and Christine D. Hang and Daniel Rinehart and Karl J. Lieberherr, Superresolution and P-Optimality in Boolean MAX-CSP Solvers . Northeastern University, 2007, January, NU-CCIS-07-01.


 

Resume:(pdf)

Software:

Packed Truth Tables: (web)

Interposition variables: (jar), older PerObject visitors (zip)

Hadoop Project: (tar.gz)

SCG:(web)