Παρακολούθηση
Christos Dimoulas
Christos Dimoulas
PLT @ Northwestern University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα northwestern.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
1482012
Correct blame for contracts: no more scapegoating
C Dimoulas, RB Findler, C Flanagan, M Felleisen
ACM SIGPLAN Notices 46 (1), 215-226, 2011
1172011
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
942012
Complete monitors for behavioral contracts
C Dimoulas, S Tobin-Hochstadt, M Felleisen
European Symposium on Programming, 214-233, 2012
932012
On contract satisfaction in a higher-order world
C Dimoulas, M Felleisen
ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (5), 16, 2011
572011
Declarative policies for capability control
C Dimoulas, S Moore, A Askarov, S Chong
2014 IEEE 27th Computer Security Foundations Symposium, 3-17, 2014
432014
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
412017
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
372014
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
322016
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
222016
Option contracts
C Dimoulas, RB Findler, M Felleisen
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
192013
Future contracts
C Dimoulas, R Pucella, M Felleisen
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
192009
Whip: higher-order contracts for modern services
L Waye, S Chong, C Dimoulas
Proceedings of the ACM on Programming Languages 1 (ICFP), 36, 2017
182017
How to evaluate blame for gradual types
L Lazarek, B Greenman, M Felleisen, C Dimoulas
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021
152021
Complete monitors for gradual types
B Greenman, M Felleisen, C Dimoulas
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
152019
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
142013
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
122015
Does blame shifting work?
L Lazarek, A King, S Sundar, RB Findler, C Dimoulas
Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019
112019
A Transient Semantics for Typed Racket.
B Greenman, L Lazarek, C Dimoulas, M Felleisen
Art Sci. Eng. Program. 6 (2), 9, 2022
102022
Typed–Untyped Interactions: A Comparative Analysis
B Greenman, C Dimoulas, M Felleisen
ACM Transactions on Programming Languages and Systems 45 (1), 1-54, 2023
62023
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20