Follow
Christos Dimoulas
Christos Dimoulas
Verified email at northwestern.edu - Homepage
Title
Cited by
Cited by
Year
Run your research: on the effectiveness of lightweight mechanization
C Klein, J Clements, C Dimoulas, C Eastlund, M Felleisen, M Flatt, ...
ACM SIGPLAN Notices 47 (1), 285-296, 2012
1332012
Correct blame for contracts: no more scapegoating
C Dimoulas, RB Findler, C Flanagan, M Felleisen
ACM SIGPLAN Notices 46 (1), 215-226, 2011
1032011
Gradual typing for first-class classes
A Takikawa, TS Strickland, C Dimoulas, S Tobin-Hochstadt, M Felleisen
ACM SIGPLAN Notices 47 (10), 793-810, 2012
872012
Complete monitors for behavioral contracts
C Dimoulas, S Tobin-Hochstadt, M Felleisen
European Symposium on Programming, 214-233, 2012
812012
On contract satisfaction in a higher-order world
C Dimoulas, M Felleisen
ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (5), 16, 2011
502011
Declarative policies for capability control
C Dimoulas, S Moore, A Askarov, S Chong
2014 IEEE 27th Computer Security Foundations Symposium, 3-17, 2014
412014
FunTAL: Reasonably mixing a functional language with assembly
D Patterson, J Perconti, C Dimoulas, A Ahmed
ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2017
352017
SHILL: a secure shell scripting language
S Moore, C Dimoulas, D King, S Chong
Proceedings of the 11th USENIX conference on Operating Systems Design and …, 2014
322014
Oh Lord, please don't let contracts be misunderstood (functional pearl)
C Dimoulas, MS New, RB Findler, M Felleisen
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
192016
Future contracts
C Dimoulas, R Pucella, M Felleisen
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
192009
Option contracts
C Dimoulas, RB Findler, M Felleisen
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
162013
Extensible access control with authorization contracts
S Moore, C Dimoulas, RB Findler, M Flatt, S Chong
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
152016
Whip: higher-order contracts for modern services
L Waye, S Chong, C Dimoulas
Proceedings of the ACM on Programming Languages 1 (ICFP), 36, 2017
132017
Cryptographic enforcement of language-based information erasure
A Askarov, S Moore, C Dimoulas, S Chong
2015 IEEE 28th Computer Security Foundations Symposium, 334-348, 2015
132015
Contracts for First-Class Classes
TS Strickland, C Dimoulas, A Takikawa, M Felleisen
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (3), 11, 2013
132013
Complete monitors for gradual types
B Greenman, M Felleisen, C Dimoulas
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
72019
A Transient Semantics for Typed Racket.
B Greenman, L Lazarek, C Dimoulas, M Felleisen
Art Sci. Eng. Program. 6 (2), 9, 2022
42022
Foundations for behavioral higher-order contracts
C Dimoulas
Northeastern University, 2012
42012
The higher-order aggregate update problem
C Dimoulas, M Wand
Verification, Model Checking, and Abstract Interpretation, 44-58, 2009
42009
How to evaluate blame for gradual types.
L Lazarek, B Greenman, M Felleisen, C Dimoulas
Proc. ACM Program. Lang. 5 (ICFP), 1-29, 2021
32021
The system can't perform the operation now. Try again later.
Articles 1–20