Derek Rayside

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 20

Top Venues

CoRR

SPLC

Adv. Eng. Informatics

ABZ

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Rowan Dempster, Mohammad K. Al-Sharman, Derek Rayside, William Melek
Real-Time Unified Trajectory Planning and Optimal Control for Urban Autonomous Driving Under Static and Dynamic Obstacle Constraints. ICRA (2023)
Mohammad K. Al-Sharman, Rowan Dempster, Mohamed A. Daoud, Mahmoud Nasr, Derek Rayside, William Melek
Self-Learned Autonomous Driving at Unsignalized Intersections: A Hierarchical Reinforced Learning Approach for Feasible Decision-Making. IEEE Trans. Intell. Transp. Syst. 24 (11) (2023)
Mohamed A. Daoud, Mohamed W. Mehrez, Derek Rayside, William W. Melek
Simultaneous Feasible Local Planning and Path-Following Control for Autonomous Driving. IEEE Trans. Intell. Transp. Syst. 23 (9) (2022)
Rowan Dempster, Mohammad K. Al-Sharman, Yeshu Jain, Jeffery Li, Derek Rayside, William Melek
DRG: A Dynamic Relation Graph for Unified Prior-Online Environment Modeling in Urban Autonomous Driving. ICRA (2022)
Rowan Dempster, Mohammad K. Al-Sharman, Derek Rayside, William Melek
Real-Time Unified Trajectory Planning and Optimal Control for Urban Autonomous Driving Under Static and Dynamic Obstacle Constraints. CoRR (2022)
Chuqing Hu, Sinclair Hudson, Martin Ethier, Mohammad K. Al-Sharman, Derek Rayside, William Melek
Sim-to-Real Domain Adaptation for Lane Detection and Classification in Autonomous Driving. IV (2022)
Alex Zhuang, Eddy Zhou, Quanquan Li, Rowan Dempster, Alikasim Budhwani, Mohammad K. Al-Sharman, Derek Rayside, William Melek
RADACS: Towards Higher-Order Reasoning using Action Recognition in Autonomous Vehicles. CoRR (2022)
Chuqing Hu, Sinclair Hudson, Martin Ethier, Mohammad K. Al-Sharman, Derek Rayside, William Melek
Sim-to-Real Domain Adaptation for Lane Detection and Classification in Autonomous Driving. CoRR (2022)
Mohammad K. Al-Sharman, David Murdoch, Dongpu Cao, Chen Lv, Yahya H. Zweiri, Derek Rayside, William Melek
A sensorless state estimation for a safety-oriented cyber-physical system in urban driving: Deep learning approach. IEEE CAA J. Autom. Sinica 8 (1) (2021)
Ali Abbassi, Nancy A. Day, Derek Rayside
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB. CoRR (2019)
Thibaud Lutellier, Devin Chollak, Joshua Garcia, Lin Tan, Derek Rayside, Nenad Medvidovic, Robert Kroeger
Measuring the Impact of Code Dependencies on Software Architecture Recovery Techniques. IEEE Trans. Software Eng. 44 (2) (2018)
Behrooz Golzarpoor, Carl T. Haas, Derek Rayside, Seokyoung Kang, Matthew Weston
Improving construction industry process interoperability with Industry Foundation Processes (IFP). Adv. Eng. Informatics 38 (2018)
Vajih Montaghami, Derek Rayside
Bordeaux: A Tool for Thinking Outside the Box. FASE (2017)
Nicholas Klassen, Michael Lyons, Michael Prysiazny, Paul Roth, Peter Socha, Murphy Berzish, Atulan Zaman, Derek Rayside
Manifold 2.0: A hardware description language for microfluidic devices. CCECE (2017)
Mahdi Safa, Ming-Ho Yee, Derek Rayside, Carl T. Haas
Optimizing Contractor Selection for Construction Packages in Capital Projects. J. Comput. Civ. Eng. 30 (5) (2016)
Behrooz Golzarpoor, Carl T. Haas, Derek Rayside
Improving process conformance with Industry Foundation Processes (IFP). Adv. Eng. Informatics 30 (2) (2016)
Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki
Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs. VSTTE (2016)
Murphy Berzish, Asif Khan, Atulan Zaman, Vijay Ganesh, Derek Rayside
Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis. CASCON (2016)
Vajih Montaghami, Derek Rayside
Pattern-based debugging of declarative models. MoDELS (2015)
Thibaud Lutellier, Devin Chollak, Joshua Garcia, Lin Tan, Derek Rayside, Nenad Medvidovic, Robert Kroeger
Comparing Software Architecture Recovery Techniques Using Accurate Dependencies. ICSE (2) (2015)
Jianmei Guo, Edward Zulkoski, Rafael Olaechea, Derek Rayside, Krzysztof Czarnecki, Sven Apel, Joanne M. Atlee
Scaling exact multi-objective combinatorial optimization by parallelization. ASE (2014)
Derek Rayside
A compiler project with learning progressions. ICSE Companion (2014)
Ed Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, Krzysztof Czarnecki
Optimizing Alloy for Multi-objective Software Product Line Configuration. ABZ (2014)
Ahmed F. Ibrahim, Derek Rayside, Rasha Kashef
Cooperative based software clustering on dependency graphs. CCECE (2014)
Vajih Montaghami, Derek Rayside
Staged Evaluation of Partial Instances in a Relational Model Finder. ABZ (2014)
Rafael Olaechea, Derek Rayside, Jianmei Guo, Krzysztof Czarnecki
Comparison of exact and approximate multi-objective optimization for software product lines. SPLC (2014)
Yangdong Liao, Ru-Xin Na, Derek Rayside
Accurate ECG R-peak detection for telemedicine. IHTC (2014)
Darya Kurilova, Derek Rayside
On the simplicity of synthesizing linked data structure operations. GPCE (2013)
Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski, Derek Rayside
Example-driven modeling: model = abstractions + examples. ICSE (2013)
Alexandr Murashkin, Michal Antkiewicz, Derek Rayside, Krzysztof Czarnecki
Visualization and exploration of optimal variants in product line engineering. SPLC (2013)
Vajih Montaghami, Derek Rayside
Extending Alloy with Partial Instances. ABZ (2012)
Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson
Synthesizing iterators from abstraction functions. GPCE (2012)
Rafael Olaechea, Steven T. Stewart, Krzysztof Czarnecki, Derek Rayside
Modelling and multi-objective optimization of quality attributes in variability-rich software. NFPinDSML@MoDELS (2012)
Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson
Unifying execution of imperative and declarative code. ICSE (2011)
Derek Rayside, H.-Christian Estler
A spreadsheet-like user interface for combinatorial multi-objective optimization. CASCON (2009)
Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson
Equality and hashing for (almost) free: Generating implementations from abstraction functions. ICSE (2009)
Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson
Agile specifications. OOPSLA Companion (2009)
Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson
Automatic Visualization of Relational Logic Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 7 (2007)
Derek Rayside, Lucy Mendel
Object ownership profiling: a technique for finding and fixing memory leaks. ASE (2007)
Derek Rayside, Lucy Mendel, Robert Seater, Daniel Jackson
An analysis and visualization for revealing object sharing. eTX (2005)
Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson
Automating commutativity analysis at the design level. ISSTA (2004)
Derek Rayside, Marin Litoiu, Margaret-Anne D. Storey, Casey Best, Robert Lintern
Visualizing Flow Diagrams in WebSphere Studio Using SHriMP Views. Inf. Syst. Frontiers 5 (2) (2003)
Derek Rayside, Kostas Kontogiannis
A Generic Worklist Algorithm for Graph Reachability Problems in Program Analysis. CSMR (2002)
Derek Rayside, Kostas Kontogiannis
Extracting Java library subsets for deployment on embedded systems. Sci. Comput. Program. 45 (2) (2002)
Margaret-Anne D. Storey, Casey Best, Jeff Michaud, Derek Rayside, Marin Litoiu, Mark A. Musen
SHriMP views: an interactive environment for information visualization and navigation. CHI Extended Abstracts (2002)
Derek Rayside, Kostas Kontogiannis
On the Syllogistic Structure of Object-Oriented Programming. ICSE (2001)
Derek Rayside, Marin Litoiu, Margaret-Anne D. Storey, Casey Best
Integrating SHriMP with the IBM websphere studio workbench. CASCON (2001)
Karel Driesen, Patrick Lam, Jerome Miecznikowski, Feng Qian, Derek Rayside
On the predictability of Java byte codes (abstract) (poster session). OOPSLA Addendum (2000)
Derek Rayside, Steve Reuss, Erik Hedges, Kostas Kontogiannis
The Effect of Call Graph Construction Algorithms for Object-Oriented Programs on Automatic Clustering. IWPC (2000)
Derek Rayside, Gerard T. Campbell
Aristotle and object-oriented programming: why modern students need traditional logic. SIGCSE (2000)
Derek Rayside, Gerard T. Campbell
An Aristotelian understanding of object-oriented programming. OOPSLA (2000)
Derek Rayside, Evan Mamas, Erik Hons
Compact Java binaries for embedded systems. CASCON (1999)
Derek Rayside, Kostas Kontogiannis
Extracting Java Library Subsets for Deployment on Embedded Systems. CSMR (1999)
Derek Rayside, Scott Kerr, Kostas Kontogiannis
Change And Adaptive Maintenance in Java Software Systems. WCRE (1998)

Derek Rayside.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Derek Rayside